Alex Potanin
where else to find them
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- Amos Robinsononce
- Fabian Muehlboeckonce
- Feifei Chengonce
all 13 in the filters
who talks about the same things
- Shriram Krishnamurthi12 talks
- Sukyoung Ryu12 talks
- Ilya Sergey25 talks
- Armando Solar-Lezama18 talks
- Michael Hicks18 talks
- Liyi Li4 talks
| title | conference | date |
|---|---|---|
| SPLASH Organisers Discussion and AMA | OOPSLA 2025 | 2025-10-16 |
Conversation reports concrete, actionable changes and tradeoffs: SIGPLAN plans a SIGPLAN track for missed presentations across conferences in 2026, review… | ||
| Embedding Quantum Program Verification into Dafny | OOPSLA 2025 | 2025-10-16 |
QafnyC compiles quantum program verification into Dafny and then down to executable circuits (via Sqir/OpenQASM), implementing a type-driven verifier that… | ||
| A Verified Thread-Safe Array in Rust | IWACO 2025 | 2025-10-14 |
A verified thread-safe array API in Rust uses the Verus verifier and permission-based interior mutability to let shared references enable arbitrary parallel… | ||
| X-by-Construction: Towards Ensuring Non-Functional Properties in by-Construction(…) | Onward! 2025 | 2025-10-12 |
Proposes generalizing X-by-Construction to non-functional properties, defines six concrete requirements for a property to fit into by-construction workflows… | ||
| Pipit: Reactive Systems in F★ (Extended Abstract) | TyDe 2023 | 2023-09-04 |
Pipit is a small embedded DSL in F★ that implements reactive streams with Follow by delays and guarded recursion, provides a verified translation to transition… | ||
| nothing matches | ||