Derek Egolf

13 papers B 3Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Can LLMs Perform Synthesis?
CoRR
Derek Egolf, Yuhao Zhou, Stavros Tripakis
2026 J jnl
Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties.
CoRR
Derek Egolf, Stavros Tripakis
2025 — conf
Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction.
TACAS (2)
Derek Egolf, Stavros Tripakis
2025 J jnl
Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction.
CoRR
Derek Egolf, Stavros Tripakis
2024 B conf
Efficient Synthesis of Symbolic Distributed Protocols by Sketching.
FMCAD
Derek Egolf, William Schultz, Stavros Tripakis
2024 J jnl
Efficient Synthesis of Symbolic Distributed Protocols by Sketching.
CoRR
Derek Egolf, William Schultz, Stavros Tripakis
2023 B conf
Decoupled Fitness Criteria for Reactive Systems.
SEFM
Derek Egolf, Stavros Tripakis
2023 — conf
Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms.
ATVA (1)
Derek Egolf, Stavros Tripakis
2023 J jnl
Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms.
CoRR
Derek Egolf, Stavros Tripakis
2023 — conf
Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation.
NFM
Sam Lasser, Chris Casinghino, Derek Egolf, Kathleen Fisher, Cody Roux
2022 J jnl
Decoupled Fitness Criteria for Reactive Systems.
CoRR
Derek Egolf, Stavros Tripakis
2022 B conf
Verbatim++: verified, optimized, and semantically rich lexing with derivatives.
CPP
Derek Egolf, Sam Lasser, Kathleen Fisher
2021 — conf
Verbatim: A Verified Lexer Generator.
SP (Workshops)
Derek Egolf, Sam Lasser, Kathleen Fisher