Derek Egolf

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 8

Top Topics

Semantically Rich

Reactive Systems

Top Venues

Publications

Derek Egolf, William Schultz, Stavros Tripakis
Efficient Synthesis of Symbolic Distributed Protocols by Sketching. CoRR (2024)
Sam Lasser, Chris Casinghino, Derek Egolf, Kathleen Fisher, Cody Roux
Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation. NFM (2023)
Derek Egolf, Stavros Tripakis
Decoupled Fitness Criteria for Reactive Systems. SEFM (2023)
Derek Egolf, Stavros Tripakis
Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms. ATVA (1) (2023)
Derek Egolf, Stavros Tripakis
Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms. CoRR (2023)
Derek Egolf, Sam Lasser, Kathleen Fisher
Verbatim++: verified, optimized, and semantically rich lexing with derivatives. CPP (2022)
Derek Egolf, Stavros Tripakis
Decoupled Fitness Criteria for Reactive Systems. CoRR (2022)
Derek Egolf, Sam Lasser, Kathleen Fisher
Verbatim: A Verified Lexer Generator. SP Workshops (2021)