API-Driven Program Synthesis for Testing Static Typing Implementations

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.

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