YoVDO

Resource-Aware Soundness for Big-Step Semantics

Offered By: ACM SIGPLAN via YouTube

Tags

Lambda Calculus Courses Type System Courses Formal Methods Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a conference talk from OOPSLA2 2023 that delves into extending the semantics and type system of a lambda calculus to be resource-aware. Learn how the researchers instrument reduction to track resource usage and develop a type system that guarantees no needed resource gets exhausted in well-typed programs. Discover how this resource-aware extension is made parametric on an arbitrary grade algebra without requiring ad-hoc changes to the underlying language. Understand the challenges of expressing and proving resource-aware soundness in big-step semantics and how the researchers apply coinductive reasoning techniques to overcome these challenges. Gain insights into topics such as graded modal types and generalized inference systems as presented by researchers from the University of Genoa and the University of Eastern Piedmont.

Syllabus

[OOPSLA23] Resource-Aware Soundness for Big-Step Semantics


Taught by

ACM SIGPLAN

Related Courses

Programming Languages Ⅰ
Korea Advanced Institute of Science and Technology via Coursera
Meaning Representation for Natural Language Understanding - Mariana Romanyshyn - ODSC Europe 2019
Open Data Science via YouTube
Propositions as Types
Strange Loop Conference via YouTube
The Road to Akka Cluster, and Beyond
Strange Loop Conference via YouTube
Making a Computer Turing Complete
Ben Eater via YouTube