James Bornholt
where else to find them
what they talk about
where they keep going back
- OOPSLA2 editions2018–2022
on a stage with
- Benjamin Sepanskionce
- Hayley LeBlanconce
- Kostas Ferlesonce
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| SquirrelFS: using the Rust compiler to check file-system crash consistency | 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI '24) | 2024-07-10 |
SquirrelFS is a 7,500‑line persistent‑memory file system implemented in Rust that encodes crash‑ordering rules in types so compilation proves certain crash… | ||
| Synthesizing fine-grained synchronization protocols for implicit monitors | OOPSLA 2022 | 2022-12-05 |
A tool called Cortado statically proves safe interleavings by commutativity checks, builds a MaxSAT encoding that assigns locks per code snippet, and… | ||
| Finding Code That Explodes Under Symbolic Evaluation | OOPSLA 2018 | 2018-11-07 |
A profiler called SymPro constructs a symbolic evaluation graph and a symbolic heap to locate where symbolic evaluation explodes, implemented for Rosette and… | ||
| nothing matches | ||