Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Mon 15 Jun 2020 07:13 - 07:40 at SOAP live stream - Research Paper Presentations

Sound static analyses for static programming languages such as C and Java are now widespread. The sound and precise analysis of increasingly popular dynamic programming languages like JavaScript and Python remains a challenge. This work studies the variation of static analyses of Python – in precision, time and memory usage – by adapting independent parameters: (i) the value sensitivity, (ii) the allocation sensitivity and (iii) the activation of an abstract garbage collector. It is not clear yet, for these languages, which level of sensitivity constitutes a sweet spot in terms of precision versus efficiency to achieve a meaningful analysis. We thus perform an experimental evaluation using a prototype static analyzer, on benchmarks a few thousand lines long.

Mon 15 Jun

Displayed time zone: Pacific Time (US & Canada) change

06:20 - 07:40
Research Paper PresentationsSOAP at SOAP live stream
06:20
26m
Talk
Explaining Bug Provenance with Trace Witnesses
SOAP
Jixiang Shen The University of Sydney, Xi Wu The University of Sydney, Neville Grech University of Athens, Greece, Bernhard Scholz University of Sydney, Australia, Yannis Smaragdakis University of Athens, Greece
Media Attached
06:46
26m
Talk
TACAI: An Intermediate Representation based on Abstract Interpretation
SOAP
Michael Reif TU Darmstadt, Germany, Florian Kübler TU Darmstadt, Germany, Dominik Helm TU Darmstadt, Germany, Ben Hermann Paderborn University, Michael Eichberg TU Darmstadt, Germany, Mira Mezini Technische Universität Darmstadt
Media Attached
07:13
26m
Talk
Value and Allocation Sensitivities in Static Python Analyses
SOAP
Raphaël Monat Sorbonne University — LIP6, Abdelraouf Ouadjaout Sorbonne Université, Antoine Miné Sorbonne Université
Media Attached