POPL 2020

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

Sep 17, 2020

|

37 views

ACM SIGPLAN

Details

Presenter: Tahina Ramananandro Presented at PriSC'20, colocated with POPL 2020.

Category: POPL 2020

Comments

loading...

Reactions (0) | Note

📝 No reactions yet

Be the first one to share your thoughts!

Reactions(0)

Note

loading...

Recommended

ICAPS 2014: Menkes van den Briel on "Flow-based Heuristics for Optimal Planning"

ICAPS | Mar 13, 2015

SREcon15 - Notes from Production Engineering

USENIX | Apr 9, 2015

SREcon15 - Case Study: Adopting SRE Principles at StackOverflow

USENIX | Apr 9, 2015

SREcon15 - Monitoring without Infrastructure @ Airbnb

USENIX | Apr 9, 2015

SREcon15 - Scaling Networks through Software

USENIX | Apr 9, 2015