Sign in
POPL 2020
Event Home
Everparse: A Verifying Compiler from Data Format Specifications to Verified Efficient Parsers
Sep 17, 2020
|
37 views
ACM SIGPLAN
Follow
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
20:25
ICAPS 2014: Mike Phillips on "PA*SE: Parallel A* for Slow Expansions"
ICAPS
| Jul 3, 2014
14:30
ICAPS 2014: Vidal Alcázar on "Analyzing the Impact of Partial States..."
ICAPS
| Jul 3, 2014
13:37
ICAPS 2014: Aijun Bai on "Thompson Sampling Based Monte-Carlo Planning in POMDPs"
ICAPS
| Jul 3, 2014
23:50
ICAPS 2014: Satish Kumar on "A Tree-Based Algorithm for Construction Robots"
ICAPS
| Jul 16, 2014
25:08
ICAPS 2014: Peter Ondruska on "The Route Not Taken: Driver-Centric Estimation..."
ICAPS
| Jul 21, 2014