Kyle Dewey

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 11

Top Topics

Logic Programming

Constraint Logic Programming

Static Analysis

Top Venues

Proc. ACM Program. Lang.

Publications

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