Closing and Best Presentation Award (SOAP 2025 - State Of the Art in Program Analysis) - PLDI 2025

Mon 16 - Fri 20 June 2025 Seoul, South Korea

Who

Kihong Heo, Luca Negrini

Track

SOAP 2025 State Of the Art in Program Analysis

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

When

Mon 16 Jun 2025 17:20 - 17:30 at Violet - SOAP 4 Chair(s): Kihong Heo

Kihong Heo

KAIST

South Korea

Luca Negrini

Ca’ Foscari University of Venice

Italy

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

Session Program

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