Clark Barrett
where else to find them
what they talk about
all 9 in the filters
where they keep going back
- VMCAI2 editions2022–2026
- RailsConf2 editions2015–2016
- MountainWest RubyConf2 editions2014–2015
all 9 in the filters
on a stage with
all 33 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Proof Minimization in Neural Network Verification | VMCAI 2026 | 2026-01-12 |
Algorithms that shrink unsat proofs from DNN verifiers by removing learned lemmas and unnecessary dependencies, implemented on the Marabou verifier and tested… | ||
| Formalization of a Proof Calculus for Incremental Linearization for Satisfiability(…) | CPP 2026 | 2026-01-12 |
Formalizes the incremental linearization proof calculus used by cvc5 inside Lean, extends the lean-smt plugin, and proves soundness of 21 proof rules… | ||
| 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… | ||
| CLOVER: Closed-Loop Verifiable Code Generation | Dafny 2024 | 2024-01-14 |
Generates code, docstrings, and formal annotations with GPT‑4 then applies six directed consistency checks (using reconstruction testing and the Dafny… | ||
| PEak: A Single Source of Truth for Hardware Design and Verification | PLARCH 2023 | 2023-06-17 |
PEak is an open-source Python DSL that claims a single source of truth by generating an executable Python model, a SMT formal model, and Magma RTL generation… | ||
| Bit-Precise Reasoning via Int-Blasting | VMCAI 2022 | 2022-01-16 |
Introduces int-blasting: translating bit-vector formulas to integer arithmetic plus uninterpreted functions and implementing four variants (eager/lazy ×… | ||
| Making Data Dance | PGConf Silicon Valley 2016 | 2016-11-14 |
Window functions like lead, lag, first_value, last_value and row_number are used to group and collapse chat messages by user and room, with examples that… | ||
| Crushing It With Rake Tasks | RailsConf 2016 | 2016-05-04 |
Shows concrete Rake recipes: runs bundle exec rake db:migrate and demonstrates db:migrate:redo and rollback behavior, when editing migrations is safe, and when… | ||
| Brisket Programming | LoneStarRuby Conf 2015 | 2015-08-15 |
A concrete smoking technique appears: a trimmed, scored brisket rubbed and smoked on a Big Green Egg with pecan chunks and apple chips, held at 225°F indirect… | ||
| Making Data Dance | RailsConf 2015 | 2015-04-21 |
Rails apps push heavy queries into PostgreSQL using lead/lag window functions to mark message groups and indoor location transitions, then fold those results… | ||
| "Good Enough" | MountainWest RubyConf 2015 | 2015-03-09 |
Claims fast churn across stacks and shows concrete fallout: a Faraday script queries RubyGems and finds 215 Rails versions with ≥1,000 downloads, illustrating… | ||
| How to Prototype an Airport | MountainWest RubyConf 2014 | 2014-03-20 |
Office becomes a working airport prototype using Ruby, Objective-C and hardware hacks: a Raspberry Pi and RedBear BLE Mini act as iBeacons, phones run iOS and… | ||
| nothing matches | ||