Pramod Bhatotia
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Research Subjects
Pramod Bhatotia has a total of 54 co-authors. Here are the top co-authors by number of shared publications:
- Dimitrios Stavrakakis
Technical University of Munich, Munich, Germany
8 shared publications - Emmanouil Giortamis
Technical University of Munich, Munich, Germany
8 shared publications - Masanori Misono
Technical University of Munich, Munich, Germany
6 shared publications - Atsushi Koshiba
Technical University of Munich, Munich, Germany
5 shared publications - Julian Pritzi
Technical University of Munich, Munich, Germany
5 shared publications - Nuno Santos
INESC-ID / Instituto Superior Técnico, University of Lisbon, Lisbon, Portugal
5 shared publications
Latest Publications
- Open Access
- 10 April 2027
- Published by Association for Computing Machinery (ACM)
- p. 416-432
Focaccia: Semantic Validation for CPU Emulators
- 10 April 2027
- Published by Association for Computing Machinery (ACM)
- p. 416-432
Open AccessFocaccia: Semantic Validation for CPU Emulators
- Open Access
- 10 April 2027
- Published by Association for Computing Machinery (ACM)
- p. 857-873
Should Linux Kernel Memory Model Dependencies Be Afraid of a Big Bad Optimizing Compiler?
- 10 April 2027
- Published by Association for Computing Machinery (ACM)
- p. 857-873
Open AccessShould Linux Kernel Memory Model Dependencies Be Afraid of a Big Bad Optimizing Compiler?
- Open Access
- 14 November 2026
- Published by Association for Computing Machinery (ACM)
- p. 7028-7042
GDPRuler: A Trusted GDPR Monitor for Cloud Data Systems
- 14 November 2026
- Published by Association for Computing Machinery (ACM)
- p. 7028-7042
Open AccessGDPRuler: A Trusted GDPR Monitor for Cloud Data Systems
- Open Access
- 20 July 2026
- Published by Association for Computing Machinery (ACM) in ACM SIGMETRICS Performance Evaluation Review
- Vol. 54 (1) , 201-203
ECCentric: An Empirical Analysis of Quantum Error Correction Codes
Quantum Error Correction (QEC) is essential for building scalable quantum computers, but a lack of systematic, end-to-end evaluation methods makes it difficult to assess how different QEC codes perform under realistic conditions. The vast diversity of codes, an expansive experimental search space, and the absence of a standardized framework prevent a thorough, holistic analysis. To address this, we introduce ECCentric, an end-to-end benchmarking framework designed to systematically evaluate QEC codes across the full quantum computing stack. ECCentric is designed to be modular, extensible, and general, allowing for a comprehensive analysis of QEC code families under varying hardware topologies, noise models, and compilation strategies. Using ECCentric, we conduct the first systematic benchmarking of major QEC code families against realistic, mid-term quantum device parameters. Our empirical analysis reveals that intra-QPU execution significantly outperforms distributed methods, that qubit connectivity is a far more critical factor for reducing logical errors than increasing code distance, and that compiler overhead remains a major source of error. Furthermore, our findings suggest that trapped-ion architectures with qubit shuttling are the most promising near-term platforms and that on noisy devices, a strategic and selective application of QEC is necessary to avoid introducing more errors than are corrected. This study provides crucial, actionable insights for both hardware designers and practitioners, guiding the development of fault-tolerant quantum systems.
- 20 July 2026
- Published by Association for Computing Machinery (ACM) in ACM SIGMETRICS Performance Evaluation Review
- Vol. 54 (1) , 201-203
Open AccessECCentric: An Empirical Analysis of Quantum Error Correction Codes
Quantum Error Correction (QEC) is essential for building scalable quantum computers, but a lack of systematic, end-to-end evaluation methods makes it difficult to assess how different QEC codes perform under realistic conditions. The vast diversity of codes, an expansive experimental search space, and the absence of a standardized framework prevent a thorough, holistic analysis. To address this, we introduce ECCentric, an end-to-end benchmarking framework designed to systematically evaluate QEC codes across the full quantum computing stack. ECCentric is designed to be modular, extensible, and general, allowing for a comprehensive analysis of QEC code families under varying hardware topologies, noise models, and compilation strategies. Using ECCentric, we conduct the first systematic benchmarking of major QEC code families against realistic, mid-term quantum device parameters. Our empirical analysis reveals that intra-QPU execution significantly outperforms distributed methods, that qubit connectivity is a far more critical factor for reducing logical errors than increasing code distance, and that compiler overhead remains a major source of error. Furthermore, our findings suggest that trapped-ion architectures with qubit shuttling are the most promising near-term platforms and that on noisy devices, a strategic and selective application of QEC is necessary to avoid introducing more errors than are corrected. This study provides crucial, actionable insights for both hardware designers and practitioners, guiding the development of fault-tolerant quantum systems.
- Open Access
- 8 June 2026
- Published by Association for Computing Machinery (ACM)
- p. 201-203
ECCentric: An Empirical Analysis of Quantum Error Correction Codes
- 8 June 2026
- Published by Association for Computing Machinery (ACM)
- p. 201-203
Open AccessECCentric: An Empirical Analysis of Quantum Error Correction Codes
- Open Access
- 29 May 2026
- Published by Association for Computing Machinery (ACM) in Proceedings of the ACM on Measurement and Analysis of Computing Systems
- Vol. 10 (2) , 1-33
ECCentric: An Empirical Analysis of Quantum Error Correction Codes
Quantum Error Correction (QEC) is essential for building scalable quantum computers, but a lack of systematic, end-to-end evaluation methods makes it difficult to assess how different QEC codes perform under realistic conditions. The vast diversity of codes, an expansive experimental search space, and the absence of a standardized framework prevent a thorough, holistic analysis. To address this, we introduce ECCentric, an end-to-end benchmarking framework designed to systematically evaluate QEC codes across the full quantum computing stack. ECCentric is designed to be modular, extensible, and general, allowing for a comprehensive analysis of QEC code families under varying hardware topologies, noise models, and compilation strategies. Using ECCentric, we conduct the first systematic benchmarking of major QEC code families against realistic, mid-term quantum device parameters. Our empirical analysis reveals that intra-QPU execution significantly outperforms distributed methods, that qubit connectivity is a far more critical factor for reducing logical errors than increasing code distance, and that compiler overhead remains a major source of error. Furthermore, our findings suggest that trapped-ion architectures with qubit shuttling are the most promising near-term platforms and that on noisy devices, a strategic and selective application of QEC is necessary to avoid introducing more errors than are corrected. This study provides crucial, actionable insights for both hardware designers and practitioners, guiding the development of fault-tolerant quantum systems.
- 29 May 2026
- Published by Association for Computing Machinery (ACM) in Proceedings of the ACM on Measurement and Analysis of Computing Systems
- Vol. 10 (2) , 1-33
Open AccessECCentric: An Empirical Analysis of Quantum Error Correction Codes
Quantum Error Correction (QEC) is essential for building scalable quantum computers, but a lack of systematic, end-to-end evaluation methods makes it difficult to assess how different QEC codes perform under realistic conditions. The vast diversity of codes, an expansive experimental search space, and the absence of a standardized framework prevent a thorough, holistic analysis. To address this, we introduce ECCentric, an end-to-end benchmarking framework designed to systematically evaluate QEC codes across the full quantum computing stack. ECCentric is designed to be modular, extensible, and general, allowing for a comprehensive analysis of QEC code families under varying hardware topologies, noise models, and compilation strategies. Using ECCentric, we conduct the first systematic benchmarking of major QEC code families against realistic, mid-term quantum device parameters. Our empirical analysis reveals that intra-QPU execution significantly outperforms distributed methods, that qubit connectivity is a far more critical factor for reducing logical errors than increasing code distance, and that compiler overhead remains a major source of error. Furthermore, our findings suggest that trapped-ion architectures with qubit shuttling are the most promising near-term platforms and that on noisy devices, a strategic and selective application of QEC is necessary to avoid introducing more errors than are corrected. This study provides crucial, actionable insights for both hardware designers and practitioners, guiding the development of fault-tolerant quantum systems.
- Open Access
- 26 April 2026
- Published by Association for Computing Machinery (ACM)
- p. 328-349
Proteus: Heterogeneous FPGA Virtualization
Cloud providers have widely adopted FPGAs to meet the high-performance, energy-efficient demands of cloud workloads. While they offer homogeneous FPGAs per service, recent FPGA products exhibit increasing heterogeneity in terms of vendors, capacity, off-chip memory, and performance. These diverse properties not only render applications incompatible across different FPGAs but also lead to performance disparities and resource inefficiency. To fill these gaps, we propose Proteus, a heterogeneous FPGA virtualization framework. Proteus allows applications to manage diverse FPGAs transparently by abstracting their properties with four key contributions: an FPGA virtualization stack to abstract different FPGA stacks from applications, a platform-agnostic API to manage FPGAs regardless of their vendors/architectures, memory virtualization to optimize memory allocation depending on the off-chip memory type, and a performance-aware scheduler to deploy applications on the best-suited FPGAs based on their predicted performance. We implement Proteus for cross-vendor FPGAs: AMD (U50, U280) and Intel (Stratix 10). Our evaluation highlights that Proteus makes applications deployable on any FPGA with 4.9–6.8% overheads for AMD FPGAs, and the performance-aware scheduler yields 13.8% throughput gain on average.
- 26 April 2026
- Published by Association for Computing Machinery (ACM)
- p. 328-349
Open AccessProteus: Heterogeneous FPGA Virtualization
Cloud providers have widely adopted FPGAs to meet the high-performance, energy-efficient demands of cloud workloads. While they offer homogeneous FPGAs per service, recent FPGA products exhibit increasing heterogeneity in terms of vendors, capacity, off-chip memory, and performance. These diverse properties not only render applications incompatible across different FPGAs but also lead to performance disparities and resource inefficiency. To fill these gaps, we propose Proteus, a heterogeneous FPGA virtualization framework. Proteus allows applications to manage diverse FPGAs transparently by abstracting their properties with four key contributions: an FPGA virtualization stack to abstract different FPGA stacks from applications, a platform-agnostic API to manage FPGAs regardless of their vendors/architectures, memory virtualization to optimize memory allocation depending on the off-chip memory type, and a performance-aware scheduler to deploy applications on the best-suited FPGAs based on their predicted performance. We implement Proteus for cross-vendor FPGAs: AMD (U50, U280) and Intel (Stratix 10). Our evaluation highlights that Proteus makes applications deployable on any FPGA with 4.9–6.8% overheads for AMD FPGAs, and the performance-aware scheduler yields 13.8% throughput gain on average.
- Open Access
- 22 March 2026
- Published by Association for Computing Machinery (ACM)
- p. 2177-2196
vCXLGen: Automated Synthesis and Verification of CXL Bridges for Heterogeneous Architectures
- 22 March 2026
- Published by Association for Computing Machinery (ACM)
- p. 2177-2196
Open AccessvCXLGen: Automated Synthesis and Verification of CXL Bridges for Heterogeneous Architectures
- Open Access
- 22 March 2026
- Published by Association for Computing Machinery (ACM)
- p. 157-174
Arancini: A Hybrid Binary Translator for Weak Memory Model Architectures
- 22 March 2026
- Published by Association for Computing Machinery (ACM)
- p. 157-174
Open AccessArancini: A Hybrid Binary Translator for Weak Memory Model Architectures
- Open Access
- 14 December 2025
- Published by Association for Computing Machinery (ACM)
- p. 1-15
Recipe: Hardware-Accelerated Replication Protocols
- 14 December 2025
- Published by Association for Computing Machinery (ACM)
- p. 1-15
Open AccessRecipe: Hardware-Accelerated Replication Protocols