| 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 | 217 | 2009 |
| 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 | 131 | 2012 |
| Efficient data race detection for async-finish parallelism R Raman, J Zhao, V Sarkar, M Vechev, E Yahav Formal Methods in System Design 41, 321-347, 2012 | 113 | 2012 |
| 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 | 113 | 2010 |
| 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 | 92 | 2009 |
| Automatic verification of determinism for structured parallel programs M Vechev, E Yahav, R Raman, V Sarkar Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France …, 2010 | 44 | 2010 |
| 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 | 41 | 2013 |
| 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 | 37 | 2014 |
| 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 | 32 | 2011 |
| In-memory graph pattern matching R Raman, S Hong, H Chafi US Patent 9,928,310, 2018 | 17 | 2018 |
| 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 | 17 | 2014 |
| 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 | 13 | 2013 |
| Dynamic determinism checking for structured parallelism E Westbrook, R Raman, J Zhao, Z Budimlic, V Sarkar Workshop on Determinism and Correctness in Parallel Programming (WoDet) 15, 2014 | 12 | 2014 |
| 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 | 12 | 2009 |
| Compiler support for work-stealing parallel runtime systems R Raman Rice University, 2009 | 12 | 2009 |
| 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 | 11 | 2020 |
| Automatic verification of determinism for parallel programs M Vechev, E Yahav, R Raman, V Sarkar US Patent 9,069,893, 2015 | 10 | 2015 |
| 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 | 8 | 2017 |
| Dynamic data race detection for structured parallelism R Raman | 7 | 2013 |
| 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 | 6 | 2011 |
