Amit Levy
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- Anja Kalabaonce
- David H. Liuonce
- David I. Augustonce
all 17 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Building Bridges: Safe Interactions with Foreign Languages through Omniglot | OSDI '25 | 2025-07-07 |
Omniglot enforces Rust soundness when calling unmodified C libraries by interposing on the FFI, validating values at call boundaries and tracking foreign… | ||
| Doing More with Less: Orchestrating Serverless Applications without an Orchestrator | NSDI 2023 | 2023-04-17 |
Unum implements orchestration as a library that compiles Step Functions graphs into an IR and runs inside user Lambdas using DynamoDB (and Firebase on Google… | ||
| Speculative Recovery: Cheap, Highly Available Fault Tolerance with Disaggregated... | USENIX ATC '22 | 2022-07-11 |
Speculative recovery claims to cut REDS failover time by running failure detection and recovery in parallel using two new primitives super and collapse… | ||
| Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust | OOPSLA 2021 | 2021-10-17 |
Rust libraries use unchecked indexing in 10% of the 500 most downloaded packages, and small compiler or workload changes make bounds-check overhead vary… | ||
| nothing matches | ||