Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Mon 15 Jun 2020 06:20 - 06:46 at SOAP live stream - Research Paper Presentations

Bug finders are mainstream tools used during software development that greatly improve the productivity of software engineers and lower the maintenance costs. These search for software anomalies by scrutinising the program’s code using static program analysis techniques, i.e., without executing the code. However, current bug finders do not explain why bugs were found, primarily due to coarse-grain abstractions that abstract away large portions of the operational semantics of programming languages. To further improve the utility of bug finders, it is paramount to explain reported bugs to the end-users. In this work, we devise a new technique that produces a program trace for a reported bug giving insight into the root cause for the reported bug. For the generation of the program trace, we use an abstracted flow-based semantics for programs to overcome the undecidability of the problem. We simplify the semantic problem by mapping an input program with a reported bug to a Constant Copy Machine (CCM) for the trace construction. By means of a CCM the semantics of the program can be weakened and thus bug provenance can be solved in polynomial time, producing a shortest trace in the process. The technique is reified in the bug tracing tool Digger, and is evaluated on a number of open-source Java programs.

Mon 15 Jun
Times are displayed in time zone: Pacific Time (US & Canada) change

06:20 - 07:40: Research Paper PresentationsSOAP at SOAP live stream
06:20 - 06:46
Talk
SOAP
Jixiang ShenThe University of Sydney, Xi WuThe University of Sydney, Neville GrechUniversity of Athens, Greece, Bernhard ScholzUniversity of Sydney, Australia, Yannis SmaragdakisUniversity of Athens, Greece
Media Attached
06:46 - 07:13
Talk
SOAP
Michael ReifTU Darmstadt, Germany, Florian KüblerTU Darmstadt, Germany, Dominik HelmTU Darmstadt, Germany, Ben HermannPaderborn University, Michael EichbergTU Darmstadt, Germany, Mira MeziniTechnische Universität Darmstadt
Media Attached
07:13 - 07:40
Talk
SOAP
Raphaël MonatSorbonne University — LIP6, Abdelraouf OuadjaoutSorbonne Université, Antoine MinéSorbonne Université
Media Attached