Publications

Research Area
Publication Year
Storage Systems are Distributed Systems (So Verify Them That Way!)
Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, Bryan Parno
Operating Systems Design and Implementation (OSDI) | November, 2020
Predicting Execution Times With Partial Simulations in Virtual Memory Research: Why and How?
Mohammad Agbarya, Idan Yaniv, Jayneel Gandhi, Dan Tsafrir
The 53rd IEEE/ACM International Symposium on Microarchitecture (MICRO) | October, 2020
PRISM: Architectural Support for Variable-granularity Memory Metadata
Rachata Ausavarungnirun, Timothy Merrifield, Jayneel Gandhi, Chris Rossbach
International Conference on Parallel Architectures and Compilation Techniques (PACT) | October, 2020
Distributed Dispatching in the Parallel Server Model
Shay Vargaftik, Guy Goren, Shay Vargaftik, Yoram Moses
DISC 2020 | October, 2020
Aggregatable Subvector Commitments for Stateless Cryptocurrencies
Alin Tomescu, Ittai Abraham, Vitalik Buterin, Justin Drake, Dankrad Feist, Dmitry Khovratovich
Security and Cryptography for Networks | September, 2020
Closing the Gap Between Cache-Oblivious and Cache-Adaptive Analysis
Michael A. Bender, Rezaul Chowdhury, Rathish Das, Rob Johnson, William Kuszmaul, Andrea Lincoln, Quanquan Liu, Jayson Lynch, Helen Xu
SPAA | July, 2020
SplinterDB: Closing the Bandwidth Gap for NVMe Key-Value Stores
Alex Conway, Abhishek Gupta, Amy Tai, Richard Spillane, Vijay Chidambaram, Martin Farach-Colton, Rob Johnson
USENIX ATC | July, 2020
The gem5 Simulator: Version 20.0+
Jason Lowe-Power, Abdul Mutaal Ahmad, Ayaz Akram, Mohammad Alian, Rico Amslinger, Matteo Andreozzi, Adrià Armejach, Nils Asmussen, Srikant Bharadwaj, Gabe Black, Gedare Bloom, Bobby R. Bruce, Daniel Rodrigues Carvalho, Jeronimo Castrillon, Lizhong Chen, Nicolas Derumigny, Stephan Diestelhorst, Wendy Elsasser, Marjan Fariborz, Amin Farmahini-Farahani, Pouya Fotouhi, Ryan Gambord, Jayneel Gandhi, Dibakar Gope, Thomas Grass, Bagus Hanindhito, Andreas Hansson, Swapnil Haria, Austin Harris, Timothy Hayes, Adrian Herrera, Matthew Horsnell, Syed Ali Raza Jafri, Radhika Jagtap, Hanhwi Jang, Reiley Jeyapaul, Timothy M. Jones, Matthias Jung, Subash Kannoth, Hamidreza Khaleghzadeh, Yuetsu Kodama, Tushar Krishna, Tommaso Marinelli, Christian Menard, Andrea Mondelli, Tiago Mück, Omar Naji, Krishnendra Nathella, Hoa Nguyen, Nikos Nikoleris, Lena E. Olson, Marc Orr, Binh Pham, Pablo Prieto, Trivikram Reddy, Alec Roelke, Mahyar Samani, Andreas Sandberg, Javier Setoain, Boris Shingarov, Matthew D. Sinclair, Tuan Ta, Rahul Thakur, Giacomo Travaglini, Michael Upton, Nilay Vaish, Ilias Vougioukas, Zhengrong Wang, Norbert Wehn, Christian Weis, David A. Wood, Hongil Yoon, Éder F. Zulian
arXiv | July, 2020
Sync HotStuff: Simple and Practical Synchronous State Machine Replication
Ittai Abraham, Dahlia Malkhi, Kartik Nayak, Ling Ren, Maofan Yin
41st IEEE Symposium on Security and Privacy | June, 2020
Towards Scalable Threshold Cryptosystems
Alin Tomescu, Robert Chen, Yiming Zheng, Ittai Abraham, Benny Pinkas, Guy Golan Gueta, Srinivas Devadas
41st IEEE Symposium on Security and Privacy | June, 2020
Timely Reporting of Heavy Hitters using External Memory
Prashant Pandey, Shikha Singh, Michael A. Bender, Jonathan W. Berry, Martin Farach-Colton, Rob Johnson, Thomas M. Kroeger, Cynthia A. Phillips
SIGMOD | June, 2020
Faster and More Accurate Measurement through Additive-Error Counters
Shay Vargaftik, Shay Vargaftik, Ran Ben Basat, Gil Einziger, Michael Mitzenmacher
INFOCOM 2020 | June, 2020
Enhancing and Exploiting Contiguity for Fast Memory Virtualization
Chloe Alverti, Stratos Psomadakis, Vasileios Karakostas, Jayneel Gandhi, Konstantinos Nikas, Georgios Goumas, Nectarios Koziris
International Symposium on Computer Architecture (ISCA) | June, 2020
Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis
Hongce Zhang, Maxwell Shinn, Aarti Gupta, Arie Gurfinkel, Nham Le, Nina Narodytska
The 24th European Conference on Artificial Intelligence (ECAI 2020). | May, 2020
In Search for a SAT-friendly Binarized Neural Network Architecture
Nina Narodytska, Hongce Zhang, Aarti Gupta, Toby Walsh
ICLR 2020 Conference | April, 2020
Don't shoot down TLB shootdowns!
Nadav Amit, Amy Tai, Michael Wei
ACM European Conference on Computer Systems (EuroSys) | April, 2020
RAIDP: ReplicAtion with Intra-Disk Parity for Cost-Effective Storage of Warm Data
Eitan Rosenfeld, Aviad Zuck, Nadav Amit, Michael Factor, Dan Tsafrir
ACM European Conference on Computer Systems (EuroSys) | April, 2020
Can Far Memory Improve Job Throughput?
Emmanuel Amaro, Christopher Branner-Augmon, Zhihong Luo, Amy Ousterhout, Marcos Aguilera, Aurojit Panda, Sylvia Ratnasamy, Scott Shenker
ACM European Conference on Computer Systems (EuroSys) | April, 2020
Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines
Reto Achermann, Ashish Panwar, Abhishek Bhattacharjee, Timothy Roscoe, Jayneel Gandhi
The ACM International Conference on Architectural Support for Languages and Operating Systems (ASPLOS) | March, 2020
IOctopus: Outsmarting Nonuniform DMA
Igor Smolyar, Alex Markuze, Boris Pismenny, Haggai Eran, Gerd Zellweger, Austin Bolen, Liran Liss, Adam Morrison, Dan Tsafrir
The ACM International Conference on Architectural Support for Languages and Operating Systems (ASPLOS) | March, 2020