Program - PLDI 2025

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 16 Jun
Displayed time zone: Seoul change

09:00 - 10:10	SOAP 1SOAP at Orchid Chair(s): Luca Negrini Ca’ Foscari University of Venice

09:00 10m Day opening		Opening SOAP Kihong Heo KAIST, Luca Negrini Ca’ Foscari University of Venice
09:10 60m Keynote		The MemCAD static analyser: shape, value and collection abstraction and application to OS verification SOAP Xavier Rival Inria; ENS; CNRS; PSL University

10:30 - 12:00	SOAP 2SOAP at Orchid Chair(s): Michael Schwarz TU Munich

10:30 20m Talk		Scalable Language Agnostic Taint Tracking using Explicit Data Dependencies SOAP Sedick David Baker Effendi Stellenbosch University, Xavier Pinho StackGen, Andrei Michael Dreyer Whirly Labs, Fabian Yamaguchi Whirly Labs DOI Pre-print File Attached
10:50 20m Talk		Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses SOAP Kadiray Karakaya Heinz Nixdorf Institute at Paderborn University, Palaniappan Muthuraman Heinz Nixdorf Institute at Paderborn University, Eric Bodden Heinz Nixdorf Institute at Paderborn University; Fraunhofer IEM DOI
11:10 20m Talk		Universal High-Performance CFL-Reachability via Matrix Multiplication SOAP Ilia Muravev Explyt, Semyon Grigorev Saint-Petersburg State University DOI
11:30 20m Talk		Beyond Affine Loops: A Geometric Approach to Program SynthesisRecorded SOAP Erdenebayar Bayarmagnai KU Leuven, Fatemeh Mohammadi KU Leuven, Rémi Prébet Inria DOI

14:00 - 15:20	SOAP 3SOAP at Orchid Chair(s): Mukund Raghothaman University of Southern California

14:00 60m Keynote		Static Analysis from Code Graphs to Neural Networks SOAP Yulei Sui University of New South Wales
15:00 20m Talk		Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health SOAP Ákos Hajdu Meta, Roman Lee Meta, Gavin Weng Meta, Nilesh Agrawal Meta, Jérémy Dubreil Unaffiliated DOI

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

19:30 - 21:30	SOAP Committee DinnerSOAP / Catering at Rose

19:30 2h Dinner		Dinner Catering

SOAP 2025 Program

Mon 16 Jun
Displayed time zone: Seoul change

Tracks

Co-hosted Conferences

Workshops

SOAP 2025 Program

Switch Program View

Program Display Configuration

Mon 16 JunDisplayed time zone: Seoul change

Get Calendar (iCal)

Mon 16 Jun
Displayed time zone: Seoul change