Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

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

ACM SIGPLAN via YouTube

Overview

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

Reviews

Start your review of Type-Based Incorrectness Reasoning - Integrating Underapproximate Analysis in Refinement Types

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.