YoVDO

Synthesizing Specifications - Automatic Generation of Program Behavior Descriptions

Offered By: ACM SIGPLAN via YouTube

Tags

Program Synthesis Courses Programming Languages Courses Software Engineering Courses Formal Methods Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a 19-minute video presentation from OOPSLA2 2023 conference that addresses the challenge of automatically synthesizing program specifications. Learn about a novel approach developed by researchers from the University of Wisconsin-Madison that uses user-supplied inputs and a domain-specific language to generate comprehensive and precise specifications. Discover how the implemented tool, Spyro, can be applied to various tasks such as mining program specifications, performing abstract-domain operations, and synthesizing algebraic properties of program modules. Gain insights into the importance of program specifications and the difficulties in creating them manually. The video includes an abstract of the research, details about the article publication, and information on the supplementary archive with reusable artifacts.

Syllabus

[OOPSLA23] Synthesizing Specifications


Taught by

ACM SIGPLAN

Related Courses

Human Computer Interaction
Independent
Introduction à la logique informatique - Partie 2 : calcul des prédicats
Université Paris-Saclay via France Université Numerique
System Validation (4): Modelling Software, Protocols, and other behaviour
EIT Digital via Coursera
Formal Software Verification
University System of Maryland via edX
Principles of Secure Coding
University of California, Davis via Coursera