Scholar Home



 Follow this author
1 Follower


Citation indices
 AllSince 2009
Citations8577
h-index55
i10-index55
Citations to my articles
Citations to my articles
1-12
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
212006
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
172009
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 ...
132013
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 First USENIX conference on Hot topics in parallelism, 8-8
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
22012
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
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
1-12
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