POPL 2020

Towards Formally Verified Just-In-Time Compilation

Sep 17, 2020

|

32 views

ACM SIGPLAN

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

ICAPS 2014: Steven Levine on "Concurrent Plan Recognition and Execution for Human-Robot Teams"

ICAPS | May 4, 2015

ICAPS 2014: Peng Yu on "Resolving Uncontrollable Conditional Temporal Problems Using ..."

ICAPS | May 4, 2015

ICAPS 2014: Mikael Nilsson on "EfficientIDC: A Faster Incremental Dynamic Controllability ..."

ICAPS | May 4, 2015

ICAPS 2014: Manuel Heusner on "Under-Approximation Refinement for Classical Planning"

ICAPS | May 5, 2015

ICAPS 2014: Jörg Hoffmann on "Improved Features for Runtime Prediction of Domain-Independent ..."

ICAPS | May 5, 2015