Faculty

Institution

Unit

Venue

Dewey, Kyle

California State University--Northridge

Affiliations

College of Engineering and Computer Science

Andrew J. Anagnost College Of Engineering And Computer Science

School Of Engineering And Computer Science

NoneDewey, Kyle is currently serving as a Andrew J. Anagnost College Of Engineering And Computer Science faculty at California State University--Northridge.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Dewey, Kyle

California State University--Northridge

You can click a keyword to filter the displayed items

computer science software engineering programming languages software testing software design formal methods software analysis programming language theory fuzzing computer engineering natural language processing machine learning verification static program analysis linguistics behavioral sciences program evaluation behavioral decision making fuzzy systems fuzzy logic automated reasoning system science system software software maintenance design automation programming language design benchmark studies testing technique test data generation computational testing system specification abstraction (computer science) dependently typed programming type systems static checking compiler technology syntax-based improvements preliminary study fuzzer appeal principled measure systems programming language mutation-based fuzzing mutation-based fuzzer

Notable Scholarly Works

Notable Federal Grants

Collaborators

Mutation-Based Fuzzer for the Swift Compiler. Science of Computer Programming (2026)

formal methodsstatic program analysissoftware testingprogramming languagesfuzzingsoftware analysisdesign automationsoftware maintenancecomputer engineeringcompiler technologysoftware engineeringmutation-based fuzzerprogram analysis

Mutation-Based Fuzzing of the Swift Compiler With Incomplete Type Information. (2025)

formal methodsstatic program analysissoftware testingprogramming languagesstatic checkingfuzzingsoftware analysisformal verificationdependently typed programmingmutation-based fuzzingsoftware engineeringtype systemsverificationprogram analysis

Aliasing Limits on Translating C to Safe Rust. Proceedings of the ACM on Programming Languages (2023)

Mehmet EmrePeter BoylandAesha ParekhRyan SchroederKyle DeweyBen Hardekopf

computer scienceprogramming languagesprogramming language theorysoftware designnatural language processingsoftware engineering

Towards a Systems Programming Language Designed for Hierarchical State Machines. (2021)

computer sciencesystems engineeringsystem specificationprogramming languagessystem scienceabstraction (computer science)systems programming languageprogramming language theorysoftware designsystem softwaresoftware engineeringformal methods

Translating C to Safer Rust. Proceedings of the ACM on Programming Languages (2021)

Mehmet EmreRyan SchroederKyle DeweyBen Hardekopf

computer scienceprogramming languagesprogramming language designprogramming language theorysoftware designnatural language processingsoftware engineering

A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study. (2020)

Miroslav GavrilovKyle DeweyAlex GroceDavina ZamanzadehBen Hardekopf

computer sciencefuzzy logicbehavioral decision makingbenchmark studiespreliminary studysoftware testingfuzzy systemsfuzzer appealprincipled measurefuzzingbehavioral sciencesmachine learning

MIMIS: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators. (2020)

computer sciencetesting techniquetest data generationsoftware testingsoftware analysiscomputational testingcomputer engineeringautomated reasoningverification

Syntax-Based Improvements to Plagiarism Detectors and Their Evaluations. (2019)

Lawton NicholsKyle DeweyMehmet EmreSitao ChenBen Hardekopf

syntax-based improvementsprogram evaluationlinguisticsmachine learning

1
10 / page

Dewey, Kyle

California State University--Northridge

Affiliations

College of Engineering and Computer Science

Andrew J. Anagnost College Of Engineering And Computer Science

School Of Engineering And Computer Science

NoneDewey, Kyle is currently serving as a Andrew J. Anagnost College Of Engineering And Computer Science faculty at California State University--Northridge.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Dewey, Kyle

California State University--Northridge

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Mutation-Based Fuzzer for the Swift Compiler. Science of Computer Programming (2026)

Mutation-Based Fuzzing of the Swift Compiler With Incomplete Type Information. (2025)

Aliasing Limits on Translating C to Safe Rust. Proceedings of the ACM on Programming Languages (2023)

Mehmet EmrePeter BoylandAesha ParekhRyan SchroederKyle DeweyBen Hardekopf

computer scienceprogramming languagesprogramming language theorysoftware designnatural language processingsoftware engineering

Towards a Systems Programming Language Designed for Hierarchical State Machines. (2021)

Translating C to Safer Rust. Proceedings of the ACM on Programming Languages (2021)

Mehmet EmreRyan SchroederKyle DeweyBen Hardekopf

computer scienceprogramming languagesprogramming language designprogramming language theorysoftware designnatural language processingsoftware engineering

A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study. (2020)

Miroslav GavrilovKyle DeweyAlex GroceDavina ZamanzadehBen Hardekopf

computer sciencefuzzy logicbehavioral decision makingbenchmark studiespreliminary studysoftware testingfuzzy systemsfuzzer appealprincipled measurefuzzingbehavioral sciencesmachine learning

MIMIS: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators. (2020)

computer sciencetesting techniquetest data generationsoftware testingsoftware analysiscomputational testingcomputer engineeringautomated reasoningverification

Syntax-Based Improvements to Plagiarism Detectors and Their Evaluations. (2019)

Lawton NicholsKyle DeweyMehmet EmreSitao ChenBen Hardekopf

syntax-based improvementsprogram evaluationlinguisticsmachine learning

1
10 / page