Google, IBM & Meta Certificates – 40% Off
One Coursera Plus subscription covers most Professional Certificates on Coursera.
Unlock All Certificates
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.
