Följ
Raghavan Raman
Raghavan Raman
Cruise
Verifierad e-postadress på getcruise.com
Titel
Citeras av
Citeras av
År
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
2162009
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
1312012
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
1132012
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
1132010
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
922009
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
442010
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
412013
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
372014
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
322011
In-memory graph pattern matching
R Raman, S Hong, H Chafi
US Patent 9,928,310, 2018
172018
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
172014
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
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
122013
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
122009
Compiler support for work-stealing parallel runtime systems
R Raman
Rice University, 2009
122009
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
112020
Automatic verification of determinism for parallel programs
M Vechev, E Yahav, R Raman, V Sarkar
US Patent 9,069,893, 2015
102015
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
82017
Dynamic data race detection for structured parallelism
R Raman
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
62011
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20