Brian Huffman

According to our database1, Brian Huffman authored at least 18 papers between 2005 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Verified Cryptographic Code for Everybody.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020
Formal Verification of Flow Equivalence in Desynchronized Designs.
Proceedings of the 26th IEEE International Symposium on Asynchronous Circuits and Systems, 2020

2018
Continuous Formal Verification of Amazon s2n.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
HOLCF-Prelude.
Arch. Formal Proofs, 2017

2016
Constructing Semantic Models of Programs with the Software Analysis Workbench.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

2013
Certified HLints with Isabelle/HOLCF-Prelude.
CoRR, 2013

SAW: the software analysis workbench.
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

Ordinals in HOL: Transfinite Arithmetic up to (and Beyond) ω 1.
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

Type Classes and Filters for Mathematical Analysis in Isabelle/HOL.
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL.
Proceedings of the Certified Programs and Proofs - Third International Conference, 2013

2012
Type Constructor Classes and Monad Transformers.
Arch. Formal Proofs, 2012

Formal verification of monad transformers.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2010
Free Boolean Algebra.
Arch. Formal Proofs, 2010

A New Foundation for Nominal Isabelle.
Proceedings of the Interactive Theorem Proving, First International Conference, 2010

2009
Stream Fusion.
Arch. Formal Proofs, 2009

A Purely Definitional Universal Domain.
Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

2005
Countable Ordinals.
Arch. Formal Proofs, 2005

Axiomatic Constructor Classes in Isabelle/HOLCF.
Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005


  Loading...