CirC - Compiler Infrastructure for Proof Systems, Software Verification, and More
Offered By: IEEE via YouTube
Course Description
Overview
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.
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
Tags
Related Courses
Language, Proof and LogicStanford University via edX Artificial Intelligence: Knowledge Representation And Reasoning
Indian Institute of Technology Madras via Swayam AI:Knowledge Representation and Reasoning
Indian Institute of Technology Madras via Swayam 人工智慧：搜尋方法與邏輯推論 (Artificial Intelligence - Search & Logic)
National Taiwan University via Coursera Semantics of First-Order Logic
Stanford University via edX