| 2017 | HotOS | A Case Against Tiny Tasks in Iterative Analytics. | Ehsan Totoni, Subramanya R. Dulloor, Amitabha Roy |
| 2016 | EuroSys | Data tiering in heterogeneous memory systems. | Subramanya Dulloor, Amitabha Roy, Zheguang Zhao, Narayanan Sundaram, Nadathur Satish, Rajesh Sankaran, Jeff Jackson, Karsten Schwan |
| 2015 | SOSP | Chaos: scale-out graph processing from secondary storage. | Amitabha Roy, Laurent Bindschaedler, Jasmina Malicevic, Willy Zwaenepoel |
| 2014 | CLOUD | GentleRain: Cheap and Scalable Causal Consistency with Physical Clocks. | Jiaqing Du, Calin Iorgulescu, Amitabha Roy, Willy Zwaenepoel |
| 2014 | DATE | ALLARM: Optimizing sparse directories for thread-local data. | Amitabha Roy, Timothy M. Jones |
| 2014 | EuroSys | Scale-up graph processing in the cloud: challenges and solutions. | Jasmina Malicevic, Amitabha Roy, Willy Zwaenepoel |
| 2014 | SYSTOR | PrefEdge: SSD Prefetcher for Large-Scale Graph Traversal. | Karthik Nilakant, Valentin Dalibard, Amitabha Roy, Eiko Yoneki |
| 2013 | CLOUD | Orbe: scalable causal consistency using dependency matrices and physical clocks. | Jiaqing Du, Sameh Elnikety, Amitabha Roy, Willy Zwaenepoel |
| 2013 | SIGMOD | Scale-up graph processing: a storage-centric view. | Eiko Yoneki, Amitabha Roy |
| 2013 | SOSP | X-Stream: edge-centric graph processing using streaming partitions. | Amitabha Roy, Ivo Mihailovic, Willy Zwaenepoel |
| 2011 | PPoPP | Weak atomicity under the x86 memory consistency model. | Amitabha Roy, Steven Hand, Tim Harris |
| 2011 | VEE | Hybrid binary rewriting for memory access instrumentation. | Amitabha Roy, Steven Hand, Tim Harris |
| 2009 | EuroSys | A runtime system for software lock elision. | Amitabha Roy, Steven Hand, Tim Harris |
| 2008 | SPAA | A transactional approach to lock scalability. | Amitabha Roy, Keir Fraser, Steven Hand |
| 2006 | CAV | Fast and Generalized Polynomial Time Memory Consistency Verification. | Amitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang |
| 2006 | STACS | Definability of Languages by Generalized First-Order Formulas over (N, +). | Amitabha Roy, Howard Straubing |
| 2005 | CAV | Improved Probabilistic Models for 802.11 Protocol Verification. | Amitabha Roy, K. Gopinath |
| 2002 | ISAIM | Symmetry Breaking in Constraint Satisfaction. | Eugene M. Luks, Amitabha Roy |
| 1998 | AAAI | Supermodels and Robustness. | Matthew L. Ginsberg, Andrew J. Parkes, Amitabha Roy |
| 1997 | AAAI | Exploiting Symmetry in Lifted CSPs. | David Joslin, Amitabha Roy |
| 1996 | KR | Symmetry-Breaking Predicates for Search Problems. | James M. Crawford, Matthew L. Ginsberg, Eugene M. Luks, Amitabha Roy |