Sotabase
Home
Researchers
Career
·
Director
,
Akamai Technologies
2022–
Publications
(48)
X-Stream: edge-centric graph processing using streaming partitions
Symposium on Operating Systems Principles · 2013
735
cited
Symmetry-Breaking Predicates for Search Problems
International Conference on Principles of Knowledge Representation and Reasoning · 1996
549
cited
Data tiering in heterogeneous memory systems
European Conference on Computer Systems · 2016
229
cited
Chaos: scale-out graph processing from secondary storage
Symposium on Operating Systems Principles · 2015
226
cited
GentleRain: Cheap and Scalable Causal Consistency with Physical Clocks
ACM Symposium on Cloud Computing · 2014
149
cited
Orbe: scalable causal consistency using dependency matrices and physical clocks
ACM Symposium on Cloud Computing · 2013
138
cited
Supermodels and Robustness
AAAI/IAAI · 1998
99
cited
Fast and Generalized Polynomial Time Memory Consistency Verification
International Conference on Computer Aided Verification · 2006
53
cited
Bounds on an exponential sum arising in Boolean circuit complexity
2005
38
cited
Exploiting Symmetry in Lifted CSPs
AAAI/IAAI · 1997
31
cited
PrefEdge: SSD Prefetcher for Large-Scale Graph Traversal
Annual Haifa Experimental Systems Conference · 2014
31
cited
The Complexity of Symmetry-Breaking Formulas
Annals of Mathematics and Artificial Intelligence · 2004
27
cited
DSAT-MAC: Dynamic slot allocation based TDMA MAC protocol for Cognitive Radio Networks
International Conference on Wireless and Optical Communications Networks · 2012
19
cited
Improved Probabilistic Models for 802.11 Protocol Verification
International Conference on Computer Aided Verification · 2005
15
cited
Scale-up graph processing in the cloud: challenges and solutions
CloudDP '14 · 2014
14
cited
Closing The Performance Gap between Causal Consistency and Eventual Consistency
2014
13
cited
Definability of Languages by Generalized First-Order Formulas over N+
SIAM journal on computing (Print) · 2007
13
cited
Hybrid binary rewriting for memory access instrumentation
International Conference on Virtual Execution Environments · 2011
13
cited
Scale-up graph processing: a storage-centric view
International Workshop on Graph Data Management Experiences and Systems · 2013
13
cited
Exploring the limits of disjoint access parallelism
2009
12
cited
Show all 48 papers →
Sotabase
Amitabha Roy | Researcher Profile | Sotabase | Sotabase