Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Wed 23 Oct 2019 19:07 - 19:18 at Foyer - Competition - Round 1
Thu 24 Oct 2019 16:30 - 16:45 at Room 1 - Competition - Round 2

Null pointers and their eponymous exceptions form one of the most prevalent classes of errors permitted by modern software engineering practice, and they have been called “the billion dollar mistake” in programming language design. Any Java reference is potentially allowed to be null, and although dereferences are checked at runtime, the semantics of unwinding the stack at arbitary usages of non-primitive types are not conducive to graceful error recovery. Thus static analysis is required. A simple fully-static solution is necessarily plagued with false positives, though. Some tools reduce this issue by adding complexity to the analysis. Others rely on user-provided annotations, but do so in an unprincipled way that isn’t immediately generalizable to other analyses. While the Abstracting Gradual Typing framework has been very successful in a variety of formal type systems, this is its first application to program analysis. We gradualize a very simple static analysis to demonstrate the applicability of the AGT framework in the dataflow analysis setting; this lays the groundwork for the gradualization of far more sophisticated analyses.

Wed 23 Oct

splash-2019-SRC
18:00 - 19:30: SRC - Competition - Round 1 at Foyer
splash-2019-SRC18:00 - 18:11
Talk
Beatriz SouzaFederal University of Campina Grande
splash-2019-SRC18:11 - 18:22
Talk
Kalliopi Evangelia StavrouliaCyprus University of Technology, Andreas LanitisCyprus University of Technology
splash-2019-SRC18:22 - 18:33
Talk
Dominik AumayrJohannes Kepler University Linz, Austria
splash-2019-SRC18:33 - 18:45
Talk
Aaron LippeveldtsVrije Universiteit Brussel, Dominique DevrieseVrije Universiteit Brussel
splash-2019-SRC18:45 - 18:56
Talk
Muna AltherwiSouthampton University
splash-2019-SRC18:56 - 19:07
Talk
Florian LatifiJohannes Kepler University Linz
DOI Pre-print
splash-2019-SRC19:07 - 19:18
Talk
Samuel EstepLiberty University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile & Inria Paris, Johannes BaderFacebook
splash-2019-SRC19:18 - 19:30
Talk
Maarten P. SijmDelft University of Technology

Thu 24 Oct

splash-2019-SRC
16:00 - 17:30: SRC - Competition - Round 2 at Room 1
splash-2019-SRC16:00 - 16:15
Talk
Kalliopi Evangelia StavrouliaCyprus University of Technology, Andreas LanitisCyprus University of Technology
splash-2019-SRC16:15 - 16:30
Talk
Aaron LippeveldtsVrije Universiteit Brussel, Dominique DevrieseVrije Universiteit Brussel
splash-2019-SRC16:30 - 16:45
Talk
Samuel EstepLiberty University, Jenna WiseCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Éric TanterUniversity of Chile & Inria Paris, Johannes BaderFacebook
splash-2019-SRC16:45 - 17:00
Talk
Maarten P. SijmDelft University of Technology
splash-2019-SRC17:00 - 17:15
Talk
Dominik AumayrJohannes Kepler University Linz, Austria
splash-2019-SRC17:15 - 17:30
Talk
Florian LatifiJohannes Kepler University Linz
DOI Pre-print