Derek Egolf

According to our database, Derek Egolf authored at least 9 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Can LLMs Perform Synthesis?

Derek Egolf, Yuhao Zhou, Stavros Tripakis

CoRR, March, 2026

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties.

Derek Egolf, Stavros Tripakis

CoRR, January, 2026

2025

Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction.

Derek Egolf, Stavros Tripakis

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

2024

Efficient Synthesis of Symbolic Distributed Protocols by Sketching.

Derek Egolf, William Schultz, Stavros Tripakis

Proceedings of the Formal Methods in Computer-Aided Design, 2024

2023

Decoupled Fitness Criteria for Reactive Systems.

Derek Egolf, Stavros Tripakis

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation.

Sam Lasser, Chris Casinghino, Derek Egolf, Kathleen Fisher, Cody Roux

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms.

Derek Egolf, Stavros Tripakis

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Verbatim++: verified, optimized, and semantically rich lexing with derivatives.

Derek Egolf, Sam Lasser, Kathleen Fisher

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

2021

Verbatim: A Verified Lexer Generator.

Derek Egolf, Sam Lasser, Kathleen Fisher

Proceedings of the IEEE Security and Privacy Workshops, 2021