Kyle Dewey's Homepage
Who am I?
I am an Associate Professor of Computer Science at California State University, Northridge.
I am head of the TAV-LAB, and a Co-I of the ARCS Center.
Contacting Me
Email: kyle dot dewey at csun dot edu
Office: JD 4419
Office Hours:
- Monday, Wednesday: 10:00 AM - 11:15 AM (JD 4419)
- Monday, Wednesday: 1:00 PM - 2:15 PM (JD 4419)
- Also available by appointment
Degrees
Current Courses Taught
Research
Interests: Automated software testing, programming language design and implementation, logic programming, and Computer Science education.
I am heading the “Model Based Programming Languages” project at ARCS.
Publications
-
Aliasing Limits on Translating C to Safe Rust
Mehmet Emre, Peter Boyland, Aesha Parekh, Ryan Schroeder, Kyle Dewey, and Ben Hardekopf
Object-oriented Programming, Systems, Languages, and Applications (OOPSLA), 2023
-
Algorithms and Data Structures in Python (liveProject series)
Kyle Dewey
Manning Publications, 2022
-
Translating C to Safer Rust
Mehmet Emre, Ryan Schroeder, Kyle Dewey, Ben Hardekopf
Object-oriented Programming, Systems, Languages, and Applications (OOPSLA), 2021
-
Towards a Systems Programming Language Designed for Hierarchical State Machines
Brian McClelland, Daniel Tellier, Meyer Millman, Kate Beatrix Go, Alice Balayan, Michael J Munje, Kyle Dewey, Nhut Ho, Klaus Havelund, Michel Ingham
International Conference on Space Mission Challenges for Information Technology (SMC-IT), 2021
-
A Practical, Principled Measure of Fuzzer Appeal: A Preliminary Study
Miroslav Gavrilov, Kyle Dewey, Alex Groce, Davina Zamanzadeh, Ben Hardekopf
International Conference on Software Quality, Reliability, and Security (QRS), 2020
-
MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators
Kyle Dewey, Shant Hairapetian, Miroslav Gavrilov
International Conference on Software Testing, Verification and Validation (ICST), 2020
-
Bouncer: Static Program Analysis in Hardware
Joseph McMahan, Michael Christensen, Kyle Dewey, Ben Hardekopf, Timothy Sherwood
International Symposium on Computer Architecture (ISCA), 2019
-
Syntax-based Improvements to Plagiarism Detectors and their Evaluations
Lawton Nichols, Kyle Dewey, Mehmet Emre, Sitao Chen and Ben Hardekopf
Conference on Innovation and Technology in Computer Science Education (ITiCSE), 2019
-
Evaluating Test Suite Effectiveness and Assessing Student Code via Constraint Logic Programming
Kyle Dewey, Phill Conrad, Michelle Craig, Elena Morozova
Conference on Innovation and Technology in Computer Science Education (ITiCSE), 2017
-
Fuzzing the Rust Typechecker Using CLP
Kyle Dewey, Jared Roesch, and Ben Hardekopf
Conference on Automated Software Engineering (ASE), 2015
-
Automated Data Structure Generation: Refuting Common Wisdom
Kyle Dewey, Lawton Nichols, and Ben Hardekopf
International Conference on Software Engineering (ICSE), 2015
-
A Parallel Abstract Interpreter for JavaScript
Kyle Dewey, Vineeth Kashyap, and Ben Hardekopf
Symposium on Code Generation and Optimization (CGO), 2015
-
Language Fuzzing Using Constraint Logic Programming
Kyle Dewey, Jared Roesch, and Ben Hardekopf
Conference on Automated Software Engineering (ASE), 2014
-
JSAI: A Static Analysis Platform for JavaScript
Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner, John Wagner, Kevin Gibbons, John Sarracino, Ben Wiedermann, and Ben Hardekopf
Symposium on Foundations of Software Engineering (FSE), 2014
Past Courses Taught
Past TA Work
Other Contact Information