Publications

[Google Scholar] [DBLP]

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]
  • 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]
  • 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)
  • Profiling for Asymmetric NUMA Systems
    David Daharewa Gureya, Joao Barreto, Paolo Romano, Rodrigo Rodrigues, Vivien Quema, Pramod Bhatotia
    ACM EuroDW 2017
    [Paper]

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]