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

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 Orchid - SOAP 4 Chair(s): Kihong Heo

Kihong Heo

KAIST

South Korea

Luca Negrini

Ca’ Foscari University of Venice

Italy

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 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