Kyle Dewey

Orcid: 0000-0002-7998-3104

According to our database1, Kyle Dewey authored at least 15 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Modeling the Effect of Vegetation Coverage on Unmanned Aerial Vehicles-Based Object Detection: A Study in the Minefield Environment.
Remote. Sens., June, 2024

2023
Aliasing Limits on Translating C to Safe Rust.
Proc. ACM Program. Lang., April, 2023

2021
Translating C to safer Rust.
Proc. ACM Program. Lang., 2021

2020
A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020

MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019
Syntax-based Improvements to Plagiarism Detectors and their Evaluations.
Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, 2019

Bouncer: static program analysis in hardware.
Proceedings of the 46th International Symposium on Computer Architecture, 2019

2017
Automated Black Box Generation of Structured Inputs for Use in Software Testing.
PhD thesis, 2017

Evaluating Test Suite Effectiveness and Assessing Student Code via Constraint Logic Programming.
Proceedings of the 2017 ACM Conference on Innovation and Technology in Computer Science Education, 2017

2015
Fuzzing the Rust Typechecker Using CLP (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Automated Data Structure Generation: Refuting Common Wisdom.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

A parallel abstract interpreter for JavaScript.
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.
CoRR, 2014

JSAI: a static analysis platform for JavaScript.
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.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014


  Loading...