Kevin Kolyakov

According to our database, Kevin Kolyakov authored at least 2 papers between 2025 and 2026.

Collaborative distances:

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

2026

AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification.

Paschal C. Amusuo, Ricardo Andrés Calvo Méndez, Dharun Anandayuvaraj, Taylor Le Lievre, Kevin Kolyakov, Elijah Jorgensen, Aravind Machiry, James C. Davis

CoRR, May, 2026

2025

LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements.

Kevin Kolyakov, Lina Marsso, Nick Feng, Junwei Quan, Marsha Chechik

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