Sam Lasser
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2019–2022
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CPP | Verbatim++: verified, optimized, and semantically rich lexing with derivatives. | Derek Egolf, Sam Lasser, Kathleen Fisher |
| 2021 | PLDI | CoStar: a verified ALL(*) parser. | Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux |
| 2021 | SP | Verbatim: A Verified Lexer Generator. | Derek Egolf, Sam Lasser, Kathleen Fisher |
| 2019 | ITP | A Verified LL(1) Parser Generator. | Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux |