Raghavan Raman
Raghavan Raman
Uber
Verifierad e-postadress på uber.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
1802009
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
982012
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
882010
The habanero multicore software research project
R Barik, Z Budimlic, V Cavè, S Chatterjee, Y Guo, D Peixotto, R Raman, ...
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented …, 2009
712009
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
252013
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
152014
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
152012
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
152011
Compiler support for work-stealing parallel runtime systems
R Raman
112009
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
102013
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. 23rd Intl. Parallel and Distributed Processing Symposium (IPDPS), 2009
72009
Dynamic data race detection for structured parallelism
R Raman
Rice University, 2013
62013
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
Textual query editor for graph databases that performs semantic analysis using extracted information
O Van Rest, R Raman, S Hong, H Chafi
US Patent App. 14/718,411, 2016
52016
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
32014
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
In-memory graph pattern matching
R Raman, S Hong, H Chafi
US Patent 9,928,310, 2018
2018
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20