SAS 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021

0 results

People (17 results)
Dimi Racordon

Dimi Racordon

University of Geneva, Switzerland

… libraries. Most (if not all) of of his work is available on my GitHub profile. …

Michael B. James

Michael B. James

University of California at San Diego

… to help other engineers and make programming easier for all. …

Işil Dillig

Işil Dillig

University of Texas at Austin

all her degrees (BS, MS, and PhD) from Stanford University. …

Events (6 results)

Backward Symbolic Execution with Loop Folding

SAS When: Mon 18 Oct 2021 15:55 - 16:10Mon 18 Oct 2021 07:55 - 08:10 People: Marek Chalupa, Jan Strejcek

… to search all possible execution paths starting in the initial program location. Due … to analyze all execution paths and thus it is not convenient for program … all program loops, we present an extension called loop folding that aims …

Data Abstraction: A General Framework to Handle Program Verification of Data Structures

SAS When: Sun 17 Oct 2021 14:30 - 14:45Sun 17 Oct 2021 22:30 - 22:45 People: Julien Braine, Laure Gonnord, David Monniaux

… Proving properties on programs operating over arrays, or array-like data structures, most often involves universally quantified invariants, e.g., “all elements below index i are nonzero”. In this article, we propose a general data …

Verified Functional Programming of an Abstract Interpreter

SAS When: Sun 17 Oct 2021 14:05 - 14:20Sun 17 Oct 2021 22:05 - 22:20 People: Lucas Franceschino, David Pichardie, Jean-Pierre Talpin

… assistants. Almost all the code of our implementation, proofs included, written …

Exploiting Verified Neural Networks via Floating Point Numerical Error

SAS When: Sun 17 Oct 2021 17:15 - 17:30Sun 17 Oct 2021 09:15 - 09:30 People: Kai Jia, Martin C. Rinard

… to all inputs in a space for a neural network. However, many verifiers …

Attending Information (7 results)

Guide for Attendees

… hopefully without compromising the experience of each.

**Please note that ALL … channel for the event you want to attend. We encourage all virtual attendees … slot". *We highly recommend that all the attendees install and use [Discord App …


… receive free registration and access to all sessions. See the [Student Volunteer …

Code of Conduct

… **Please note that ALL attendees are required to be fully vaccinated to attend … and all conference activities. Special circumstances may be discussed …-discrimination-and-harassment). We expect all the participants to use welcoming …

Tracks (1 results)

SAS 2021 - 28th Static Analysis Symposium

All deadlines are AoE (Anywhere on Earth).

  • Paper submission: April 25 …. Contributions are welcomed on all aspects of static analysis, including, but not limited … to a journal or a conference with refereed proceedings.

All submitted papers …

General (1 results)

SAS 2021 Homepage

… Static Analysis Symposium 2021 Welcome to the website of the Static Analysis Symposium 2021 conference. We are working hard to fill the website with all … lectures and presentations of refereed papers. Contributions are welcomed on all