Brendan Zabarauskas@brendanzab·Jun 1, 2019Compositional 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...127
Brendan Zabarauskas@brendanzabCool slides at the end - it's ambitious, but exciting!7:43 AM · Jun 1, 2019·Twitter Web Client8 Likes
