Sam Lasser

According to our database, Sam Lasser authored at least 5 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation.

Sam Lasser, Chris Casinghino, Derek Egolf, Kathleen Fisher, Cody Roux

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022

Verbatim++: verified, optimized, and semantically rich lexing with derivatives.

Derek Egolf, Sam Lasser, Kathleen Fisher

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2021

Verbatim: A Verified Lexer Generator.

Derek Egolf, Sam Lasser, Kathleen Fisher

Proceedings of the IEEE Security and Privacy Workshops, 2021

CoStar: a verified ALL(*) parser.

Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2019

A Verified LL(1) Parser Generator.

Sam Lasser, Chris Casinghino, Kathleen Fisher, Cody Roux

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019