Travelled to:1 × China
1 × USA
Collaborated with:J.Kinder G.Candea V.Kuznetsov D.Babic Y.Chen F.Ivancic T.King M.Kusano C.Lemieux L.Szekeres W.Wang
Talks about:symbol (2) execut (2) interpret (1) prototyp (1) languag (1) generat (1) effici (1) driver (1) state (1) scale (1)
Person: Stefan Bucur
DBLP: Bucur:Stefan
Contributed to:
2014
2012
2019Wrote 3 papers:
- ASPLOS-2014-BucurKC #execution #prototype #symbolic computation
- Prototyping symbolic execution engines for interpreted languages (SB, JK, GC), pp. 239–254.
- PLDI-2012-KuznetsovKBC #execution #performance #symbolic computation
- Efficient state merging in symbolic execution (VK, JK, SB, GC), pp. 193–204.
- ESEC-FSE-2019-BabicBCIKKLSW #generative #named #scalability
- FUDGE: fuzz driver generation at scale (DB, SB, YC, FI, TK, MK, CL, LS, WW), pp. 975–985.