Brian Demsky
where else to find them
what they talk about
where they keep going back
- OOPSLA2 editions2020–2025
on a stage with
- Conan Truongonce
- Guoqing Harry Xuonce
- Hamed Gorjiaraonce
all 7 in the filters
who talks about the same things
- Jacob Van Geffen2 talks
- Parosh Aziz Abdulla9 talks
- Zhong Shao19 talks
- Yingfei Xiong9 talks
- Lindsey Kuper15 talks
- Rastislav Bodík8 talks
| title | conference | date |
|---|---|---|
| Towards Verifying Crash Consistency | OOPSLA 2025 | 2025-10-16 |
Guarantees crash consistency for well-typed implementations by proving a type system and compiling to Rust that inserts fences/flushes; the paper ships a… | ||
| Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applic | VMCAI 2022 | 2022-01-16 |
Presents a new stateful DPOR algorithm that is sound for non-terminating, event-driven programs by adding a novel termination criterion, computing conflicts… | ||
| Satune: Synthesizing Efficient SAT Encoders | OOPSLA 2020 | 2020-11-15 |
Satune synthesizes and auto-tunes SAT encoders from a small sample of domain problems, providing a DSL for total and partial orders, integers and booleans, a… | ||
| nothing matches | ||