Derek Egolf

According to our database1, Derek Egolf authored at least 7 papers between 2021 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction.
CoRR, January, 2025

2024
Efficient Synthesis of Symbolic Distributed Protocols by Sketching.
CoRR, 2024

2023
Decoupled Fitness Criteria for Reactive Systems.
Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation.
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms.
Proceedings of the Automated Technology for Verification and Analysis, 2023

2022
Verbatim++: verified, optimized, and semantically rich lexing with derivatives.
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.
Proceedings of the IEEE Security and Privacy Workshops, 2021


  Loading...