Ricardo Andrés Calvo Méndez

According to our database, Ricardo Andrés Calvo Méndez authored at least 4 papers between 2023 and 2026.

Collaborative distances:

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

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

How Do Agents Perform Code Optimization? An Empirical Study.

Huiyun Peng, Antonio Zhong, Ricardo Andrés Calvo Méndez, Kelechi G. Kalu, James C. Davis

CoRR, December, 2025

FalseCrashReducer: Mitigating False Positive Crashes in OSS-Fuzz-Gen Using Agentic AI.

Paschal C. Amusuo, Dongge Liu, Ricardo Andrés Calvo Méndez, Jonathan Metzman, Oliver Chang, James C. Davis

CoRR, October, 2025

2023

Systematically Detecting Packet Validation Vulnerabilities in Embedded Network Stacks.

Paschal C. Amusuo, Ricardo Andrés Calvo Méndez, Zhongwei Xu, Aravind Machiry, James C. Davis

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023