PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Wed 26 Jun 2024 16:20 - 16:40 at Iceland / Denmark - Bugs Chair(s): V Krishna Nandivada

Wed 26 Jun

Displayed time zone: Windhoek change

16:00 - 17:20
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