Write a Blog >>
ECOOP 2021
Sun 11 - Sat 17 July 2021 Online
co-located with ECOOP and ISSTA 2021

This program is tentative and subject to change.

Thu 15 Jul 2021 19:40 - 20:00 at ECOOP 1 - Program Analysis (time band 1) Chair(s): Uday P. Khedker
Fri 16 Jul 2021 02:00 - 02:20 at ECOOP 1 - Program Analysis / Runtimes (time band 2) Chair(s): Werner Dietl

Static analysis tools typically address the problem of excessive false positives by requiring programmers to explicitly annotate their code. However, when faced with incomplete annotations, many analysis tools are either too conservative, yielding false positives, or too optimistic, resulting in unsound analysis results. In order to flexibly and soundly deal with partially-annotated programs, we propose to build upon and adapt the gradual typing approach to abstract-interpretation-based program analyses. Specifically, we focus on null-pointer analysis and demonstrate that a gradual null-pointer analysis hits a sweet spot, by gracefully applying static analysis where possible and relying on dynamic checks where necessary for soundness. In addition to formalizing a gradual null-pointer analysis for a core imperative language, we build a prototype using the Infer static analysis framework, and present preliminary evidence that the gradual null-pointer analysis reduces false positives compared to two existing null-pointer checkers for Infer. Further, we discuss ways in which the gradualization approach used to derive the gradual analysis from its static counterpart can be extended to support more domains. This work thus provides a basis for future analysis tools that can smoothly navigate the tradeoff between human effort and run-time overhead to reduce the number of reported false positives.

This program is tentative and subject to change.

Conference Day
Thu 15 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

19:00 - 20:00
Program Analysis (time band 1)ECOOP Technical Papers at ECOOP 1
Chair(s): Uday P. KhedkerIndian Institute of Technology (IIT) Bombay
19:00
20m
Talk
Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow AnalysisDistinguished Paper
ECOOP Technical Papers
Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannTechnical University Dortmund, Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print
19:20
20m
Talk
Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation
ECOOP Technical Papers
Aleksandar S. DimovskiMother Teresa University, Skopje, Sven ApelSaarland University
19:40
20m
Talk
Gradual Program Analysis for Null Pointers
ECOOP Technical Papers
Sam EstepCarnegie Mellon University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Johannes BaderJane Street, Joshua SunshineCarnegie Mellon University
Pre-print

Conference Day
Fri 16 Jul

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

02:00 - 03:20
Program Analysis / Runtimes (time band 2)ECOOP Technical Papers at ECOOP 1
Chair(s): Werner DietlUniversity of Waterloo
02:00
20m
Talk
Gradual Program Analysis for Null Pointers
ECOOP Technical Papers
Sam EstepCarnegie Mellon University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile, Johannes BaderJane Street, Joshua SunshineCarnegie Mellon University
Pre-print
02:20
20m
Talk
Best-Effort Lazy Evaluation for Python Software Built On APIs
ECOOP Technical Papers
Guoqiang ZhangNorth Carolina State University, Xipeng ShenNorth Carolina State University, USA
02:40
20m
Talk
Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation
ECOOP Technical Papers
Aleksandar S. DimovskiMother Teresa University, Skopje, Sven ApelSaarland University
03:00
20m
Talk
Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability
ECOOP Technical Papers
Dongjie HeUniversity of New South Wales, Jingbo LuUNSW Sydney, Yaoqing GaoHuawei Canada, Jingling XueUNSW Sydney
Pre-print