| 2026 | FLOPS | Breccia: A Functional DSL Compiled to Egglog for Test Input Generation. | Peter Boyland, Sarah Canto Hyatt, Kyle Dewey, Ben Hardekopf |
| 2025 | ICST | Mutation-Based Fuzzing of the Swift Compiler with Incomplete Type Information. | Sarah Canto Hyatt, Kyle Dewey |
| 2020 | ICST | MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators. | Kyle Dewey, Shant Hairapetian, Miroslav Gavrilov |
| 2020 | QRS | A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study. | Miroslav Gavrilov, Kyle Dewey, Alex Groce, Davina Zamanzadeh, Ben Hardekopf |
| 2019 | ISCA | Bouncer: static program analysis in hardware. | Joseph McMahan, Michael Christensen, Kyle Dewey, Ben Hardekopf, Timothy Sherwood |
| 2019 | ITiCSE | Syntax-based Improvements to Plagiarism Detectors and their Evaluations. | Lawton Nichols, Kyle Dewey, Mehmet Emre, Sitao Chen, Ben Hardekopf |
| 2017 | ITiCSE | Evaluating Test Suite Effectiveness and Assessing Student Code via Constraint Logic Programming. | Kyle Dewey, Phillip T. Conrad, Michelle Craig, Elena Morozova |
| 2015 | CGO | A parallel abstract interpreter for JavaScript. | Kyle Dewey, Vineeth Kashyap, Ben Hardekopf |
| 2015 | ICSE | Automated Data Structure Generation: Refuting Common Wisdom. | Kyle Dewey, Lawton Nichols, Ben Hardekopf |