Eric Mullen
发表
Brian Huffman,
Serdar Tasiran,
Byron Cook,
2018,
CAV.
Dan Grossman,
Zachary Tatlock,
Eric Mullen,
2016,
PLDI.