Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior (PLDI 2024 - PLDI Research Papers) - PLDI 2024

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Who

Theodoros Theodoridis, Zhendong Su

Track

PLDI 2024 PLDI Research Papers

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect 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

Wed 26 Jun 2024 16:00 - 16:20 at Iceland / Denmark - Bugs Chair(s): V Krishna Nandivada

DOI

https://doi.org/10.1145/3656404

Theodoros Theodoridis

ETH Zurich

Zhendong Su

ETH Zurich

Switzerland

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect 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

Wed 26 Jun
Displayed time zone: Windhoek change

	16:00 - 17:20	BugsPLDI Research Papers at Iceland / Denmark Chair(s): V Krishna Nandivada IIT Madras

	16:00 20m Talk		Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior PLDI Research Papers Theodoros Theodoridis ETH Zurich, Zhendong Su ETH Zurich DOI
	16:20 20m Talk		Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug FindingRemote PLDI Research Papers Qiuping Yi Beijing University of Posts and Telecommunications, Yifan Yu Beijing University of Posts and Telecommunications, Guowei Yang University of Queensland DOI
	16:40 20m Talk		Diffy: Data-Driven Bug Finding for Configurations PLDI Research Papers Siva Kesava Reddy Kakarla Microsoft Research, Francis Y. Yan Microsoft Research, Ryan Beckett Microsoft Research, USA DOI
	17:00 20m Talk		Boosting Compiler Testing by Injecting Real-World Code PLDI Research Papers Shaohua Li ETH Zurich, Theodoros Theodoridis ETH Zurich, Zhendong Su ETH Zurich DOI