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

• Ph.D. in Computer Science, Awarded by the University of California, Santa Barbara in 2017
• Master of Science in Bioinformatics, Awarded by the Rochester Institute of Technology in 2011
• Bachelor of Science in Bioinformatics with a Minor in Computer Science, Awarded by the Rochester Institute of Technology in 2011

Current Courses Taught

• Concepts of Programming Languages (COMP 333)
• Logic Programming (COMP 410)

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

• Concepts of Programming Languages (CSUN COMP 333) (Summer 2024)
• Logic Programming (CSUN COMP 410) (Summer 2024)
• Concepts of Programming Languages (CSUN COMP 333) (Spring 2024)
• Language Design and Compilers (CSUN COMP 430) (Spring 2024)
• Introduction to Algorithms and Programming with Lab - Lab Only (CSUN COMP 110L) (Fall 2023)
• Concepts of Programming Languages (CSUN COMP 333) (Fall 2023)
• Logic Programming (CSUN COMP 410) (Fall 2023)
• Computer Architecture and Assembly Language (CSUN COMP 122/L) (Summer 2023)
• Language Design and Compilers (CSUN COMP 430) (Spring 2023)
• Introduction to Algorithms and Programming with Lab (COMP 110/L) (Fall 2022)
• Logic Programming (COMP 410) (Fall 2022)
• Computer Architecture and Assembly Language (CSUN COMP 122/L) (Summer 2022)
• Concepts of Programming Languages (CSUN COMP 333) (Summer 2022)
• Language Design and Compilers (CSUN COMP 430) (Spring 2022)
• Concepts of Programming Languages (CSUN COMP 333) (Fall 2021)
• Logic Programming (CSUN COMP 410) (Fall 2021)
• Concepts of Programming Languages (CSUN COMP 333) (Summer 2021)
• Concepts of Programming Languages (CSUN COMP 333) (Spring 2021)
• Concepts of Programming Languages (CSUN COMP 333) (Fall 2020)
• Logic Programming (CSUN COMP 410) (Fall 2020)
• Language Design and Compilers (CSUN COMP 430) (Spring 2020)
• Software Verification and Validation (CSUN COMP 587) (Spring 2020)
• Concepts of Programming Languages (CSUN COMP 333) (Fall 2019)
• Logic Programming (CSUN COMP 410) (Fall 2019)
• Senior Design Lab (CSUN COMP 491L) (Spring 2019)
• Language Design and Compilers (CSUN COMP 430) (Spring 2019)
• Senior Design Project (CSUN COMP 490/L) (Fall 2018)
• Software Verification and Validation (CSUN COMP 587) (Fall 2018)
• Introduction to Algorithms and Programming with Lab (CSUN COMP 110/L) (Spring 2018)
• Logic Programming (CSUN COMP 410) (Spring 2018)
• Introduction to Algorithms and Programming with Lab (CSUN COMP 110/L) (Fall 2017)
• Computer Architecture and Assembly Language (CSUN COMP 122/L) (Fall 2017)
• Programming Languages (UCSB CS162) (Spring 2017)
• Programming Languages (UCSB CS162) (Winter 2017)
• Computer Organization and Design Logic (UCSB CS64) (Winter 2016)
• Computer Organization and Design Logic (UCSB CS64) (Fall 2015)
• Programming Languages (UCSB CS162) (Winter 2015)
• Problem Solving with Computers II (UCSB CS24) (Summer 2014, Session C)
• Problem Solving with Computers I (UCSB CS16) (Summer 2012, Session C)

Past TA Work

• Programming Languages (UCSB CS162) (Spring 2014)
• Programming Languages (UCSB CS162) (Winter 2014)
• Programming Langauges (UCSB CS162) (Spring 2013)
• Programming Languages (UCSB CS162) (Winter 2013)
• Capstone Project (CS189B) (UCSB Spring 2012)
• Capstone Project (CS189A) (UCSB Winter 2012)
• Operating Systems (CS170) (UCSB Fall 2011)

Other Contact Information

• Github: kyledewey