SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025
Tue 14 Oct 2025 10:50 - 11:45 at Orchid East - Compiler Chair(s): Hakjoo Oh

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.

Tue 14 Oct

Displayed time zone: Perth change