Amitabha Roy

According to our database, Amitabha Roy authored at least 23 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Blizzard: Adding True Persistence to Main Memory Data Structures.

Pradeep Fernando, Daniel Zahka, Ada Gavrilovska, Amitabha Roy, Subramanya R. Dulloor

CoRR, 2023

2017

Cyclone: High Availability for Persistent Key Value Stores.

Amitabha Roy, Subramanya R. Dulloor

CoRR, 2017

A Case Against Tiny Tasks in Iterative Analytics.

Ehsan Totoni, Subramanya R. Dulloor, Amitabha Roy

Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

2016

Data tiering in heterogeneous memory systems.

Subramanya Dulloor, Amitabha Roy, Zheguang Zhao, Narayanan Sundaram, Nadathur Satish, Rajesh Sankaran, Jeff Jackson, Karsten Schwan

Proceedings of the Eleventh European Conference on Computer Systems, 2016

2015

Chaos: scale-out graph processing from secondary storage.

Amitabha Roy, Laurent Bindschaedler, Jasmina Malicevic, Willy Zwaenepoel

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

2014

Systems and Algorithms for Large-scale Graph Analytics (Dagstuhl Seminar 14462).

Eiko Yoneki, Amitabha Roy, Derek Gordon Murray

Dagstuhl Reports, 2014

PrefEdge: SSD Prefetcher for Large-Scale Graph Traversal.

Karthik Nilakant, Valentin Dalibard, Amitabha Roy, Eiko Yoneki

Proceedings of the International Conference on Systems and Storage, 2014

Scale-up graph processing in the cloud: challenges and solutions.

Jasmina Malicevic, Amitabha Roy, Willy Zwaenepoel

Proceedings of the Fourth International Workshop on Cloud Data and Platforms, 2014

ALLARM: Optimizing sparse directories for thread-local data.

Amitabha Roy, Timothy M. Jones

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

GentleRain: Cheap and Scalable Causal Consistency with Physical Clocks.

Jiaqing Du, Calin Iorgulescu, Amitabha Roy, Willy Zwaenepoel

Proceedings of the ACM Symposium on Cloud Computing, 2014

2013

X-Stream: edge-centric graph processing using streaming partitions.

Amitabha Roy, Ivo Mihailovic, Willy Zwaenepoel

Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

Scale-up graph processing: a storage-centric view.

Eiko Yoneki, Amitabha Roy

Proceedings of the First International Workshop on Graph Data Management Experiences and Systems, 2013

Orbe: scalable causal consistency using dependency matrices and physical clocks.

Jiaqing Du, Sameh Elnikety, Amitabha Roy, Willy Zwaenepoel

Proceedings of the ACM Symposium on Cloud Computing, SOCC '13, 2013

2012

Weak atomicity for the x86 memory consistency model.

Amitabha Roy, Steven Hand, Tim Harris

J. Parallel Distributed Comput., 2012

Memory Hierarchy Sensitive Graph Layout

Amitabha Roy

CoRR, 2012

2011

Software lock elision for x86 machine code.

Amitabha Roy

PhD thesis, 2011

Hybrid binary rewriting for memory access instrumentation.

Amitabha Roy, Steven Hand, Tim Harris

Proceedings of the 7th International Conference on Virtual Execution Environments, 2011

Weak atomicity under the x86 memory consistency model.

Amitabha Roy, Steven Hand, Tim Harris

Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

2009

A runtime system for software lock elision.

Amitabha Roy, Steven Hand, Tim Harris

Proceedings of the 2009 EuroSys Conference, Nuremberg, Germany, April 1-3, 2009, 2009

2008

A transactional approach to lock scalability.

Amitabha Roy, Keir Fraser, Steven Hand

Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008

2006

Fast and Generalized Polynomial Time Memory Consistency Verification.

Amitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Improved Probabilistic Models for 802.11 Protocol Verification.

Amitabha Roy, K. Gopinath

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Scalable Probabilistic Models for 802.11 Protocol Verification

Amitabha Roy, K. Gopinath

CoRR, 2004