Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Derek Egolf
conf.researchr.org general profile
NASA Formal Methods 2023 profile
POPL 2022 profile
Registered user since Mon 10 Jan 2022
Name:
Derek Egolf
Affiliation:
Northeastern University
Contributions
2023
NFM
Author of Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation within the NFM 2023-track
2022
CPP
Author of Verbatim++: Verified, Optimized, and Semantically Rich Lexing with Derivatives within the CPP 2022-track
Share
x
Sun 22 Dec 02:17