SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference

11th Workshop on Tools for Automatic Program Analysis

In recent years, a wide range of static analysis tools have emerged, some of which are currently in industrial use or are well beyond the advanced prototype level. Many impressive practical results have been obtained, which allow complex properties to be proven or checked in a fully or semi-automatic way, even in the context of complex software developments. In parallel, the techniques to design and implement static analysis tools have improved significantly, and much effort is being put into engineering the tools. This workshop is intended to promote discussions and exchange experience between specialists in all areas of program analysis design and implementation, formal methods and static analysis tool users.

Previous workshops have been held in Perpignan, France (2010), Venice, Italy (2011), Deauville, France (2012), Seattle, WA, USA (2013), Munich, Germany (2014), Saint-Malo, France (2015), Edinburgh, UK (2016), New York, NY, USA (2017), Freiburg, Germany (2018), and Porto, Portugal (2019).

TAPAS 2020 will be co-located with OOPSLA 2020 and SAS 2020.
Plenary
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Thu 19 Nov

Displayed time zone: Central Time (US & Canada) change

00:20 - 01:00
Breakfast in ParisMeet The Speakers (MTS) at SPLASH-I
00:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

02:20 - 03:00
Cocktails in SydneyMeet The Speakers (MTS) at SPLASH-I
02:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

03:00 - 04:20
Session 1TAPAS at SPLASH-V
03:00
20m
Paper
Program Slicing with Exception Handling
TAPAS
03:20
20m
Paper
MetaCG: Annotated call-graphs to facilitate whole-program analysis
TAPAS
Jan-Patrick LehrScientific Computing, TU Darmstadt, Alexander HückInstitute for Scientific Computing, TU Darmstadt, Yannic FischlerTU Darmstadt, Christian BischofScientific Computing, TU Darmstadt
03:40
20m
Paper
Data Dependence for Object-Oriented Programs
TAPAS
04:00
20m
Paper
Type checking beyond type checkers, via Slice & Run
TAPAS
Justus AdamUniversity of Kent, UK, Stephen KellUniversity of Kent
Pre-print
04:20 - 05:00
Dinner in BeijingMeet The Speakers (MTS) at SPLASH-I
04:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

05:00 - 07:00
Session 2TAPAS at SPLASH-V
05:00
60m
Keynote
Toward More Scalable Symbolic Execution via Code Chopping
TAPAS
Cristian CadarImperial College London, UK
Media Attached
06:00
60m
Keynote
Enterprise-scale static analysis: A Pinpoint experience
TAPAS
Charles ZhangThe Hong Kong University of Science and Technology
Media Attached
06:20 - 07:00
06:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

07:00 - 08:20
RKeynotes at SPLASH-I +12h
Chair(s): David GroveIBM Research
07:00
80m
Keynote
Why Digital Agriculture is Fertile Ground for Software Systems Researchsupported by IBM Research
Keynotes
Vikram S. AdveUniversity of Illinois at Urbana-Champaign
Link to publication
08:20 - 09:00
Breakfast in ChicagoMeet The Speakers (MTS) at SPLASH-I +12h
08:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

09:00 - 10:20
Session 3TAPAS at SPLASH-V
09:00
20m
Short-paper
API Analytics for Curating Static Analysis Rules
TAPAS
09:20
20m
Paper
Online Verification of Commutativity
TAPAS
Aditi KabraCarnegie Mellon University, Dietrich GeislerCornell University, Adrian SampsonCornell University
Pre-print
09:40
20m
Short-paper
Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing
TAPAS
Nicholas Shoemaker, Ruzica PiskacYale University, USA, Mark SantolucitoBarnard College, Columbia University, USA
10:20 - 11:00
Breakfast in SeattleMeet The Speakers (MTS) at SPLASH-I +12h
10:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

11:00 - 12:20
11:00
80m
Poster
Student Research Competition
Student Research Competition

11:00 - 12:20
Session 4TAPAS at SPLASH-V
11:00
60m
Keynote
Moving Fast with High Reliability using Pluggable Types
TAPAS
Manu SridharanUniversity of California at Riverside
Media Attached
12:00
20m
Other
Closing
TAPAS

12:20 - 13:00
Breakfast in WellingtonMeet The Speakers (MTS) at SPLASH-I +12h
12:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

14:20 - 15:00
Cocktails in ParisMeet The Speakers (MTS) at SPLASH-I +12h
14:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

16:20 - 17:00
Breakfast in SeoulMeet The Speakers (MTS) at SPLASH-I +12h
16:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

18:20 - 19:00
Cocktails in RioMeet The Speakers (MTS) at SPLASH-I +12h
18:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

19:00 - 20:20
RKeynotes at SPLASH-I
Chair(s): David GroveIBM Research
19:00
80m
Keynote
Why Digital Agriculture is Fertile Ground for Software Systems Researchsupported by IBM Research
Keynotes
Vikram S. AdveUniversity of Illinois at Urbana-Champaign
Link to publication
20:20 - 21:00
Cocktails in New YorkMeet The Speakers (MTS) at SPLASH-I
20:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

22:20 - 23:00
22:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

Call for Papers

Objectives

In recent years, a wide range of static analysis tools have emerged, some of which are currently in industrial use or are well beyond the advanced prototype level. Many impressive practical results have been obtained, which allow complex properties to be proven or checked in a fully or semi-automatic way, even in the context of complex software developments. In parallel, the techniques to design and implement static analysis tools have improved significantly, and much effort is being put into engineering the tools. This workshop is intended to promote discussions and exchange experience between specialists in all areas of program analysis design and implementation, formal methods and static analysis tool users.

Scope

The technical program of TAPAS 2020 will consist of invited talks, together with presentations based on submitted papers. Submissions can cover any aspect of program analysis tools including, but not limited to the following:

  • design and implementation of static analysis tools (including practical techniques used for obtaining precision and performance)

  • components of static analysis tools (front-ends, abstract domains, etc.)

  • integration of static analyzers (in proof assistants, test generation tools, IDEs, etc.)

  • reusable software infrastructure (analysis algorithms and frameworks)

  • experience reports on the use of static analyzers (both research prototypes and industrial tools)

The workshop also welcomes work in progress, overviews of more extensive work, programmatic or position papers and tool presentations.

Submission Guidelines

We invite high-quality papers in the following three categories:

  • Regular papers (6-10 pages)

  • Short papers (4-6 pages)

  • Extended abstract (up to 2 pages)

Please use the SIGPLAN style (sigplan with a two-column format) for all papers (http://www.sigplan.org/Resources/Author/) and submit via EasyChair (https://easychair.org/conferences/?conf=tapas2020).

Publication

All papers will be considered for publication in the ACM Digital Library, except if the authors prefer not to be included.