Lawton Nichols

According to our database, Lawton Nichols authored at least 8 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Safe functional systems through integrity types and verified assembly.

Michael Christensen, Joseph McMahan, Lawton Nichols, Jared Roesch, Timothy Sherwood, Ben Hardekopf

Theor. Comput. Sci., 2021

2020

Program Similarity Techniques and Applications.

Lawton Nichols

PhD thesis, 2020

2019

Fixpoint reuse for incremental JavaScript analysis.

Lawton Nichols, Mehmet Emre, Ben Hardekopf

Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2019

Syntax-based Improvements to Plagiarism Detectors and their Evaluations.

Lawton Nichols, Kyle Dewey, Mehmet Emre, Sitao Chen, Ben Hardekopf

Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, 2019

Structural and Nominal Cross-Language Clone Detection.

Lawton Nichols, Mehmet Emre, Ben Hardekopf

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

An Architecture for Analysis.

Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood

IEEE Micro, 2018

2017

An Architecture Supporting Formal and Compositional Binary Analysis.

Joseph McMahan, Michael Christensen, Lawton Nichols, Jared Roesch, Sung-Yee Guo, Ben Hardekopf, Timothy Sherwood

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2015

Automated Data Structure Generation: Refuting Common Wisdom.

Kyle Dewey, Lawton Nichols, Ben Hardekopf

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015