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

Displayed time zone: Beirut change

18:00 - 19:30
Competition - Round 1SRC at Foyer
18:00
11m
Talk
Is Mutation Score a Fair Metric?
SRC
Beatriz Souza Federal University of Campina Grande
18:11
11m
Talk
Designing immersive virtual training environments for experiential learning
SRC
Kalliopi Evangelia Stavroulia Cyprus University of Technology, Andreas Lanitis Cyprus University of Technology
18:22
11m
Talk
Debugging Support for Multi-paradigm Concurrent Programs
SRC
Dominik Aumayr Johannes Kepler University Linz, Austria
18:33
11m
Talk
Linear capabilities for CHERI
SRC
Aaron Lippeveldts Vrije Universiteit Brussel, Dominique Devriese Vrije Universiteit Brussel
18:45
11m
Talk
An Empirical Study of Programming Language Effect on OSS Development Effort
SRC
Muna Altherwi Southampton University
18:56
11m
Talk
Practical Second Futamura Projection
SRC
Florian Latifi Johannes Kepler University Linz
DOI Pre-print
19:07
11m
Talk
Gradual Program Analysis
SRC
Samuel Estep Liberty University, Jenna DiVincenzo (Wise) Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Éric Tanter University of Chile & Inria Paris, Johannes Bader Facebook
19:18
11m
Talk
Incremental Scannerless Generalized LR Parsing
SRC
Maarten P. Sijm Delft University of Technology

Thu 24 Oct

Displayed time zone: Beirut change

16:00 - 17:30
Competition - Round 2SRC at Room 1
16:00
15m
Talk
Designing immersive virtual training environments for experiential learning
SRC
Kalliopi Evangelia Stavroulia Cyprus University of Technology, Andreas Lanitis Cyprus University of Technology
16:15
15m
Talk
Linear capabilities for CHERI
SRC
Aaron Lippeveldts Vrije Universiteit Brussel, Dominique Devriese Vrije Universiteit Brussel
16:30
15m
Talk
Gradual Program Analysis
SRC
Samuel Estep Liberty University, Jenna DiVincenzo (Wise) Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Éric Tanter University of Chile & Inria Paris, Johannes Bader Facebook
16:45
15m
Talk
Incremental Scannerless Generalized LR Parsing
SRC
Maarten P. Sijm Delft University of Technology
17:00
15m
Talk
Debugging Support for Multi-paradigm Concurrent Programs
SRC
Dominik Aumayr Johannes Kepler University Linz, Austria
17:15
15m
Talk
Practical Second Futamura Projection
SRC
Florian Latifi Johannes Kepler University Linz
DOI Pre-print