YoVDO

Type-Based Incorrectness Reasoning - Integrating Underapproximate Analysis in Refinement Types

Offered By: ACM SIGPLAN via YouTube

Tags

Type System Courses Functional Programming Courses Property-based Testing Courses Static Analysis Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the connection between coverage types and incorrectness logic in this 18-minute conference talk presented at ACM SIGPLAN's Incorrectness'24. Delve into the proposal by Zhe Zhou, Benjamin Delaware, and Suresh Jagannathan to integrate incorrectness reasoning within an expressive refinement type system. Discover how coverage types generalize refinement types in functional languages, supporting must-style underapproximate reasoning, particularly useful in property-based testing frameworks for verifying both completeness and safety of test generators. Examine the potential benefits this integration offers to functional programmers, program verifiers, and program analysis tools.

Syllabus

[Incorrectness'24] Type-Based Incorrectness Reasoning


Taught by

ACM SIGPLAN

Related Courses

Functional Programming Principles in Scala
École Polytechnique Fédérale de Lausanne via Coursera
Functional Program Design in Scala
École Polytechnique Fédérale de Lausanne via Coursera
Paradigms of Computer Programming
Université catholique de Louvain via edX
Introduction to Functional Programming
Delft University of Technology via edX
Paradigms of Computer Programming – Fundamentals
Université catholique de Louvain via edX