SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025

This program is tentative and subject to change.

Tue 14 Oct 2025 10:50 - 11:45 at Orchid East - Compiler

Ensuring compiler correctness is fundamental to computing. Compiler testing and translation validation are two popular techniques to improve compiler correctness. In this talk, we revisit these traditional tasks from a compiler-centric perspective, showing how internal compiler information can be harnessed to strengthen both testing and validation. We will present two case studies, highlight their advantages, and outline open challenges and future directions toward a unified compiler-centric analysis framework.

This program is tentative and subject to change.