Taylor Le Lievre

According to our database, Taylor Le Lievre authored at least 5 papers between 2024 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

Supporting Medicinal Chemists in Iterative Hypothesis Generation for Drug Target Identification.

Youngseung Jeon, Christopher Hwang, Ziwen Li, Taylor Le Lievre, Jesus J. Campagna, Cohn Whitaker, Varghese John, Eunice Jun, Xiang Anthony Chen

CoRR, December, 2025

Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification.

Paschal C. Amusuo, Owen Cochell, Taylor Le Lievre, Parth V. Patil, Aravind Machiry, James C. Davis

CoRR, March, 2025

A Unit Proofing Framework for Code-level Verification: A Research Agenda.

Paschal C. Amusuo, Parth V. Patil, Owen Cochell, Taylor Le Lievre, James C. Davis

Proceedings of the 47th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results, ICSE 2025 - NIER, Ottawa, ON, Canada, April 27, 2025

2024

Enabling Unit Proofing for Software Implementation Verification.

Paschal C. Amusuo, Parth V. Patil, Owen Cochell, Taylor Le Lievre, James C. Davis

CoRR, 2024