YoVDO

Well-typed Programs Can Go Wrong - Enhancing the Reliability of Type Checkers in Compilers

Offered By: Devoxx via YouTube

Tags

Compiler Design Courses Programming Languages Courses Java Courses Scala Courses Kotlin Courses Software Testing Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the critical importance of static typing in programming languages and the challenges faced by compiler type checkers in this 42-minute conference talk from Devoxx Greece 2024. Delve into the ongoing research efforts to improve compiler reliability through randomized software testing, which has uncovered over 250 bugs in major compilers like Java, Kotlin, Scala, and Groovy. Gain insights into the impact of compiler typing bugs on software development, including rejections of valid code, acceptance of unsafe programs, and performance issues. Learn about the most challenging language features to implement correctly and discover recent advancements in compiler and programming language testing techniques that have applications beyond compilers, extending to library and API testing.

Syllabus

Devoxx Greece 2024 - Well-typed Programs Can Go Wrong: Enhancing the Reliability of Type Checkers...


Taught by

Devoxx

Related Courses

Algorithms, Part I
Princeton University via Coursera
Introduction à la programmation orientée objet (en Java)
École Polytechnique Fédérale de Lausanne via Coursera
MongoDB for Java Developers
MongoDB University
Initiation à la programmation (en Java)
École Polytechnique Fédérale de Lausanne via Coursera
Intro to Java Programming
San Jose State University via Udacity