PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea

This program is tentative and subject to change.

Mon 16 Jun 2025 15:40 - 16:40 at Violet - SOAP 4 Chair(s): Kihong Heo

Modern software is enormous, evolving fast, integrated through long supply chains, and very demanding in both strength and versatility of how tools reason about its reliability. We believe a technology similar to X-ray, producing accurate internal knowledge fast and non-intrusively, is fundamental in taming the complexity of understanding software. Clearblue is a tool understands software in its opaque form, exploits efficient algorithms in decomposing and storing its behavior as data, provides extension power to enable versatile downstream applications. This talk covers the challenges Clearblue sets to tackle, the outline of how Clearblue works, and selected discussions of specific mechanisms of Clearblue, especially how it inter-plays with LLM.

This program is tentative and subject to change.

Mon 16 Jun

Displayed time zone: Seoul change

15:40 - 17:30
SOAP 4SOAP at Violet
Chair(s): Kihong Heo KAIST
15:40
60m
Keynote
TBD
SOAP
Charles Zhang Hong Kong University of Science and Technology
16:40
20m
Talk
Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers
SOAP
Dorra Ben Khalifa University of Toulouse - ENAC, Matthieu Martel Université de Perpignan Via Domitia
17:00
20m
Talk
Optimizing Type Migration for C-to-Rust Translation: A Data Flow Graph Approach
SOAP
Qingxiao Xu , Jeff Huang Texas A&M University
17:20
10m
Day closing
Closing and Best Presentation Award
SOAP
Kihong Heo KAIST, Luca Negrini Ca’ Foscari University of Venice