PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
Mon 16 Jun 2025 15:40 - 16:40 at Orchid - 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.

Mon 16 Jun

Displayed time zone: Seoul change

15:40 - 17:30
SOAP 4SOAP at Orchid
Chair(s): Kihong Heo KAIST
15:40
60m
Keynote
Building X-Ray for enterprise-scale software
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 ENAC - University of Toulouse, Matthieu Martel University of Peprignan; Numalis
DOI
17:00
20m
Talk
Optimizing Type Migration for LLM-Based C-to-Rust Translation: A Data Flow Graph ApproachRecorded
SOAP
Qingxiao Xu Texas A&M University, Jeff Huang Texas A&M University
DOI
17:20
10m
Day closing
Closing and Best Presentation Award
SOAP
Kihong Heo KAIST, Luca Negrini Ca’ Foscari University of Venice