Follow
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
2112009
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
1182012
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
1012010
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
912009
Automatic verification of determinism for structured parallel programs
M Vechev, E Yahav, R Raman, V Sarkar
International Static Analysis Symposium, 455-471, 2010
412010
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
342013
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
282011
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
272014
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
182014
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
172012
In-memory graph pattern matching
R Raman, S Hong, H Chafi
US Patent 9,928,310, 2018
152018
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
122014
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
Rice University, 2009
112009
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 International Parallel and Distributed Processing …, 2009
102009
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
92020
Automatic verification of determinism for parallel programs
M Vechev, E Yahav, R Raman, V Sarkar
US Patent 9,069,893, 2015
92015
Dynamic data race detection for structured parallelism
R Raman
Rice University, 2013
72013
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
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
42017
The system can't perform the operation now. Try again later.
Articles 1–20