Joshua Clune
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2020–2025
on a stage with
- Abdalrhman Mohamedonce
- Alex Keizeronce
- Clark Barrettonce
all 13 in the filters
who talks about the same things
- Siddharth Bhat4 talks
- Leo Stefanesco6 talks
- Tobias Grosser14 talks
- Adam Chlipala23 talks
- Jonathan Ragan-Kelley12 talks
- Todd Millstein11 talks
| title | conference | date |
|---|---|---|
| Interactive Bit Vector Reasoning using Verified Bitblasting | OOPSLA 2025 | 2025-10-16 |
A verified bit-blasting pipeline called bv_decide tactic compiles Lean bitvector goals to AIGs, converts to CNF, calls an external SAT solver that emits… | ||
| A Formalized Reduction of Keller's Conjecture | CPP 2023 | 2023-01-16 |
Formalization produces a machine-checked reduction from the infinite geometric statement of Keller’s conjecture to a finite graph problem, encodes… | ||
| Program Equivalence for Assisted Grading of Functional Programs | OOPSLA 2020 | 2020-11-15 |
Zeus clusters Standard ML student submissions by proving structural equivalence with inference rules and emits an SMT formula checked by z3 so clustering is… | ||
| nothing matches | ||