Derek Egolf

egolf (dot) d (at) northeastern (dot) edu

I am a PhD student (since 2021) at Northeastern University and I'm advised by Stavros Tripakis. My primary research focus is the automatic generation of correct-by-construction systems from high-level specifications (synthesis). I am particularly interested in recursive program synthesis and distributed protocol synthesis. Recently, I have been investigating how synthesis (from a formal spec) and LLM code generation can inform one another. My research interests also include constraint solving, automated theorem proving, model checking, and counterexample generation.

Derek Egolf

Publications

  1. Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties. Derek Egolf, Stavros Tripakis. Under review. arXiv
  2. Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction. Derek Egolf, Stavros Tripakis. TACAS 2025. arXiv || DOI
  3. Efficient Synthesis of Symbolic Distributed Protocols by Sketching. Derek Egolf, William Schultz, Stavros Tripakis. FMCAD 2024. DOI
  4. Decoupled Fitness Criteria for Reactive Systems. Derek Egolf, Stavros Tripakis. SEFM 2023. DOI
  5. Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms. Derek Egolf, Stavros Tripakis. ATVA 2023. DOI
  6. Verified ALL (*) Parsing with Semantic Actions and Dynamic Input Validation. Sam Lasser, Chris Casinghino, Derek Egolf, Kathleen Fisher, Cody Roux. NFM 2023. DOI
  7. Verbatim++: Verified, Optimized, and Semantically Rich Lexing with Derivatives. Derek Egolf, Sam Lasser, Kathleen Fisher. CPP 2022. DOI
  8. Verbatim: A Verified Lexer Generator. Derek Egolf, Sam Lasser, Kathleen Fisher. LangSec 2021. DOI