Brian Huffman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2010–2025
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | $\mathbf{{\textsc {PyCaliper}}}$: Python-Embedded Infrastructure for RTL Verification and Specification Synthesis. | Adwait Godbole, Brian Huffman, Fangfei Liu, Carlos V. Rozas, Sanjit A. Seshia |
| 2021 | CAV | Verified Cryptographic Code for Everybody. | Brett Boston, Samuel Breese, Joey Dodds, Mike Dodds, Brian Huffman, Adam Petcher, Andrei Stefanescu |
| 2018 | CAV | Continuous Formal Verification of Amazon s2n. | Andrey Chudnov, Nathan Collins, Byron Cook, Joey Dodds, Brian Huffman, Colm MacCrthaigh, Stephen Magill, Eric Mertens, Eric Mullen, Serdar Tasiran, Aaron Tomb, Eddy Westbrook |
| 2013 | CPP | Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL. | Brian Huffman, Ondrej Kuncar |
| 2013 | ITP | Type Classes and Filters for Mathematical Analysis in Isabelle/HOL. | Johannes Hlzl, Fabian Immler, Brian Huffman |
| 2013 | ITP | Ordinals in HOL: Transfinite Arithmetic up to (and Beyond) ω 1. | Michael Norrish, Brian Huffman |
| 2012 | ICFP | Formal verification of monad transformers. | Brian Huffman |
| 2010 | ITP | A New Foundation for Nominal Isabelle. | Brian Huffman, Christian Urban |