Brendan Zabarauskas@brendanzabCompositional Compiler Verification for a Multi-Language World: https://youtube.com/watch?v=0asuTEDjzy8… - another really nice talk by Amal Ahmed on compiler correctness in the presence of linking.youtube.comPLSE Seminar Series: Amal Ahmed, "Compositional Compiler Verification...AbstractVerified compilers are typically proved correct under severe restrictions on what the compiled code may be linked with, from no linking at all to lin...6:38 AM · Jun 1, 2019·Twitter Web Client2 Retweets7 Likes
Brendan Zabarauskas@brendanzab·Jun 1, 2019Replying to @brendanzabCool slides at the end - it's ambitious, but exciting!8
