Byron Cook
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2020–2024
all 4 in the filters
on a stage with
- Peter Muelleronce
who talks about the same things
- Kathleen Fisher9 talks
- Adam Chlipala23 talks
- Mooly Sagiv18 talks
- Jon Stephens4 talks
- Joey Dodds2 talks
- Mike Dodds5 talks
| title | conference | date |
|---|---|---|
| Reasoning About Hilbert’s Choice Operator in SMT | PLDI 2024 Workshop Honoring Andreas Podelski | 2024-06-25 |
Proposes adding Hilbert ε-terms to SMT by translating quantifiers to choice terms, then replacing those with fresh logical constants (e.g. introduce L1 and L2)… | ||
| Thoughts on the interplay between corporate, government, and university R&D | PLMW@PLDI 2024 | 2024-06-24 |
Corporate R&D funds specific tools (paid development of CVC5 proof production), government programs seed large projects (DARPA’s multi‑million PROV effort to… | ||
| Massive proofs for the masses | O'Hearn Fest (POPL 2024) | 2024-01-14 |
Claims that cloud-backed distributed solvers dramatically outperform sequential tools—example: a distributed solver reaches ~250 benchmarks solved within 200s… | ||
| Ask Me Anything with Byron Cook | PLDI 2020 | 2020-06-15 |
Amazon shows how formal methods move from prototype to production: teams prove the KMS protocol, verify an in‑house TLS stack called s2 and ship a service that… | ||
| Reasoning about Security of Amazon Web Services | OOPSLA 2018 | 2018-11-07 |
Amazon Web Services adopts formal verification across design and operation, proving distributed key protocols and TLS code, and using Zelkova to check IAM… | ||
| nothing matches | ||