Pramod Bhatotia
where else to find them
no profile links on file
what they talk about
all 10 in the filters
where they keep going back
no series more than once — all 10 in the filters
on a stage with
all 29 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| μShell: A Microkernel-based FPGA Shell Architecture | 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26) | 2026-07-13 |
MicroShell implements a microkernel-style FPGA shell with a hardware capability enforcement unit, a dynamic data interconnect, and a software capability… | ||
| qTPU: Hybrid Tensor Networks for Quantum-Classical Acceleration | 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26) | 2026-07-13 |
qTPU introduces a hybrid tensor network abstraction plus a programming model, compiler and runtime that jointly trade quantum error against classical FLOP… | ||
| Wallet: Confidential Serverless Computing | NSDI '26 | 2026-05-04 |
Wallet implements nested confidential execution inside CVMs with a tiny trusted monitor, a decoupled guest OS, LibOS-based zygote images and fork-style… | ||
| uCache: A Customizable Unikernel-based IO Cache | FAST '26 | 2026-02-24 |
uCache is a unikernel libOS cache (implemented on OSV) that exposes shared uVFS abstraction and buffer/VMA callbacks so applications can attach replacement… | ||
| QOS: Quantum Operating System | OSDI '25 | 2025-07-07 |
QOS is a modular quantum OS with an LLVM-like compiler and a runtime (estimator, compatibility-based multi-programming, scheduler) implemented in Python on top… | ||
| QVM: Quantum Gate Virtualization Machine | PLDI 2025 | 2025-06-16 |
QVM exposes a virtual circuit IR plus a compiler and runtime that split circuits into optimized fragments, schedule them across small QPUs, and classically… | ||
| vFPIO: A Virtual I/O Abstraction for FPGA-accelerated I/O Devices | USENIX ATC 2024 | 2024-07-10 |
vFPIO implements a virtual I/O module compiled into user logic, a vFPIO shell with a preemptive I/O transaction scheduler, and a host library with POSIX-like… | ||
| Avocado: A Secure In-Memory Distributed Storage System | USENIX ATC '21 | 2021-07-14 |
Avocado is a secure in‑memory distributed key‑value store that uses Intel SGX to run the replication protocol inside enclaves, splits keys (in‑enclave) and… | ||
| SemperOS: A Distributed Capability System | USENIX ATC '19 | 2019-07-10 |
SemperOS implements a multi‑kernel, HW/SW co‑designed distributed capability system that handles cross‑partition delegation and revoke races by adding a… | ||
| SPEICHER: Securing LSM-based Key-Value Stores using Shielded Execution | FAST '19 | 2019-02-25 |
Speicher is a secure LSM-backed key-value store that provides confidentiality, integrity and freshness for persistent data by extending trust beyond the SGX… | ||
| StreamApprox: Approximate Stream Analytics in Apache Flink | Flink Forward Berlin 2017 | 2017-09-11 |
Prototype implements online stratified reservoir sampling for Apache Flink (also ported to Spark) and answers linear queries like sum and mean over streams… | ||
| nothing matches | ||