Explore a 19-minute IEEE conference talk on CirC, an innovative compiler infrastructure designed for proof systems, software verification, and beyond. Delve into the world of multiparty computation and compilers as presenters from Stanford University and Carnegie Mellon University guide you through the agenda. Learn about first-order logic, bounded models, and logical formulas before examining the Circuit IR and a compelling case study. Discover crossover opportunities and other back-end applications, gaining valuable insights into this cutting-edge technology and its potential impact on various fields.
CirC - Compiler Infrastructure for Proof Systems, Software Verification, and More
Overview
Syllabus
Introduction
Multiparty computation
Compilers
Agenda
First order
Bounded models
Logical formulas
Circuit IR
Case study
Crossover opportunity
Other back ends
Conclusion
Taught by
IEEE Symposium on Security and Privacy
