Kyle Dewey

16 papers A* 3A 3B 2C 1Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Mutation-based fuzzer for the swift compiler.
Sci. Comput. Program.
Sarah Canto Hyatt, Kyle Dewey
2025 A conf
Mutation-Based Fuzzing of the Swift Compiler with Incomplete Type Information.
ICST
Sarah Canto Hyatt, Kyle Dewey
2024 J jnl
Modeling the Effect of Vegetation Coverage on Unmanned Aerial Vehicles-Based Object Detection: A Study in the Minefield Environment.
Remote. Sens.
Jasper Baur, Kyle Dewey, Gabriel Steinberg, Frank O. Nitsche
2023 J jnl
Aliasing Limits on Translating C to Safe Rust.
Proc. ACM Program. Lang.
Mehmet Emre, Peter Boyland, Aesha Parekh, Ryan Schroeder, Kyle Dewey, Ben Hardekopf
2021 J jnl
Translating C to safer Rust.
Proc. ACM Program. Lang.
Mehmet Emre, Ryan Schroeder, Kyle Dewey, Ben Hardekopf
2020 C conf
A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study.
QRS
Miroslav Gavrilov, Kyle Dewey, Alex Groce, Davina Zamanzadeh, Ben Hardekopf
2020 A conf
MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators.
ICST
Kyle Dewey, Shant Hairapetian, Miroslav Gavrilov
2019 A* conf
Bouncer: static program analysis in hardware.
ISCA
Joseph McMahan, Michael Christensen, Kyle Dewey, Ben Hardekopf, Timothy Sherwood
2019 B conf
Syntax-based Improvements to Plagiarism Detectors and their Evaluations.
ITiCSE
Lawton Nichols, Kyle Dewey, Mehmet Emre, Sitao Chen, Ben Hardekopf
2017 B conf
Evaluating Test Suite Effectiveness and Assessing Student Code via Constraint Logic Programming.
ITiCSE
Kyle Dewey, Phillip T. Conrad, Michelle Craig, Elena Morozova
2015 A conf
A parallel abstract interpreter for JavaScript.
CGO
Kyle Dewey, Vineeth Kashyap, Ben Hardekopf
2015 — conf
Automated Data Structure Generation: Refuting Common Wisdom.
ICSE (1)
Kyle Dewey, Lawton Nichols, Ben Hardekopf
2015 A* conf
Fuzzing the Rust Typechecker Using CLP (T).
ASE
Kyle Dewey, Jared Roesch, Ben Hardekopf
2014 J jnl
JSAI: Designing a Sound, Configurable, and Efficient Static Analyzer for JavaScript.
CoRR
Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf
2014 — conf
JSAI: a static analysis platform for JavaScript.
SIGSOFT FSE
Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, Ben Hardekopf
2014 A* conf
Language fuzzing using constraint logic programming.
ASE
Kyle Dewey, Jared Roesch, Ben Hardekopf