Alexander Bai
where else to find them
no profile links on file
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
all 14 in the filters
who talks about the same things
- Aleksandr Fedchin3 talks
- Ben L. Titzer11 talks
- Elizabeth Gilbert3 talks
- Jeffrey S. Foster10 talks
- Bryan Parno22 talks
- Işıl Dillig21 talks
| title | conference | date |
|---|---|---|
| Tunable Automation in Automated Program Verification | Dafny 2026 | 2026-01-11 |
A Rust-based verifier (Verus) adds a broadcast lemmas mechanism to let libraries export grouped, universally quantified facts and users import them at module… | ||
| Efficient Concolic Execution of WebAssembly by Compilation and Snapshot Reuse | WebAssembly Workshop @ ICFP/SPLASH 2025 | 2025-10-16 |
Claims a concolic engine that compiles a CPS-based Wasm concolic interpreter to C++ via partial evaluation (LMS), producing an executable that combines no… | ||
| Debugging WebAssembly? Put some Whamm on it! | OOPSLA 2025 | 2025-10-16 |
Whamm is an instrumentation framework for WebAssembly that compiles a declarative DSL into either an engine-level Whey engine API probe module or a… | ||
| Metamorph: Synthesizing Large Objects from Dafny Specifications | OOPSLA 2025 | 2025-10-16 |
Metamorph synthesizes long sequences of Dafny-specified API calls by replaying verifier counterexamples one step at a time and framing search as weighted A… | ||
| A Big-Step Compositional Continuation-Passing Semantics for WebAssembly | WAW 2025 | 2025-01-20 |
Presents a compositional CPS semantics for a WebAssembly subset that replaces the official small-step reduction with a big-step, tail-recursive interpreter… | ||
| nothing matches | ||