SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference

Abstract domains are a key notion in Abstract Interpretation theory and practice. They embed the semantic choices, data-structures and algorithmic aspects, and implementation decisions. The Abstract Interpretation framework provides constructive and systematic formal methods to design, compose, compare, study, prove, and apply abstract domains. Many abstract domains have been designed so far: numerical domains (intervals, congruences, polyhedra, polynomials, etc.), symbolic domains (shape domains, trees, etc.), but also domain operators (products, powersets, completions, etc.), and have been applied to several kinds of static analyses (safety, termination, probability, etc.) on a variety of systems (hardware, software, neural networks, etc.). The goal of NSAD workshop is to discuss work in progress, recent advances, novel ideas, experiences in the theory, practice, application, implementation, and experimentation related to abstract domains and/or their combination. This year’s edition in particular welcomes abstract domains related and/or applied to analyzing neural networks, dynamical and hybrid systems.

Previous workshops have been held in

Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 17 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)

01:00 - 02:20
Invited TalkNSAD at SPLASH-IV
Chair(s): Khalil Ghorbal Inria, France
01:00
80m
Keynote
Invited Talk: Abstract Domains in SMT Solving for Real Algebra
NSAD
Erika Abraham RWTH Aachen University
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
PapersNSAD at SPLASH-IV
Chair(s): Liqian Chen National University of Defense Technology, China, Khalil Ghorbal Inria, France
03:00
20m
Paper
Abstract Domains for Constraint Programming with Differential Equations
NSAD
03:20
20m
Paper
Numeric Domains Meet Algebraic Data Types
NSAD
Santiago Bautista Univ Rennes, ENS Rennes, Inria, IRISA, Thomas P. Jensen INRIA Rennes, Benoît Montagu Inria
03:40
20m
Paper
Proving array properties using data abstraction
NSAD
Julien Braine , Laure Gonnord University of Lyon & LIP, France
04:00
20m
Paper
Rigorous Linear Programming Techniques for Numerical Abstract Domains
NSAD
Tengbin Wang , Liqian Chen National University of Defense Technology, China, Ji Wang
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)

06:20 - 07:00
06:20
40m
Social Event
Meet The Speakers
Meet The Speakers (MTS)

07:00 - 08:20
TKeynotes at SPLASH-I +12h
Chair(s): Steve Blackburn Australian National University
07:00
80m
Keynote
Testing Deep Neural Networks
Keynotes
Mary Lou Soffa University of Virginia
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)

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)

12:20 - 13:00
Breakfast in WellingtonStudent Research Competition at SPLASH-I +12h
  • Aidan Yang, SOAR: Synthesis for Open-Source API Refactoring

  • Gahwon Lee, SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems

  • Ian C. McCormack, A Software Library Model for the Internet of Things

  • Mona Zhang and Jacob Gorenburg, Design and Implementation of a Gradual Verifier

  • Raphael Mosaner, Machine Learning to Ease Understanding of Data Driven Compiler Optimizations

  • Reed Oei, Psamathe: A DSL for Safe Blockchain Assets

  • Sang Heon Choi, Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces

  • Sophia Kolak, Detecting Performance Patterns with Deep Learning

  • Vitaly Romanov, Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions

12:20
40m
Poster
Student Research Competition
Student Research Competition

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
TKeynotes at SPLASH-I
Chair(s): Steve Blackburn Australian National University
19:00
80m
Keynote
Testing Deep Neural Networks
Keynotes
Mary Lou Soffa University of Virginia
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

The 9th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2020)

November 17, 2020

Co-located with The 27th Static Analysis Symposium (SAS 2020)

SPLASH 2020, November 15-20, Chicago, Illinois, United States

Objectives

Abstract domains are a key notion in Abstract Interpretation theory and practice. They embed the semantic choices, data-structures and algorithmic aspects, and implementation decisions. The Abstract Interpretation framework provides constructive and systematic formal methods to design, compose, compare, study, prove, and apply abstract domains. Many abstract domains have been designed so far: numerical domains (intervals, congruences, polyhedra, polynomials, etc.), symbolic domains (shape domains, trees, etc.), but also domain operators (products, powersets, completions, etc.), and have been applied to several kinds of static analyses (safety, termination, probability, etc.) on a variety of systems (hardware, software, neural networks, etc.). The goal of NSAD workshop is to discuss work in progress, recent advances, novel ideas, experiences in the theory, practice, application, implementation, and experimentation related to abstract domains. This year’s edition in particular welcomes abstract domains related and/or applied to analyzing neural networks, dynamical and hybrid systems.

Previous workshops have been held in Paris, France (2005), Perpignan, France (2010), Venice, Italy (2011), Deauville, France (2012), Munich, Germany (2014), Edinburgh, UK (2016), New York, NY, USA (2017), and Porto, Portugal (2019).

Scope

The technical program of NSAD 2020 will consist of invited lectures together with presentations, based on submitted regular papers, short papers or extended abstracts.

Submissions can cover any aspect of numerical and symbolic abstract domains, such that:

  • Cases studies or problem statements coming from close communities
  • Numeric abstract domains
  • Symbolic abstract domains
  • Extrapolations and accelerations
  • Compositions and operations on abstract domains
  • Data structures and algorithms for abstract domains
  • Novel applications of abstract domains implementations
  • Practical experiments and comparisons
  • Implementations aspects

Submission instructions

We invite submissions in the following two categories:

  1. Regular paper (6-10 pages including references): These submissions should describe work that advances the current state of the art in the above or related areas.

  2. Short paper or extended abstract (2-5 pages including references): These submissions could describe work in progress, tools, experiments, overviews or improvements over existing work, in the above or related areas.

Submissions have to be made online using ACM style via the NSAD 2020 author interface of HotCRP (https://nsad2020.hotcrp.com). For the format, please use the SIGPLAN acmart style for all papers: http://www.sigplan.org/Resources/Author/.

All submissions will be peer-reviewed by at least three members of the program committee for quality and relevance.

Proceedings

All accepted papers will be considered for publication by ACM and will be available via the ACM Digital Library, except if the authors prefer not to be included. One of the co-authors is expected to present the paper during the workshop.

Important Dates

  • Submission deadline for regular paper: September 4, 2020 (AoE), September 14th, 2020 (AoE)
  • Submission deadline for short paper or extended abstract: September 18, 2020 (AoE), September 20, 2020 (AoE)
  • Notification of acceptance: September 30, 2020
  • Camera ready due: October 9, 2020 (AoE)

Venue and Registration

Please see the main SPLASH 2020 page for details.

Questions? Use the NSAD contact form.