Sign in
POPL 2020
Event Home
Towards Formally Verified Just-In-Time Compilation
Sep 17, 2020
|
32 views
ACM SIGPLAN
Follow
Details
Presenter: Aurele Barriere Presented at CoqPL'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
1:07:18
ICAPS 2014 Invited Talk: Peter Wurman
ICAPS
| Jul 2, 2014
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