PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea
PLDI 2025 (series) / The Westin Josun Seoul /

Room information: Violet

VenueThe Westin Josun Seoul
Room nameViolet
Floor0
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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
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
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 Synthesis
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
14:00
60m
Keynote
TBD
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:00
SOAP 4SOAP at Violet
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
16:40
20m
Talk
Optimizing Type Migration for C-to-Rust Translation: A Data Flow Graph Approach
SOAP
Qingxiao Xu , Jeff Huang Texas A&M University
16:40
20m
Day closing
Closing and Best Presentation Award
SOAP
Kihong Heo KAIST, Luca Negrini Ca’ Foscari University of Venice

Mon 16 Jun

Displayed time zone: Seoul change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Violet

SOAP

SOAP 1

SOAP

SOAP 2

SOAP

SOAP 3

SOAP

SOAP 4

Tue 17 Jun

Displayed time zone: Seoul change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Violet

ARRAY

ARRAY

ARRAY

ARRAY

Mon 16 Jun

Displayed time zone: Seoul change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Violet
SOAP
Opening
09:00 - 09:10
SOAP
The MemCAD static analyser: shape, value and collection abstraction and ...
09:10 - 10:10
SOAP
Scalable Language Agnostic Taint Tracking Using Explicit Data Dependencies
10:30 - 10:50
SOAP
Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses
10:50 - 11:10
SOAP
Universal High-Performance CFL-Reachability via Matrix Multiplication
11:10 - 11:30
SOAP
Beyond Affine Loops: A Geometric Approach to Program Synthesis
11:30 - 11:50
SOAP
TBD
14:00 - 15:00
SOAP
Compositional Static Callgraph Reachability Analysis for WhatsApp Andro ...
15:00 - 15:20
SOAP
TBD
15:40 - 16:40
SOAP
Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers
16:40 - 17:00
Optimizing Type Migration for C-to-Rust Translation: A Data Flow Graph ...
16:40 - 17:00
Closing and Best Presentation Award
16:40 - 17:00