Lawton Nichols

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 7

Top Topics

Automated Analysis

Clone Detection

Top Venues

Publications

Michael Christensen, Joseph McMahan, Lawton Nichols, Jared Roesch, Timothy Sherwood, Ben Hardekopf
Safe functional systems through integrity types and verified assembly. Theor. Comput. Sci. 851 (2021)
Lawton Nichols, Mehmet Emre, Ben Hardekopf
Structural and Nominal Cross-Language Clone Detection. FASE (2019)
Lawton Nichols, Mehmet Emre, Ben Hardekopf
Fixpoint reuse for incremental JavaScript analysis. SOAP@PLDI (2019)
Lawton Nichols, Kyle Dewey, Mehmet Emre, Sitao Chen, Ben Hardekopf
Syntax-based Improvements to Plagiarism Detectors and their Evaluations. ITiCSE (2019)
Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood
An Architecture for Analysis. IEEE Micro 38 (3) (2018)
Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood
An Architecture Supporting Formal and Compositional Binary Analysis. ASPLOS (2017)
Kyle Dewey, Lawton Nichols, Ben Hardekopf
Automated Data Structure Generation: Refuting Common Wisdom. ICSE (1) (2015)