Travelled to:
1 × Italy
Collaborated with:
B.Hardekopf K.Dewey M.Emre Joseph McMahan M.Christensen J.Roesch Sung-Yee Guo T.Sherwood
Talks about:
structur (2) architectur (1) composit (1) support (1) languag (1) generat (1) analysi (1) wisdom (1) formal (1) detect (1)
Person: Lawton Nichols
DBLP: Nichols:Lawton
Contributed to:
Wrote 3 papers:
- ICSE-v1-2015-DeweyNH #automation #data type #generative
- Automated Data Structure Generation: Refuting Common Wisdom (KD, LN, BH), pp. 32–43.
- FASE-2019-NicholsEH #clone detection #detection
- Structural and Nominal Cross-Language Clone Detection (LN, ME, BH), pp. 247–263.
- ASPLOS-2017-McMahanCNRGHS #analysis #architecture #composition
- An Architecture Supporting Formal and Compositional Binary Analysis (JM, MC, LN, JR, SYG, BH, TS), pp. 177–191.