Pramod Bhatotia

Orcid: 0000-0002-3220-5735

Affiliations:
  • Technical University of Munich, Germany
  • University of Edinburgh, UK (former)


According to our database1, Pramod Bhatotia authored at least 80 papers between 2010 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures.
CoRR, 2024

Cage: Hardware-Accelerated Safe WebAssembly.
CoRR, 2024

Orchestrating Quantum Cloud Environments with Qonductor.
CoRR, 2024

QOS: A Quantum Operating System.
CoRR, 2024

vFPIO: A Virtual I/O Abstraction for FPGA-accelerated I/O Devices.
Proceedings of the 2024 USENIX Annual Technical Conference, 2024

SPP: Safe Persistent Pointers for Memory Safety.
Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2024

uIO: Lightweight and Extensible Unikernels.
Proceedings of the 2024 ACM Symposium on Cloud Computing, 2024

Toast: A Heterogeneous Memory Management System.
Proceedings of the 2024 International Conference on Parallel Architectures and Compilation Techniques, 2024

2023
Anchor: A Library for Building Secure Persistent Memory Systems.
Proc. ACM Manag. Data, December, 2023

Capacity planning for dependable services.
Theor. Comput. Sci., October, 2023

FlexLog: A Shared Log for Stateful Serverless Computing.
Proceedings of the 32nd International Symposium on High-Performance Parallel and Distributed Computing, 2023

Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures.
Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

Trusted Heterogeneous Disaggregated Architectures.
Proceedings of the 14th ACM SIGOPS Asia-Pacific Workshop on Systems, 2023

2022
PCRAFT: Capacity Planning for Dependable Stateless Services.
CoRR, 2022

Secure and Policy-Compliant Query Processing on Heterogeneous Computational Storage Architectures.
Proceedings of the SIGMOD '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

Lasagne: a static binary translator for weak memory model architectures.
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

VMSH: hypervisor-agnostic guest overlays for VMs.
Proceedings of the EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5, 2022

SafePM: a sanitizer for persistent memory.
Proceedings of the EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5, 2022

Treaty: Secure Distributed Transactions.
Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

Loop Rolling for Code Size Reduction.
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022

2021
Steel: Composable Hardware-based Stateful and Randomised Functional Encryption.
IACR Cryptol. ePrint Arch., 2021

Avocado: A Secure In-Memory Distributed Storage System.
Proceedings of the 2021 USENIX Annual Technical Conference, 2021

Provenance expressiveness benchmarking on non-deterministic executions.
Proceedings of the 13th International Workshop on Theory and Practice of Provenance, 2021

Execution reconstruction: harnessing failure reoccurrences for failure reproduction.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

rkt-io: a direct I/O stack for shielded execution.
Proceedings of the EuroSys '21: Sixteenth European Conference on Computer Systems, 2021

2020
secureTF: A Secure TensorFlow Framework.
Proceedings of the Middleware '20: 21st International Middleware Conference, 2020

blockNDP: Block-storage Near Data Processing.
Proceedings of the Middleware '20: Proceedings of the 21st International Middleware Conference Industrial Track, 2020

Bandwidth-Aware Page Placement in NUMA.
Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2020

T-Lease: a trusted lease primitive for distributed systems.
Proceedings of the SoCC '20: ACM Symposium on Cloud Computing, 2020

A heterogeneous microkernel OS for Rack-Scale systems.
Proceedings of the APSys '20: 11th ACM SIGOPS Asia-Pacific Workshop on Systems, 2020

2019
Incremental Approximate Computing.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

Approximate Computing for Stream Analytics.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

Privacy-Preserving Data Analytics.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

Incremental Sliding Window Analytics.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

PrivApprox: Privacy-Preserving Stream Analytics - (Extended Abstract).
Inform. Spektrum, 2019

TensorSCONE: A Secure TensorFlow Framework using Intel SGX.
CoRR, 2019

SemperOS: A Distributed Capability System.
Proceedings of the 2019 USENIX Annual Technical Conference, 2019

Clemmys: towards secure remote execution in FaaS.
Proceedings of the 12th ACM International Conference on Systems and Storage, 2019

ProvMark: A Provenance Expressiveness Benchmarking System.
Proceedings of the 20th International Middleware Conference, 2019

SPEICHER: Securing LSM-based Key-Value Stores using Shielded Execution.
Proceedings of the 17th USENIX Conference on File and Storage Technologies, 2019

TEE-Perf: A Profiler for Trusted Execution Environments.
Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

ExtOS: Data-centric Extensible OS.
Proceedings of the 10th ACM SIGOPS Asia-Pacific Workshop on Systems, 2019

2018
Intel MPX Explained: A Cross-layer Analysis of the Intel MPX System Stack.
Proc. ACM Meas. Anal. Comput. Syst., 2018

Approximate Distributed Joins in Apache Spark.
CoRR, 2018

Approximate Edge Analytics for the IoT Ecosystem.
CoRR, 2018

Cntr: Lightweight OS Containers.
Proceedings of the 2018 USENIX Annual Technical Conference, 2018

ShieldBox: Secure Middleboxes using Shielded Execution.
Proceedings of the Symposium on SDN Research, 2018

ApproxIoT: Approximate Analytics for Edge Computing.
Proceedings of the 38th IEEE International Conference on Distributed Computing Systems, 2018

Pesos: policy enhanced secure object store.
Proceedings of the Thirteenth EuroSys Conference, 2018

ApproxJoin: Approximate Distributed Joins.
Proceedings of the ACM Symposium on Cloud Computing, 2018

2017
Sieve: Actionable Insights from Monitored Metrics in Microservices.
CoRR, 2017

Slick: Secure Middleboxes using Shielded Execution.
CoRR, 2017

Approximate Stream Analytics in Apache Flink and Apache Spark Streaming.
CoRR, 2017

Privacy Preserving Stream Analytics: The Marriage of Randomized Response and Approximate Computing.
CoRR, 2017

Intel MPX Explained: An Empirical Study of Intel MPX and Software-based Bounds Checking Approaches.
CoRR, 2017

PrivApprox: Privacy-Preserving Stream Analytics.
Proceedings of the 2017 USENIX Annual Technical Conference, 2017

Sieve: actionable insights from monitored metrics in distributed systems.
Proceedings of the 18th ACM/IFIP/USENIX Middleware Conference, Las Vegas, NV, USA, December 11, 2017

StreamApprox: approximate computing for stream analytics.
Proceedings of the 18th ACM/IFIP/USENIX Middleware Conference, Las Vegas, NV, USA, December 11, 2017

SGXBOUNDS: Memory Safety for Shielded Execution.
Proceedings of the Twelfth European Conference on Computer Systems, 2017

Fex: A Software Systems Evaluator.
Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

2016
Inspector: A Data Provenance Library for Multithreaded Programs.
CoRR, 2016

Elzar: Triple Modular Redundancy using Intel Advanced Vector Extensions (technical report).
CoRR, 2016

Asymptotic Analysis of Self-Adjusting Contraction Trees.
CoRR, 2016

IncApprox: A Data Analytics System for Incremental Approximate Computing.
Proceedings of the 25th International Conference on World Wide Web, 2016

INSPECTOR: Data Provenance Using Intel Processor Trace (PT).
Proceedings of the 36th IEEE International Conference on Distributed Computing Systems, 2016

HAFT: hardware-assisted fault tolerance.
Proceedings of the Eleventh European Conference on Computer Systems, 2016

ELZAR: Triple Modular Redundancy Using Intel AVX (Practical Experience Report).
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016

2015
Incremental parallel and distributed systems.
PhD thesis, 2015

iThreads: A Threading Library for Parallel Incremental Computation.
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014
Slider: incremental sliding window analytics.
Proceedings of the 15th International Middleware Conference, 2014

Incremental MapReduce Computations.
Proceedings of the Large Scale and Big Data - Processing and Management., 2014

2012
Orchestrating the Deployment of Computations in the Cloud with Conductor.
Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, 2012

Shredder: GPU-accelerated incremental storage and computation.
Proceedings of the 10th USENIX conference on File and Storage Technologies, 2012

2011
Session reports for SIGCOMM 2010.
Comput. Commun. Rev., 2011

Large-scale Incremental Data Processing with Change Propagation.
Proceedings of the 3rd USENIX Workshop on Hot Topics in Cloud Computing, 2011

Incoop: MapReduce for incremental computations.
Proceedings of the ACM Symposium on Cloud Computing in conjunction with SOSP 2011, 2011

2010
Brief announcement: modelling MapReduce for optimal execution in the cloud.
Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010

Conductor: orchestrating the clouds.
Proceedings of the 4th International Workshop on Large Scale Distributed Systems and Middleware, 2010

Reliable data-center scale computations.
Proceedings of the 4th International Workshop on Large Scale Distributed Systems and Middleware, 2010

Performance evaluation and optimization of random memory access on multicores with high productivity.
Proceedings of the 2010 International Conference on High Performance Computing, 2010


  Loading...