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: (GMT-07:00) Pacific Time (US & Canada) change

SOAP-2020-papers
06:20 - 07:40: SOAP 2020 - Research Paper Presentations at SOAP live stream
SOAP-2020-papers06:20 - 06:46
Talk
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
SOAP-2020-papers06:46 - 07:13
Talk
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
SOAP-2020-papers07:13 - 07:40
Talk
Raphaël MonatSorbonne University — LIP6, Abdelraouf OuadjaoutSorbonne Université, Antoine MinéSorbonne Université
Media Attached