Pratap Singh
where else to find them
no profile links on file
what they talk about
all 6 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 42 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| OwlC: Compiling Security Protocols to Verified, Secure... | USENIX Security '25 | 2025-08-13 |
OwlC compiles Owl protocol specifications into side‑channel‑resistant Rust libraries and mechanically verifies their fidelity to an itrees specification using… | ||
| Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust | USENIX Security '25 | 2025-08-13 |
Vest generates Rust zero-copy parsers and in-place serializers from an RFC-like DSL, proves memory safety plus soundness, completeness, non-malleability and… | ||
| Flexible Instruction-Set Semantics via Abstract Monads | ICFP 2023 | 2023-09-04 |
Claims a single Haskell-based core semantics, parameterized by a Risk5Machine type class over monads, supports testing, interactive proof, model checking and… | ||
| Tectonic-Shift: A Composite Storage Fabric for Large-Scale ML Training | USENIX ATC '23 | 2023-07-10 |
Composite fabric combines Tectonic HDD capacity with a flash tier called Shift that sits in a consistent‑hash ring and uses Meta’s cashlib for node‑local… | ||
| Facebook's Tectonic Filesystem: Efficiency from Exascale | FAST '21 | 2021-02-23 |
Claims a single exabyte-scale single cluster replaces many special-purpose systems, storing trillions of objects and consolidating an entire data center… | ||
| nothing matches | ||