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

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)
pages: to appear, 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