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: Mike Phillips on "PA*SE: Parallel A* for Slow Expansions"

ICAPS | Jul 3, 2014

ICAPS 2014: Vidal Alcázar on "Analyzing the Impact of Partial States..."

ICAPS | Jul 3, 2014

ICAPS 2014: Aijun Bai on "Thompson Sampling Based Monte-Carlo Planning in POMDPs"

ICAPS | Jul 3, 2014

ICAPS 2014: Satish Kumar on "A Tree-Based Algorithm for Construction Robots"

ICAPS | Jul 16, 2014

ICAPS 2014: Peter Ondruska on "The Route Not Taken: Driver-Centric Estimation..."

ICAPS | Jul 21, 2014