Travelled to:1 × India
1 × Italy
1 × USA
Collaborated with:T.Avgerinos Y.Fu Z.Lin A.Rebert S.K.Cha I.Jager E.J.Schwartz A.Reynolds M.Woo C.W.Barrett T.Liang C.Tinelli
Talks about:analysi (2) binari (2) veritest (1) platform (1) simplif (1) pointer (1) express (1) context (1) automat (1) symbol (1)
Person: David Brumley
DBLP: Brumley:David
Contributed to:
2015
2014
20112017Wrote 4 papers:
- ESEC-FSE-2015-FuLB #analysis #automation #memory dump #memory management #pointer
- Automatically deriving pointer reference expressions from binary code for memory dump analysis (YF, ZL, DB), pp. 614–624.
- ICSE-2014-AvgerinosRCB #execution #symbolic computation
- Enhancing symbolic execution with veritesting (TA, AR, SKC, DB), pp. 1083–1094.
- CAV-2011-BrumleyJAS #analysis #framework #named #platform
- BAP: A Binary Analysis Platform (DB, IJ, TA, EJS), pp. 463–469.
- CAV-2017-ReynoldsWBBLT #scalability #string #using
- Scaling Up DPLL(T) String Solvers Using Context-Dependent Simplification (AR, MW, CWB, DB, TL, CT), pp. 453–474.