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)

Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms. - Derek Egolf; Stavros Tripakis (ATVA (1), 2023)

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

Decoupled Fitness Criteria for Reactive Systems. - Derek Egolf; Stavros Tripakis (SEFM, 2023)

Efficient Synthesis of Symbolic Distributed Protocols by Sketching. - Derek Egolf; William Schultz; Stavros Tripakis (FMCAD, 2024)

Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction. - Derek Egolf; Stavros Tripakis (TACAS (2), 2025)