Kyle Dewey

According to our database, Kyle Dewey authored at least 14 papers between 2014 and 2023.

Collaborative distances:

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

2023

Aliasing Limits on Translating C to Safe Rust.

Mehmet Emre, Peter Boyland, Aesha Parekh, Ryan Schroeder, Kyle Dewey, Ben Hardekopf

Proc. ACM Program. Lang., April, 2023

2021

Translating C to safer Rust.

Mehmet Emre, Ryan Schroeder, Kyle Dewey, Ben Hardekopf

Proc. ACM Program. Lang., 2021

2020

A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study.

Miroslav Gavrilov, Kyle Dewey, Alex Groce, Davina Zamanzadeh, Ben Hardekopf

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators.

Kyle Dewey, Shant Hairapetian, Miroslav Gavrilov

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

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

Bouncer: static program analysis in hardware.

Joseph McMahan, Michael Christensen, Kyle Dewey, Ben Hardekopf, Timothy Sherwood

Proceedings of the 46th International Symposium on Computer Architecture, 2019

2017

Automated Black Box Generation of Structured Inputs for Use in Software Testing.

Kyle Thomas Dewey

PhD thesis, 2017

Evaluating Test Suite Effectiveness and Assessing Student Code via Constraint Logic Programming.

Kyle Dewey, Phillip T. Conrad, Michelle Craig, Elena Morozova

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

2015

Fuzzing the Rust Typechecker Using CLP (T).

Kyle Dewey, Jared Roesch, Ben Hardekopf

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 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

A parallel abstract interpreter for JavaScript.

Kyle Dewey, Vineeth Kashyap, Ben Hardekopf

Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2015

2014

JSAI: Designing a Sound, Configurable, and Efficient Static Analyzer for JavaScript.

Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf

CoRR, 2014

JSAI: a static analysis platform for JavaScript.

Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Language fuzzing using constraint logic programming.

Kyle Dewey, Jared Roesch, Ben Hardekopf

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014