Sam Lasser

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 5

Top Topics

Dependency Structure

Dependency Parsing

Natural Language

Top Venues

Publications

Sam Lasser, Chris Casinghino, Derek Egolf, Kathleen Fisher, Cody Roux
Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation. NFM (2023)
Derek Egolf, Sam Lasser, Kathleen Fisher
Verbatim++: verified, optimized, and semantically rich lexing with derivatives. CPP (2022)
Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux
CoStar: a verified ALL(*) parser. PLDI (2021)
Derek Egolf, Sam Lasser, Kathleen Fisher
Verbatim: A Verified Lexer Generator. SP Workshops (2021)
Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux
A Verified LL(1) Parser Generator. ITP (2019)