[Google Scholar] [DBLP]
2025
- Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures
Oğuzcan Kırmemiş, Francisco Romão, Emmanouil Giortamis, Pramod Bhatotia
CGO 2025
[Paper] [Presentation] [Code] - Confidential VMs Explained: An Empirical Analysis of AMD SEV-SNP and Intel TDX
Masanori Misono, Dimitrios Stavrakakis, Nuno Santos, Pramod Bhatotia
SIGMETRICS 2025
[Paper] [Presentation] [Code] - Cage: Hardware-Accelerated Safe WebAssembly
Martin Fink, Dimitrios Stavrakakis, Dennis Sprokholt, Soham Chakraborty, Jan-Erik Ekberg, Pramod Bhatotia
CGO 2025
[Paper] [Presentation] [Code]
2024
- uIO: Lightweight and Extensible Unikernels
Masanori Misono, Peter Okelmann, Charalampos Mainas, Pramod Bhatotia
SoCC 2024
[Paper] [Presentation] [Code] - IndiLog: Bridging Scalability and Performance in Stateful Serverless Computing with Shared Logs
Maximilian Wiesholler, Florin Dinu, Javier Picorel, Pramod Bhatotia
SYSTOR 2024
[Paper] [Presentation] [Code] - Gramine-TDX: A Lightweight OS Kernel for Confidential VMs
Dmitrii Kuvaiskii*, Dimitrios Stavrakakis*, Kailun Qin, Cedric Xing, Pramod Bhatotia, Mona Vij
CCS 2024
[Paper] [Presentation] [Code] [Benchmark framework] - Toast: A Heterogeneous Memory Management System
Maurice Bailleu, Dimitrios Stavrakakis, Rodrigo Rocha, Soham Chakraborty, Deepak Garg, Pramod Bhatotia
PACT 2024
[Paper] [Presentation] [Code] - vFPIO: A Virtual I/O Abstraction for FPGA-accelerated I/O Devices
Jiyang Chen, Harshavardhan Unnibhavi, Atsushi Koshiba, Pramod Bhatotia
USENIX ATC 2024
[Paper] [Presentation] [Code] - SPP: Safe Persistent Pointers for Memory Safety
Dimitrios Stavrakakis, Alexandrina Panfil, MJin Nam, Pramod Bhatotia
DSN 2024
[Paper] [Presentation] [Code] - Anchor: A Library for Building Secure Persistent Memory Systems
Dimitrios Stavrakakis, Dimitra Giantsidi, Maurice Bailleu, Philip Saendig, Shady Issa, Pramod Bhatotia
SIGMOD 2024
[Paper] [Presentation] [Code] [Security Proofs] - qTPU: Quantum-Classical Computing via Tensor Networks
Nathaniel Tornow, Christian B. Mendl, Pramod Bhatotia
Arxiv draft
[Paper] - Orchestrating Quantum Cloud Environments with Qonductor
Emmanouil Giortamis, Francisco Romão, Nathaniel Tornow, Dmitry Lugovoy, Pramod Bhatotia
Arxiv draft
[Paper] [Code] - QOS: A Quantum Operating System
Emmanouil Giortamis, Francisco Romão, Nathaniel Tornow, Pramod Bhatotia
Arxiv draft
[Paper] [Code] - QVM: Quantum Gate Virtualization Machine
Nathaniel Tornow, Emmanouil Giortamis, Pramod Bhatotia
Arxiv draft
[Paper]
2023
- Trusted Heterogeneous Disaggregated Architectures
Atsushi Koshiba, Felix Gust, Julian Pritizi, Anjo Vahldiek-Oberwagner, Nuno Santos, Pramod Bhatotia
APSys 2023
[Paper] [Presentation] - FlexLog: A Shared Log for Stateful Serverless Computing
Dimitra Giantsidi, Manos Giortamis, Nathaniel Tornow, Florin Dinu, Pramod Bhatotia
HPDC 2023
[Paper] [Presentation] [Code] - Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures
Redha Gouicem, Dennis Sprokholt, Jasper Ruehl, Rodrigo C. O. Rocha, Tom Spink, Soham Chakraborty, Pramod Bhatotia
ASPLOS 2023
[Paper] [Presentation] [Code] [Artifact]
Distinguished Artifact Award
2022
- Lasagne: A Static Binary Translator for Weak Memory Model Architectures
Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, Pramod Bhatotia
PLDI 2022
[Paper] [Presentation] [Code] - Treaty: Secure Distributed Transactions
Dimitra Giantsidi, Maurice Bailleu, Natacha Crooks, Pramod Bhatotia
DSN 2022
[Paper] [Presentation] [Code]
Best Paper Award Finalist - VMSH: Hypervisor-agnostic Guest Overlays for VMs
Jörg Thalheim, Peter Okelmann, Harshavardhan Unnibhavi, Redha Gouicem, Pramod Bhatotia
EuroSys 2022
[Paper] [Presentation] [Code]
Honorable Mention: Best Artifact Award - SafePM: A Sanitizer for Persistent Memory
Kartal Kaan Bozdoğan*, Dimitrios Stavrakakis*, Shady Issa, Pramod Bhatotia
EuroSys 2022
[Paper] [Presentation] [Code]
Honorable Mention: Best Artifact Award - Secure and Policy-Compliant Query Processing on Heterogeneous Computational Storage Architectures
Harshavardhan Unnibhavi, David Cerdeira, Antonio Barbalace, Nuno Santos, Pramod Bhatotia
SIGMOD 2022
[Paper] [Presentation] [Code] [Video] - Loop Rolling for Code Size Reduction
Rodrigo C. O. Rocha, Pavlos Petoumenos, Björn Franke, Pramod Bhatotia, Michael O’Boyle
CGO 2022
[Paper] [Presentation] [Code]
2021
- rkt-io: a direct I/O stack for shielded execution
Jörg Thalheim, Harshavardhan Unnibhavi, Christian Priebe, Pramod Bhatotia, Peter Pietzuch
EuroSys 2021
[Paper] [Presentation] [Code] [Video] - Execution reconstruction: Harnessing failure reoccurrences for failure reproduction
Gefei Zuo, Jiacheng Ma, Andrew Quinn, Pramod Bhatotia, Pedro Fonseca, Baris Kasikci
PLDI 2021
[Paper] - Avocado: A Secure In-Memory Distributed Storage System
Maurice Bailleu, Dimitra Giantsidi, Vasilis Gavrielatos, Vijay Nagarajan, Pramod Bhatotia
USENIX ATC 2021
[Paper] [Presentation] [Video] - Provenance expressiveness benchmarking on non-deterministic executions
Sheung Chi Chan, James Cheney, Pramod Bhatotia
TaPP 2021
[Paper] - Steel: Composable Hardware-Based Stateful and Randomised Functional Encryption
Pramod Bhatotia, Markulf Kohlweiss, Lorenzo Martinico, Yiannis Tselekounis
PKC 2021
[Paper]
2020
- secureTF: a secure TensorFlow framework
Do Le Quoc, Franz Gregor, Sergei Arnautov, Roland Kunkel, Pramod Bhatotia, Christof Fetzer
ACM Middleware 2020
[Paper] - blockNDP: Block-storage Near Data Processing
Antonio Barbalace, Martin Decky, Javier Picorel, Pramod Bhatotia
ACM Middleware 2020
[Video] - T-lease: A trusted lease primitive for distributed systems
Bohdan Trach, Rasha Faqeh, Oleksii Oleksenko, Wojciech Ozga, Pramod Bhatotia, Christof Fetzer
SoCC 2020
[Paper] - A heterogeneous microkernel OS for Rack-Scale systems
Matthias Hille, Nils Asmussen, Hermann Härtig, Pramod Bhatotia
ACM APSys 2020
[Paper] - Bandwidth-aware page placement in numa
David Gureya, Joao Neto, Reza Karimi, Joao Barreto, Pramod Bhatotia, Vivien Quema, Rodrigo Rodrigues, Paolo Romano, Vladimir Vlassov
IPDPS 2020
[Paper] [Presentation]
2019
- ProvMark: A Provenance Expressiveness Benchmarking System
Arthur Chan, James Cheney, Pramod Bhatotia, Thomas Pasquier, Ashish Gehani, Hassaan Irshad, Lucian Carata, Margo Seltzer
ACM Middleware 2019
[Paper] [Code] - ExtOS: Data-centric Extensible OS
Antonio Barbalace, Javier Picorel, Pramod Bhatotia
APSys 2019
[Paper] - SemperOS: Distributed Capability System
Matthias Hille, Nils Asmussen, Pramod Bhatotia, Hermann Haertig
USENIX ATC 2019
[Paper] [Slides] [Code] - Clemmys: Towards Secure Remote Execution in FaaS
Bohdan Trach, Oleksii Oleksenko, Franz Gregor, Pramod Bhatotia, Christof Fetzer
ACM/USENIX SYSTOR 2019
[Paper] [Slides] - TEE-Perf: A Profiler for Trusted Execution Environments
Maurice Bailleu, Donald Dragoti, Pramod Bhatotia, Christof Fetzer
DSN 2019
[Paper] [Slides] [Code] - Speicher: Securing LSM-based Key-Value Stores using Shielded Execution
Maurice Bailleu, Jörg Thalheim, Pramod Bhatotia, Christof Fetzer, Michio Honda, and Kapil Vaswani
USENIX FAST 2019
[Paper] [Slides] [Video]
2018
- ApproxJoin: Approximate Distributed Joins
Do Le Quoc, Istemi Ekin Akkus, Pramod Bhatotia, Spyros Blanas, Ruichuan Chen, Christof Fetzer, Thorsten Strufe
ACM SoCC 2018
[Paper] [Project website] [Code] - Intel MPX Explained: A Cross-layer Analysis of the Intel MPX System Stack
Oleksii Oleksenko, Dmitrii Kuvaiskii, Pramod Bhatotia, Pascal Felber, Christof Fetzer
ACM SIGMETRICS 2018
[Project website + code] - Cntr: Lightweight OS Containers
Jörg Thalheim, Pramod Bhatotia, Pedro Fonseca, and Baris Kasikci
USENIX ATC 2018
[Paper] [Slides] [Project website + code] - ApproxIoT: Approximate Analytics for Edge Computing
Zhenyu Wen, Do Le Quoc, Pramod Bhatotia, Ruichuan Chen, Myungjin Lee
IEEE ICDCS 2018
[Project website + code] - Pesos: Policy Enhanced Secure Object Store
Robert Krahn, Bohdan Trach, Anjo Vahldiek-Oberwagner, Thomas Knauth, Pramod Bhatotia, Christof Fetzer
ACM EuroSys 2018
[Paper] [Presentation] - ShieldBox: Secure Middleboxes using Shielded Execution
Bohdan Trach, Alfred Krohmer, Sergei Arnautov, Franz Gregor, Pramod Bhatotia, Christof Fetzer
ACM SIGCOMM SOSR 2018
[Paper] [Presentation] - Asymmetry-aware Page Placement for Contemporary NUMA Architectures
David Gureya, Rodrigo Rodrigues, Paolo Romano, Pramod Bhatotia, Vivien Quéma, Joao Barreto
SFMA @ EuroSys 2018
[Paper] - HASE: Hardware-Assisted Symbolic Execution
Jörg Thalheim, Pramod Bhatotia, Pedro Fonseca, and Baris Kasikci
KLEE Symposium 2018
[Presentation] [Code]
2017
- StreamApprox: Approximate Computing for Stream Analytics
Do Le Quoc, Ruichuan Chen, Pramod Bhatotia, Christof Fetzer, Volker Hilt, and Thorsten Strufe
ACM/IFIP/USENIX Middleware 2017
[Paper] [Middleware’17 presentation] [Project website + code ] [Invited book chapter]
[Spark Summit’17 presentation] (Also selected for presentation at Spark Summit 2017)
[Flink Forward’17 presentation] (Also selected for presentation at Flink Forward 2017) - Sieve: Actionable Insights from Monitored Metrics in Distributed Systems
Jörg Thalheim, Antonio Rodrigues, Istemi Ekin Akkus, Pramod Bhatotia, Ruichuan Chen, Bimal Viswanath, Lei Jiao, and Christof Fetzer
ACM/IFIP/USENIX Middleware 2017
[Paper] [Presentation] [Project website + code] - PrivApprox: Privacy-Preserving Stream Analytics
Do Le Quoc, Martin Beck, Pramod Bhatotia, Ruichuan Chen, Christof Fetzer, and Thorsten Strufe
USENIX ATC 2017
[Paper] [Presentation] [Project website + code] [Invited book chapter] - Fex: A Software Systems Evaluator
Oleksii Oleksenko, Dmitrii Kuvaiskii, Pramod Bhatotia, and Christof Fetzer
IEEE DSN 2017
[Paper] [Presentation] [Code] - SGXBounds: Memory Safety for Shielded Execution
Dmitrii Kuvaiskii, Oleksii Oleksenko, Sergei Arnautov, Bohdan Trach, Pramod Bhatotia, Pascal Felber, and Christof Fetzer
ACM EuroSys 2017 (Best paper award)
[Paper] [Presentation] [Code]
Best Paper Award
(Also selected as the highlighted paper at SYSTOR’18)
2016
- Inspector: Data Provenance using Intel Processor Trace (PT)
Jörg Thalheim, Pramod Bhatotia, and Christof Fetzer
IEEE ICDCS 2016
[Paper] [Tech-report] [Presentation] [Code] - Elzar: Triple Modular Redundancy using Intel AVX
Dmitrii Kuvaiskii, Oleksii Oleksenko, Pramod Bhatotia, Pascal Felber, and Christof Fetzer
IEEE DSN 2016
[Tech-report] [Presentation] [Code] - Efficient Fault Tolerance using Intel MPX and TSX
Oleksii Oleksenko, Dmitrii Kuvaiskii, Pramod Bhatotia, Pascal Felber, and Christof Fetzer
IEEE DSN 2016
[Paper] [Presentation] - HAFT: Hardware-Assisted Fault Tolerance
Dmitrii Kuvaiskii, Rasha Faqeh, Pramod Bhatotia, Pascal Felber, and Christof Fetzer
ACM EuroSys 2016
[Paper] [Presentation] [Code] - IncApprox: A Data Analytics System for Incremental Approximate Computing
Dhanya R Krishnan, Do Le Quoc, Pramod Bhatotia, Christof Fetzer, and Rodrigo Rodrigues
WWW 2016
[Paper] [Presentation] [Invited book chapter] [Code]
2015 and before
- Incremental Parallel and Distributed Systems
Pramod Bhatotia
PhD Thesis, Max Planck Institute for Software Systems (MPI-SWS), 2015
[Thesis] (Summa cum laude) - iThreads: A Threading Library for Parallel Incremental Computation
Pramod Bhatotia, Pedro Fonseca, Umut Acar, Björn Brandenburg, Rodrigo Rodrigues
ACM ASPLOS 2015
[Paper] [Presentation] - Incremental Stream Processing
Pramod Bhatotia, Umut Acar, Flavio Junqueira, Rodrigo Rodrigues
Hadoop Summit 2015 (Data science track)
[Video]
Community Choice Winner Award - Slider: Incremental Sliding Window Analytics
Pramod Bhatotia, Umut Acar, Flavio Junqueira, Rodrigo Rodrigues
ACM/USENIX Middleware 2014
[Paper] [Analysis] [Presentation] [Invited book chapter]
Best Student Paper Award - Orchestrating the Deployment of Computations in the Cloud with Conductor
Alexander Wieder, Pramod Bhatotia, Ansley Post, Rodrigo Rodrigues
USENIX NSDI 2012
[Paper] [Presentation] - Shredder: GPU-Accelerated Incremental Storage and Computation
Pramod Bhatotia, Rodrigo Rodrigues, Akshat Verma
USENIX FAST 2012
[Paper] [Presentation] - Incoop: MapReduce for Incremental Computation
Pramod Bhatotia, Alexander Wieder, Rodrigo Rodrigues, Umut Acar, Rafael Pasquini
ACM SoCC 2011
[Paper] [Presentation] (also an invited book chapter in advances in data processing techniques in the era of Big Data 2014. CRC Press.) - Large Scale Incremental Data Processing with Change Propagation
Pramod Bhatotia, Alexander Wieder, Istemi Ekin Akkus, Rodrigo Rodrigues, Umut Acar
USENIX HotCloud 2011
[Paper] [Presentation] - Performance Evaluation and Optimization of Random Memory Access on Multicores with High Productivity
Vaibhav Saxena, Yogish Sabharwal, Pramod Bhatotia
ACM/IEEE HiPC 2010
[Paper]
Best Paper Award - Reliable Data-Center Scale Computations
Pramod Bhatotia, Alexander Wieder, Rodrigo Rodrigues, Flavio Junqueira, Ben Reed
ACM SIGOPS LADIS 2010
[Paper] - Conductor: Orchestrating the Clouds
Alexander Wieder, Pramod Bhatotia, Ansley Post, Rodrigo Rodrigues
ACM SIGOPS LADIS 2010
[Paper] [Presentation] - Modelling MapReduce for Optimal Execution in the Cloud
Alexander Wieder, Pramod Bhatotia, Ansley Post, Rodrigo Rodrigues
ACM PODC 2010
[Paper] - A Compilation Framework for Irregular Memory Accesses on the Cell Broadband Engine
Pramod Bhatotia, Sanjeev Aggarwal, Mainak Chaudhuri
IEEE HPCA 2009
[Paper] [Presentation] - Compiling Irregular Accesses for the Cell Broadband Engine
Pramod Bhatotia, Sanjeev Aggarwal, Mainak Chaudhuri
ACM/IEEE HiPC 2008 — Student Research Symposium
[Paper]