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

YouTube

API-Driven Program Synthesis for Testing Static Typing Implementations

ACM SIGPLAN via YouTube

Overview

Explore a groundbreaking approach to testing static typing implementations through API-driven program synthesis in this 19-minute video presentation from POPL 2024. Learn how researchers Thodoris Sotiropoulos, Stefanos Chaliasos, and Zhendong Su leverage existing software library APIs to synthesize small, well-typed programs that effectively uncover compiler typing bugs. Discover the tool Thalia and its success in identifying 84 typing bugs across Scala, Kotlin, and Groovy compilers. Gain insights into the importance of parametric polymorphism, overloading, and higher-order functions in API-driven testing. Understand the complementary benefits of this approach compared to state-of-the-art methods in compiler testing.

Syllabus

[POPL'24] API-driven Program Synthesis for Testing Static Typing Implementations

Taught by

ACM SIGPLAN

Reviews

Start your review of API-Driven Program Synthesis for Testing Static Typing Implementations

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.