Travelled to:1 × Hungary
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:T.W.Reps A.V.Thakur A.Burton D.Gopan D.Nguyen D.Naydich A.Loginov D.Melski J.Lim A.Lal M.Elder T.Andersen
Talks about:discoveri (1) automaton (1) softwar (1) overrun (1) librari (1) generat (1) conform (1) produc (1) machin (1) direct (1)
Person: Evan Driscoll
DBLP: Driscoll:Evan
Contributed to:
2015
2012
20112010Wrote 4 papers:
- ICSE-v1-2015-GopanDNNLM
- Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery (DG, ED, DN, DN, AL, DM), pp. 145–155.
- CAV-2012-DriscollTR #automaton #library #named
- OpenNWA: A Nested-Word Automaton Library (ED, AVT, TWR), pp. 665–671.
- ESEC-FSE-2011-DriscollBR #consistency
- Checking conformance of a producer and a consumer (ED, AB, TWR), pp. 113–123.
- CAV-2010-ThakurLLBDEAR #generative #proving
- Directed Proof Generation for Machine Code (AVT, JL, AL, AB, ED, ME, TA, TWR), pp. 288–305.