Derek Egolf
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | TACAS | Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction. | Derek Egolf, Stavros Tripakis |
| 2024 | FMCAD | Efficient Synthesis of Symbolic Distributed Protocols by Sketching. | Derek Egolf, William Schultz, Stavros Tripakis |
| 2023 | ATVA | Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms. | Derek Egolf, Stavros Tripakis |
| 2023 | SEFM | Decoupled Fitness Criteria for Reactive Systems. | Derek Egolf, Stavros Tripakis |
| 2022 | CPP | Verbatim++: verified, optimized, and semantically rich lexing with derivatives. | Derek Egolf, Sam Lasser, Kathleen Fisher |
| 2021 | SP | Verbatim: A Verified Lexer Generator. | Derek Egolf, Sam Lasser, Kathleen Fisher |