Program

10:30	Yuxiang Lei (University of Technology, Sydney, Australia) Yulei Sui (University of Technology, Sydney, Australia) Fast and Precise Handling of Positive Weight Cycles for Field-sensitive Pointer Analysis (abstract)
11:00	Hua Yan (The University of New South Wales, Australia) Shiping Chen (CSIRO, Australia) Yulei Sui (University of Technology, Sydney, Australia) Yueqian Zhang (The University of New South Wales, Australia) Changwei Zou (The University of New South Wales, Australia) Jingling Xue (The University of New South Wales, Australia) Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis (abstract)
11:30	Marcus Völker (Informatik 11, RWTH Aachen, Germany) Stefan Kowalewski (Informatik 11, RWTH Aachen, Germany) A Change-based Heuristic for Static Analysis with Policy Iteration (abstract)
12:00	Patrick Cousot (New York University, United States) Syntactic and Semantic Soundness of Structural Dataflow Analysis (abstract)

12:30-14:00 Lunch

14:00-15:00 Session 3: Keynote: Caterina Urban

Chair:

Antoine Miné (LIP6, UPMC, France)

Location: Google

14:00

Caterina Urban (INRIA, France)

Static Analysis of Data Science Software (abstract)

15:00-15:30 Coffee

15:30-17:00 Session 4: Languages and Decidability

Chair:

Sandrine Blazy (University of Rennes 1, France)

Location: Google

15:30	Marco Campion (University of Verona, Italy) Mila Dalla Preda (University of Verona, Italy) Roberto Giacobazzi (University of Verona, Italy) Abstract Interpretation of Indexed Grammars (abstract)
16:00	Pierre Ganty (IMDEA, Spain) Francesco Ranzato (University of Padova, Italy) Pedro Valero (IMDEA, Spain) Language Inclusion Algorithms as Complete Abstract Interpretations (abstract)
16:30	Nathanaël Fijalkow (Labri, U. Bordeaux, France) Engel Lefaucheux (MPI-SWS, Germany) Pierre Ohlmann (IRIF, U. Paris 7, France) Joël Ouaknine (MPI-SWS, Germany) Amaury Pouly (IRIF, U. Paris 7, France) James Worrell (University of Oxford, UK) On the Monniaux Problem in Abstract Interpretation (abstract)

17:00-17:10 Presentation of the Radhia Cousot Young Researcher Award

Chair:

Bor-Yuh Evan Chang (University of Colorado Boulder and Amazon, United States)

Location: Google

17:10-17:20 Program Chair's Report

Chair:

Bor-Yuh Evan Chang (University of Colorado Boulder and Amazon, United States)

Location: Google

Thursday, October 10th

View this program: with abstracts session overview talk overview

09:00-10:00 Session 5: Keynote: Somesh Jha

Chair:

Patrick Cousot (New York University, United States)

Location: Google

09:00

Somesh Jha (University of Wisconsin-Madison, United States)

Towards Semantic Adversarial Examples (abstract)

10:00-10:30 Coffee

10:30-12:30 Session 6: Numerical

Chair:

Francesco Ranzato (University of Padova, Italy)

Location: Google

10:30	Anna Becchi (University of Udine, Italy) Enea Zaffanella (University of Parma, Italy) Revisiting Polyhedral Analysis for Hybrid Systems (abstract)
11:00	Hang Yu (Verimag, UGA, France) David Monniaux (Verimag, UGA, France) An Efficient Parametric Linear Programming Solver and Application to Polyhedral Projection (abstract)
11:30	David Delmas (Airbus Operations SAS, France) Antoine Miné (LIP6, UPMC, France) Analysis of Software Patches using Numerical Abstract Interpretation (abstract)
12:00	Banghu Yin (National University of Defense Technology, China) Liqian Chen (National University of Defense Technology, China) Jiangchao Liu (National University of Defense Technology, China) Ji Wang (School of Computer, National University of Defense Technology, China) Patrick Cousot (New York University, United States) Verifying Numerical Programs via Iterative Abstract Testing (abstract)

12:30-14:00 Lunch

14:00-15:00 Session 7: Trends: Assuring Machine Learning

Chair:

Roberto Giacobazzi (University of Verona, Italy)

Location: Google

14:00

Patrick Cousot (New York University, United States)

Abstract Semantic Dependency (abstract)

14:30

Jianlin Li (Institute of Software Chinese Academy of Sciences, China)
Jiangchao Liu (National University of Defense Technology, China)
Pengfei Yang (Institute of Software Chinese Academy of Sciences, China)
Liqian Chen (National University of Defense Technology, China)
Xiaowei Huang (University of Liverpool, China)
Lijun Zhang (Institute of Software Chinese Academy of Sciences, China)

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification (abstract)

15:00-15:30 Coffee

15:30-23:00 Social Program and FM Congress Banquet

Friday, October 11th

View this program: with abstracts session overview talk overview

09:00-10:00 Session 8: Keynote: Suresh Jagannathan

Chair:

Manuel Hermenegildo (IMDEA, Spain)

Location: Google

09:00

Suresh Jagannathan (Purdue University, United States)

Learning Verifiers and Verifying Learners (abstract)

10:00-10:30 Coffee

10:30-12:30 Session 9: Synthesis and Security

Chair:

Thomas Jensen (INRIA, France)

Location: Google

10:30	Daniel Neider (Max Planck Institute for Software Systems, Germany) Shambwaditya Saha (University of Illinois at Urbana Champaing, United States) Pranav Garg (Amazon, United States) P. Madhusudan (University of Illinois at Urbana-Champaign, United States) Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants (abstract)
11:00	Qinheping Hu (University of Wisconsin-Madison, United States) Roopsha Samanta (Purdue, United States) Rishabh Singh (Google, United States) Loris D'Antoni (University of Wisconsin-Madison, United States) Direct Manipulation for Imperative Programs (abstract)
11:30	Chaoqiang Deng (New York University, United States) Patrick Cousot (New York University, United States) Responsibility Analysis by Abstract Interpretation (abstract)
12:00	Francesco Ranzato (Dipartimento di Matematica, University of Padova, Italy, Italy) Marco Zanella (Dipartimento di Matematica, University of Padova, Italy, Italy) Robustness Verification of Support Vector Machines (abstract)

12:30-14:00 Lunch

14:00-15:30 Session 10: Temporal Properties and Termination

Chair:

Jérôme Feret (INRIA, France)

Location: Google

14:00	Naoki Kobayashi (The University of Tokyo, Japan) Takeshi Nishikawa (Kyoto University, Japan) Atsushi Igarashi (Kyoto University, Japan) Hiroshi Unno (University of Tsukuba, Japan) Temporal Verification of Programs via First-Order Fixpoint Logic (abstract)
14:30	Yuya Okuyama (The University of Tokyo, Japan) Takeshi Tsukada (The University of Tokyo, Japan) Naoki Kobayashi (The University of Tokyo, Japan) A Temporal Logic for Higher-Order Functional Programs (abstract)
15:00	Amir Ben-Amram (Tel-Aviv Academic College, Israel) Jesús Doménech (Universidad Complutense de Madrid, Spain) Samir Genaim (Universidad Complutense de Madrid, Spain) Multiphase-Linear Ranking Functions and their Relation to Recurrent Sets (abstract)

15:30-16:00 Coffee