Raghavan Raman
Title
Cited by
Cited by
Year
Work-first and help-first scheduling policies for async-finish task parallelism
Y Guo, R Barik, R Raman, V Sarkar
2009 IEEE International Symposium on Parallel & Distributed Processing, 1-12, 2009
1992009
Scalable and precise dynamic datarace detection for structured parallelism
R Raman, J Zhao, V Sarkar, M Vechev, E Yahav
Acm Sigplan Notices 47 (6), 531-542, 2012
1062012
Efficient data race detection for async-finish parallelism
R Raman, J Zhao, V Sarkar, M Vechev, E Yahav
Proceedings of the First international conference on Runtime verification …, 2010
942010
The habanero multicore software research project
R Barik, Z Budimlic, V Cave, S Chatterjee, Y Guo, D Peixotto, R Raman, ...
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented …, 2009
822009
Automatic verification of determinism for structured parallel programs
M Vechev, E Yahav, R Raman, V Sarkar
International Static Analysis Symposium, 455-471, 2010
402010
Graph analysis: do we have to reinvent the wheel?
A Welc, R Raman, Z Wu, S Hong, H Chafi, J Banerjee
First International Workshop on Graph Data Management Experiences and …, 2013
282013
The design and implementation of the habanero-java parallel programming language
Z Budimlić, V Cavé, R Raman, J Shirako, S Taşırlar, J Zhao, V Sarkar
Proceedings of the ACM international conference companion on Object oriented …, 2011
202011
Pgx. iso: parallel and efficient in-memory engine for subgraph isomorphism
R Raman, O van Rest, S Hong, Z Wu, H Chafi, J Banerjee
Proceedings of Workshop on GRAph Data management Experiences and Systems, 1-6, 2014
172014
Test-driven repair of data races in structured parallel programs
R Surendran, R Raman, S Chaudhuri, J Mellor-Crummey, V Sarkar
ACM SIGPLAN Notices 49 (6), 15-25, 2014
162014
Efficient data race detection for async-finish parallelism
R Raman, J Zhao, V Sarkar, M Vechev, E Yahav
Formal Methods in System Design 41 (3), 321-347, 2012
162012
In-memory graph pattern matching
R Raman, S Hong, H Chafi
US Patent 9,928,310, 2018
122018
Early experiences in using a domain-specific language for large-scale graph analysis
S Hong, J Van Der Lugt, A Welc, R Raman, H Chafi
First International Workshop on Graph Data Management Experiences and …, 2013
112013
Compiler support for work-stealing parallel runtime systems
R Raman
112009
Automatic verification of determinism for parallel programs
M Vechev, E Yahav, R Raman, V Sarkar
US Patent 9,069,893, 2015
92015
Work-first and help-first scheduling policies for terminally strict parallel programs
Y Guo, R Barik, R Raman, V Sarkar
Proc. of the 23rd IEEE Intl. Parallel and Distributed Processing Symp 110, 129, 2009
82009
DrHJ: a lightweight pedagogic IDE for Habanero Java
J Payne, V Cavé, R Raman, M Ricken, R Cartwright, V Sarkar
Proceedings of the 9th International Conference on Principles and Practice …, 2011
72011
Textual query editor for graph databases that performs semantic analysis using extracted information
O Van Rest, R Raman, S Hong, H Chafi
US Patent 10,614,126, 2020
62020
Dynamic data race detection for structured parallelism
R Raman
62013
Dynamic determinism checking for structured parallelism
E Westbrook, R Raman, J Zhao, Z Budlilic, V Sarkar
Workshop on Determinism and Correctness in Parallel Programming (WoDet) 15, 2014
42014
Graph data processing system that supports automatic data model conversion from resource description framework to property graph
R Raman, S Hong, H Chafi
US Patent App. 14/812,819, 2017
22017
The system can't perform the operation now. Try again later.
Articles 1–20