Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
This conference talk from Lambda Days 2024 explores how flaws in compiler type checkers can impact software development. Discover Thodoris Sotiropoulos' research on enhancing compiler reliability through randomized software testing, which has uncovered over 250 bugs in industrial-strength compilers like Java, Kotlin, Scala, and Groovy. Learn about critical type checker vulnerabilities affecting type inference, parametric polymorphism, overloading, and higher-order functions. Understand how these bugs can lead to rejection of valid code, dangerous acceptance of type-unsafe programs, and compilation performance issues that directly impact programmer productivity and software security.
