Derek Egolf

According to our database, Derek Egolf authored at least 5 papers between 2021 and 2023.

Collaborative distances:

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

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