Everparse: A Verifying Compiler from Data Format Specifications to Verified Efficient Parsers

POPL 2020