Algorithmic Verification - Session Preview at POPL 2023

Offered By: ACM SIGPLAN via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

Explore a concise 11-minute session preview from the POPL 2023 conference, focusing on Algorithmic Verification. Presented by Umang Mathur, this video introduces a new track piloted at the event, inspired by the SIGCOMM community. Gain insights into the background material on algorithmic verification and learn about specific papers featured in the session. Discover how these previews aim to enhance the accessibility of POPL talks for the entire programming languages community, providing a valuable introduction to the topic before delving into more detailed presentations.

Syllabus

[Session Previews @ POPL'23] Algorithmic Verification

Taught by

ACM SIGPLAN

Related Courses

Razonamiento artificial
Universidad Nacional Autónoma de México via Coursera Embedded Systems - Design Verification and Test
NPTEL via YouTube Feedback Control Theory - Architectures and Tools for Real-Time Decision Making II
Simons Institute via YouTube Model Checking and Temporal Logic - E. Allen Emerson's Turing Award Lecture
Association for Computing Machinery (ACM) via YouTube Weeks of Debugging Can Save You Hours of TLA+
USENIX via YouTube