Language fuzzing using constraint logic programming. - Kyle Dewey; Jared Roesch; Ben Hardekopf (ASE, 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 (SIGSOFT FSE, 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)

A parallel abstract interpreter for JavaScript. - Kyle Dewey; Vineeth Kashyap; Ben Hardekopf (CGO, 2015)

Automated Data Structure Generation: Refuting Common Wisdom. - Kyle Dewey; Lawton Nichols; Ben Hardekopf (ICSE (1), 2015)

Fuzzing the Rust Typechecker Using CLP (T). - Kyle Dewey; Jared Roesch; Ben Hardekopf (ASE, 2015)

Evaluating Test Suite Effectiveness and Assessing Student Code via Constraint Logic Programming. - Kyle Dewey; Phillip T. Conrad; Michelle Craig; Elena Morozova (ITiCSE, 2017)

Automated Black Box Generation of Structured Inputs for Use in Software Testing. - Kyle Thomas Dewey (2017)

Bouncer: static program analysis in hardware. - Joseph McMahan; Michael Christensen 001; Kyle Dewey; Ben Hardekopf; Timothy Sherwood (ISCA, 2019)

Syntax-based Improvements to Plagiarism Detectors and their Evaluations. - Lawton Nichols; Kyle Dewey; Mehmet Emre; Sitao Chen; Ben Hardekopf (ITiCSE, 2019)

MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators. - Kyle Dewey; Shant Hairapetian; Miroslav Gavrilov (ICST, 2020)

A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study. - Miroslav Gavrilov; Kyle Dewey; Alex Groce; Davina Zamanzadeh; Ben Hardekopf (QRS, 2020)

Translating C to safer Rust. - Mehmet Emre; Ryan Schroeder; Kyle Dewey; Ben Hardekopf (Proc. ACM Program. Lang., 2021)

Aliasing Limits on Translating C to Safe Rust. - Mehmet Emre; Peter Boyland; Aesha Parekh; Ryan Schroeder; Kyle Dewey; Ben Hardekopf (Proc. ACM Program. Lang., 2023)

Modeling the Effect of Vegetation Coverage on Unmanned Aerial Vehicles-Based Object Detection: A Study in the Minefield Environment. - Jasper Baur; Kyle Dewey; Gabriel Steinberg; Frank O. Nitsche (Remote. Sens., 2024)

Mutation-Based Fuzzing of the Swift Compiler with Incomplete Type Information. - Sarah Canto Hyatt; Kyle Dewey (ICST, 2025)