Travelled to:1 × Denmark
1 × USA
Collaborated with:∅ A.Tomb K.Carter A.Foltzer J.Hendrix A.Chudnov N.Collins B.Cook J.Dodds C.MacCárthaigh S.Magill E.Mertens E.Mullen S.Tasiran E.Westbrook
Talks about:formal (2) verif (2) workbench (1) transform (1) softwar (1) continu (1) analysi (1) amazon (1) monad (1) saw (1)
Person: Brian Huffman
DBLP: Huffman:Brian
Contributed to:
2013
2012
2018Wrote 3 papers:
- HILT-2013-CarterFHHT #analysis #named
- SAW: the software analysis workbench (KC, AF, JH, BH, AT), pp. 15–18.
- ICFP-2012-Huffman #monad #verification
- Formal verification of monad transformers (BH), pp. 15–16.
- CAV-2018-ChudnovCCDHMMMM #verification
- Continuous Formal Verification of Amazon s2n (AC, NC, BC, JD, BH, CM, SM, EM, EM, ST, AT, EW), pp. 430–446.