Jacob R. Lorch
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Chris Hawblitzel2×
- Ashay Raneonce
- Barry Bondonce
all 13 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption... | OSDI '25 | 2025-07-07 |
Claims tool-agnostic verification of crash consistency via PoWER (Preconditions on Writes Enforcing Recoverability), implements an explicit model of media… | ||
| Vale: Verifying High-Performance Cryptographic Assembly Code | 26th USENIX Security Symposium (USENIX Security '17) | 2017-08-16 |
Vale converts annotated, hand-tuned assembly into an abstract syntax tree and emits machine-checked proofs verified by an SMT-based verifier, letting the AST… | ||
| nothing matches | ||