Travelled to:1 × Germany
Collaborated with:Daryl Zuniga Z.Tatlock D.Grossman J.Blevins A.Kearney E.Myers-Stanhope E.Sweedyk A.Chudnov N.Collins B.Cook J.Dodds B.Huffman C.MacCárthaigh S.Magill E.Mertens S.Tasiran A.Tomb E.Westbrook
Talks about:peephol (1) continu (1) verifi (1) formal (1) amazon (1) verif (1) optim (1) muddi (1) hill (1) game (1)
Person: Eric Mullen
DBLP: Mullen:Eric
Contributed to:
2011
2018
2016Wrote 3 papers:
- ITiCSE-2011-BlevinsKMMS #game studies
- Muddy hill games (JB, AK, EM, EMS, ES), p. 395.
- 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.
- PLDI-2016-MullenZTG #optimisation
- Verified peephole optimizations for CompCert (EM, DZ, ZT, DG), pp. 448–461.