Scholar Home



 Follow this author
2 Followers


Citation indices
 AllSince 2009
Citations9989
h-index55
i10-index55
Citations to my articles
Citations to my articles
Show: 1-20Next >
Title / AuthorCited by Year
Fast and generalized polynomial time memory consistency verification
A Roy, S Zeisset, CJ Fleckenstein, JC Huang
Computer Aided Verification, 503-516
222006
X-stream: edge-centric graph processing using streaming partitions
A Roy, I Mihailovic, W Zwaenepoel
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems ...
212013
A runtime system for software lock elision
A Roy, S Hand, T Harris
Proceedings of the 4th ACM European conference on Computer systems, 261-274
192009
Improved probabilistic models for 802.11 protocol verification
A Roy, K Gopinath
Computer Aided Verification, 239-252
132005
Exploring the limits of disjoint access parallelism
A Roy, S Hand, T Harris
Proceedings of the 1st USENIX Workshop on Hot Topics in Parallelism ...
112009
Hybrid binary rewriting for memory access instrumentation
A Roy, S Hand, T Harris
ACM SIGPLAN Notices 46 (7), 227-238
32011
Scale-up graph processing: a storage-centric view
E Yoneki, A Roy
First International Workshop on Graph Data Management Experiences and Systems, 8
22013
Mitigating I/O latency in SSD-based graph traversal
A Roy, K Nilakant, V Dalibard, E Yoneki
University of Cambridge, Computer Laboratory, Technical report (UCAM-CL-TR-823)
22012
Scale-up graph processing in the cloud: challenges and solutions
J Malicevic, A Roy, W Zwaenepoel
Proceedings of the Fourth International Workshop on Cloud Data and Platforms, 5
12014
Orbe: scalable causal consistency using dependency matrices and physical clocks
J Du, S Elnikety, A Roy, W Zwaenepoel
Proceedings of the 4th annual Symposium on Cloud Computing, 11
12013
A unified graph query layer for multiple databases
E Yoneki, A Roy
University of Cambridge, Computer Laboratory, Technical Report
12012
Software lock elision for x86 machine code
A Roy
University of Cambridge
12011
A transactional approach to lock scalability
A Roy, K Fraser, S Hand
Proceedings of the twentieth annual symposium on Parallelism in algorithms ...
12008
Scalable Probabilistic Models for 802.11 Protocol Verification
A Roy, K Gopinath
arXiv preprint cs/0403044
12004
ALLARM: optimizing sparse directories for thread-local data
A Roy, TM Jones
Design, Automation and Test in Europe Conference and Exhibition (DATE), 2014 ...
2014
Closing The Performance Gap between Causal Consistency and Eventual Consistency
J Du, C Iorgulescu, A Roy, W Zwaenepoel
1st Workshop on Principles and Practice of Eventual Consistency (PaPEC 2014)
2014
PrefEdge: SSD Prefetcher for Large-Scale Graph Traversal
K Nilakant, V Dalibard, A Roy, E Yoneki
7th ACM International Systems and Storage Conference
2014
Weak atomicity for the x86 memory consistency model
A Roy, S Hand, T Harris
Journal of Parallel and Distributed Computing 72 (10), 1306-1317
2012
Memory Hierarchy Sensitive Graph Layout
A Roy
arXiv preprint arXiv:1203.5675
2012
Weak atomicity under the x86 memory consistency model
A Roy, S Hand, T Harris
ACM SIGPLAN Notices 46 (8), 291-292
2011
Show: 1-20Next >
Dates and citation counts are estimated and are determined automatically by a computer program.
©2013 Google - About Google Scholar - All About Google - Provide feedback - My Citations