Chris Hughes
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Bob Lordonce
- Leo Stefanescoonce
- Lindsey Cerkovnikonce
all 7 in the filters
who talks about the same things
- Siddharth Bhat4 talks
- Bob Lord9 talks
- Leo Stefanesco6 talks
- Joshua Clune3 talks
- Sandy Radesky2 talks
- Lindsey Cerkovnik8 talks
| title | conference | date |
|---|---|---|
| Certified Decision Procedures for Width-Independent Bitvector Predicates | OOPSLA 2025 | 2025-10-16 |
Mechanized, executable decision procedures in Lean for width-independent bitvectors that formalize k-induction, automata reachability, emptiness checking and… | ||
| What It Takes to Lead America’s Vulnerability Management Team | CVE/FIRST VulnCon 2024 & Annual CNA Summit | 2024-03-25 |
CISA outlines concrete changes: it stood up a Security‑by‑Design team and a Cyber Resilience team, runs a Rapid Action Force that tests mitigations, publishes… | ||
| nothing matches | ||