I am a PhD student in Computer Science at Cornell University, advised by Professor Owolabi Legunsen. My research focuses on software testing and runtime verification. Previously, I graduated from UC Davis, where I worked with Professor Cindy Rubio González.

Publications

Instrumentation-Driven Evolution-Aware Runtime Verification

Kevin Guan and Owolabi Legunsen

47th International Conference on Software Engineering (ICSE 2025)
pages: to appear, Ottawa, Canada, April-May 2025

An In-depth Study of Runtime Verification Overheads during Software Testing

Kevin Guan and Owolabi Legunsen

33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024)
Vienna, Austria, September 2024
(This paper won an ACM SIGSOFT Distinguished Paper Award)

ActionsRemaker: Reproducing GitHub Actions

Hao-Nan Zhu, Kevin Guan, Robert M. Furth, and Cindy Rubio-González

45th International Conference on Software Engineering, Tool Demonstrations Track (ICSE Demo 2023)
Melbourne, Australia, May 2023

TutorialS

Teaching

CS 1110: Intro to Computing: Design & Development

Teaching assistant
Spring 2024

CS 5154: Software Testing

Teaching assistant
Fall 2023