Kevin Guan

According to our database, Kevin Guan authored at least 6 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Dependency Parsing Across the Resource Spectrum: Evaluating Architectures on High and Low-Resource Languages.

Kevin Guan, Happy Buzaaba, Christiane Fellbaum

CoRR, May, 2026

2025

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation.

Zhuohang Shen, Mohammed Yaseen, Denini Silva, Kevin Guan, Junho Lee, Marcelo d'Amorim, Owolabi Legunsen

CoRR, September, 2025

Faster Explicit-Trace Monitoring-Oriented Programming for Runtime Verification of Software Tests.

Kevin Guan, Marcelo d'Amorim, Owolabi Legunsen

Proc. ACM Program. Lang., 2025

TraceMOP: An Explicit-Trace Runtime Verification Tool for Java.

Kevin Guan, Owolabi Legunsen

Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025

Instrumentation-Driven Evolution-Aware Runtime Verification.

Kevin Guan, Owolabi Legunsen

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering, 2025

2024

An In-Depth Study of Runtime Verification Overheads during Software Testing.

Kevin Guan, Owolabi Legunsen

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024