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
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
Explaining Bug Provenance with Trace Witnesses
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
TACAI: An Intermediate Representation based on Abstract Interpretation
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
Value and Allocation Sensitivities in Static Python Analyses
SOAP
Raphaël MonatSorbonne University — LIP6, Abdelraouf OuadjaoutSorbonne Université, Antoine MinéSorbonne Université
Media Attached