Person. Hayley LeBlanc University of Texas at Austin · cs.utexas.edu/~hleblanc · 0000-0003-3680-496X Papers Verus: A Practical Foundation for Systems Verification lattuada-2024-verusSOSP · 2024 DOI