Taylor Le Lievre -

Not registered as user

Name:Taylor Le Lievre

Affiliation:Purdue University

Contributions

2026

ICSE

Author of Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification within the Research Track-track

2025

ICSE

Author of A Unit Proofing Framework for Code-level Verification: A Research Agenda within the New Ideas and Emerging Results (NIER)-track