Scalable Probabilistic Models for 802.11 Protocol Verification - Amitabha Roy 002; K. Gopinath (CoRR, 2004)

Improved Probabilistic Models for 802.11 Protocol Verification. - Amitabha Roy 002; K. Gopinath (CAV, 2005)

Fast and Generalized Polynomial Time Memory Consistency Verification. - Amitabha Roy 002; Stephan Zeisset; Charles J. Fleckenstein; John C. Huang (CAV, 2006)

A transactional approach to lock scalability. - Amitabha Roy 002; Keir Fraser; Steven Hand 001 (SPAA, 2008)

A runtime system for software lock elision. - Amitabha Roy 002; Steven Hand 001; Tim Harris 001 (EuroSys, 2009)

Weak atomicity under the x86 memory consistency model. - Amitabha Roy 002; Steven Hand 001; Tim Harris 001 (PPoPP, 2011)

Hybrid binary rewriting for memory access instrumentation. - Amitabha Roy 002; Steven Hand 001; Tim Harris 001 (VEE, 2011)

Software lock elision for x86 machine code. - Amitabha Roy 002 (2011)

Memory Hierarchy Sensitive Graph Layout - Amitabha Roy 002 (CoRR, 2012)

Weak atomicity for the x86 memory consistency model. - Amitabha Roy 002; Steven Hand 001; Tim Harris 001 (J. Parallel Distributed Comput., 2012)

Orbe: scalable causal consistency using dependency matrices and physical clocks. - Jiaqing Du; Sameh Elnikety; Amitabha Roy 002; Willy Zwaenepoel (SoCC, 2013)

Scale-up graph processing: a storage-centric view. - Eiko Yoneki; Amitabha Roy 002 (GRADES, 2013)

X-Stream: edge-centric graph processing using streaming partitions. - Amitabha Roy 002; Ivo Mihailovic; Willy Zwaenepoel (SOSP, 2013)

GentleRain: Cheap and Scalable Causal Consistency with Physical Clocks. - Jiaqing Du; Calin Iorgulescu; Amitabha Roy 002; Willy Zwaenepoel (SoCC, 2014)

ALLARM: Optimizing sparse directories for thread-local data. - Amitabha Roy 002; Timothy M. Jones 001 (DATE, 2014)

Scale-up graph processing in the cloud: challenges and solutions. - Jasmina Malicevic; Amitabha Roy 002; Willy Zwaenepoel (CloudDP@EuroSys, 2014)

PrefEdge: SSD Prefetcher for Large-Scale Graph Traversal. - Karthik Nilakant; Valentin Dalibard; Amitabha Roy 002; Eiko Yoneki (SYSTOR, 2014)

Systems and Algorithms for Large-scale Graph Analytics (Dagstuhl Seminar 14462). - Eiko Yoneki; Amitabha Roy 002; Derek Gordon Murray (Dagstuhl Reports, 2014)

Chaos: scale-out graph processing from secondary storage. - Amitabha Roy 002; Laurent Bindschaedler; Jasmina Malicevic; Willy Zwaenepoel (SOSP, 2015)

Data tiering in heterogeneous memory systems. - Subramanya Dulloor; Amitabha Roy 002; Zheguang Zhao; Narayanan Sundaram; Nadathur Satish; Rajesh Sankaran; Jeff Jackson; Karsten Schwan (EuroSys, 2016)

A Case Against Tiny Tasks in Iterative Analytics. - Ehsan Totoni; Subramanya R. Dulloor; Amitabha Roy 002 (HotOS, 2017)

Cyclone: High Availability for Persistent Key Value Stores. - Amitabha Roy 002; Subramanya R. Dulloor (CoRR, 2017)

Blizzard: Adding True Persistence to Main Memory Data Structures. - Pradeep Fernando; Daniel Zahka; Ada Gavrilovska; Amitabha Roy 002; Subramanya R. Dulloor (CoRR, 2023)