Synthesizing Specifications - Automatic Generation of Program Behavior Descriptions
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
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
Programming LanguagesUniversity of Virginia via Udacity Compilers
Stanford University via Coursera Programming Languages, Part A
University of Washington via Coursera CSCI 1730 - Introduction to Programming Languages
Brown University via Independent Intro to Java Programming
San Jose State University via Udacity