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

Functional Programming Principles in Scala
École Polytechnique Fédérale de Lausanne via Coursera
Functional Program Design in Scala
École Polytechnique Fédérale de Lausanne via Coursera
Parallel programming
École Polytechnique Fédérale de Lausanne via Coursera
Big Data Analysis with Scala and Spark
École Polytechnique Fédérale de Lausanne via Coursera
Functional Programming in Scala Capstone
École Polytechnique Fédérale de Lausanne via Coursera