Anitha Gollamudi
where else to find them
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Aidan Denlingeronce
- Alexandra E. Michaelonce
- Bryan Parnoonce
all 14 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Automatic Inference of Enclave Placement in LLVM Compiler | PriSC 2025 (with POPL 2025) | 2025-01-20 |
Claims a practical LLVM-based pipeline that infers which functions and pointers must live inside enclaves and lowers them to Intel SGX using OpenEnclave… | ||
| ILA: Correctness via Type Checking for Fully Homomorphic Encryption | PriSC 2025 (with POPL 2025) | 2025-01-20 |
ILA is an intermediate language that attaches quantitative bounds (plaintext range and ciphertext noise) as types and proves that well-typed ILA circuits… | ||
| MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code | POPL 2023 | 2023-01-15 |
Extends Wasm with segmented memory and unforgeable handles that carry colored provenance, a formal semantics, and a proof that well-typed MSWasm modules are… | ||
| nothing matches | ||