Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
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.
