Sotabase

Career

· Director, Akamai Technologies2022–

Publications (48)

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
European Conference on Computer Systems · 2016
229
cited
Symposium on Operating Systems Principles · 2015
226
cited
149
cited
Supermodels and Robustness
AAAI/IAAI · 1998
99
cited
International Conference on Computer Aided Verification · 2006
53
cited
Exploiting Symmetry in Lifted CSPs
AAAI/IAAI · 1997
31
cited
Annual Haifa Experimental Systems Conference · 2014
31
cited
Annals of Mathematics and Artificial Intelligence · 2004
27
cited
International Conference on Wireless and Optical Communications Networks · 2012
19
cited
International Conference on Computer Aided Verification · 2005
15
cited
Closing The Performance Gap between Causal Consistency and Eventual Consistency
2014
13
cited
13
cited
International Conference on Virtual Execution Environments · 2011
13
cited
International Workshop on Graph Data Management Experiences and Systems · 2013
13
cited
Exploring the limits of disjoint access parallelism
2009
12
cited
Sotabase
Amitabha Roy | Researcher Profile | Sotabase | Sotabase