Travelled to:
1 × China
1 × Italy
1 × Sweden
1 × USA
Collaborated with:
B.Hardekopf J.Roesch V.Kashyap L.Nichols E.A.Kuefner J.Wagner K.Gibbons J.Sarracino B.Wiedermann
Talks about:
javascript (2) fuzz (2) use (2) constraint (1) typecheck (1) interpret (1) structur (1) platform (1) parallel (1) abstract (1)
Person: Kyle Dewey
DBLP: Dewey:Kyle
Contributed to:
Wrote 5 papers:
- CGO-2015-DeweyKH #interpreter #javascript #parallel
- A parallel abstract interpreter for JavaScript (KD, VK, BH), pp. 34–45.
- ICSE-v1-2015-DeweyNH #automation #data type #generative
- Automated Data Structure Generation: Refuting Common Wisdom (KD, LN, BH), pp. 32–43.
- ASE-2014-DeweyRH #constraints #fuzzing #logic programming #using
- Language fuzzing using constraint logic programming (KD, JR, BH), pp. 725–730.
- FSE-2014-KashyapDKWGSWH #framework #javascript #named #platform #static analysis
- JSAI: a static analysis platform for JavaScript (VK, KD, EAK, JW, KG, JS, BW, BH), pp. 121–132.
- ASE-2015-DeweyRH #fuzzing #rust #using
- Fuzzing the Rust Typechecker Using CLP (T) (KD, JR, BH), pp. 482–493.