A Verified LL(1) Parser Generator. - Sam Lasser; Chris Casinghino; Kathleen Fisher; Cody Roux (ITP, 2019)

CoStar: a verified ALL(*) parser. - Sam Lasser; Chris Casinghino; Kathleen Fisher; Cody Roux (PLDI, 2021)

Verbatim: A Verified Lexer Generator. - Derek Egolf; Sam Lasser; Kathleen Fisher (SP (Workshops), 2021)

Verbatim++: verified, optimized, and semantically rich lexing with derivatives. - Derek Egolf; Sam Lasser; Kathleen Fisher (CPP, 2022)

Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation. - Sam Lasser; Chris Casinghino; Derek Egolf; Kathleen Fisher; Cody Roux (NFM, 2023)

cozy: Comparative Symbolic Execution for Binary Programs. - Caleb Helbling; Graham Leach-Krouse; Sam Lasser; Greg Sullivan (CoRR, 2025)