Conférence
Symbolic execution with SymCC: Don't interpret, compile!
USENIX Security 2020, 29th USENIX Security Symposium, 12-14 August 2020, Boston, MA, USA (Virtual Conference)
Distinguished Paper Award