Publications

Research Area
Publication Year
Fast Local Page-Tables for Virtualized NUMA Servers with vMitosis
Ashish Panwar, Reto Achermann, Arkaprava Basu, Abhishek Bhattacharjee, Gopinath Kanchi, Jayneel Gandhi
The ACM International Conference on Architectural Support for Languages and Operating Systems (ASPLOS) | April, 2021
Persistence and Synchronization: Friends or Foes?
Pradeep Fernando, Irina Calciu, Jayneel Gandhi, Aasheesh Kolli, Ada Gavrilovska
arXiv | December, 2020
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
Building Scalable and Flexible Cluster Managers Using Declarative Programming
Lalith Suresh, João Ferreira Loff, Faria Kalim, Sangeetha Abdu Jyothi, Nina Narodytska, Leonid Ryzhyk, Sahan Gamage, Brian Oki, Pranshu Jain, Michael Gasch
14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20) | November, 2020
RedLeaf: Isolation and Communication in a Safe Operating System
Vikram Narayanan, Tianjiao Huang, David Detweiler, Dan Appel, Zhaofeng Li, Gerd Zellweger, Anton Burtsev
14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20) | 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
SNF: Serverless Network Functions
Arjun Singhvi, Junaid Khalid, Aditya Akella, Sujata Banerjee
ACM Symposium on Cloud Computing (SoCC) | 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