Program - PLDI 2025

Detailed Table Session Timeline Detailed Timeline

This program is tentative and subject to change.

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 Violet 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 Violet Chair(s): Michael Schwarz TU Munich

10:30 20m Talk		Scalable Language Agnostic Taint Tracking Using Explicit Data Dependencies SOAP David Baker Effendi Stellenbosch University, Xavier Pinho StackGen, Andrei Michael Dreyer Whirly Labs, Fabian Yamaguchi Whirly Labs
10:50 20m Talk		Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses SOAP Kadiray Karakaya Heinz Nixdorf Institut, Paderborn University, Palaniappan Muthuraman Heinz Nixdorf Institute, Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
11:10 20m Talk		Universal High-Performance CFL-Reachability via Matrix Multiplication SOAP Ilia Muravev Explyt, Semyon Grigorev Saint Petersburg State University, Russia
11:30 20m Talk		Beyond Affine Loops: A Geometric Approach to Program SynthesisRemote SOAP Erdenebayar Bayarmagnai KU Leuven, Fatemeh Mohammadi KU Leuven, Rémi Prébet Inria, CNRS, ENS de Lyon, Université Claude Bernard Lyon 1, LIP, UMR 5668, 69342, Lyon cedex 07, France

14:00 - 15:20	SOAP 3SOAP at Violet 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, Jeremy Dubreil Lacework

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

SOAP 2025 Program

This program is tentative and subject to change.

Mon 16 Jun
Displayed time zone: Seoul change

Tracks

Co-hosted Conferences

Workshops

SOAP 2025 Program

Switch Program View

This program is tentative and subject to change.

Program Display Configuration

Mon 16 JunDisplayed time zone: Seoul change

Get Calendar (iCal)

Mon 16 Jun
Displayed time zone: Seoul change