SAS 2020
Wed 18 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Thu 19 Nov 2020 15:40 - 16:00 at SPLASH-III - 9 Chair(s): Kwangkeun Yi
Fri 20 Nov 2020 03:40 - 04:00 at SPLASH-III - 9 Chair(s): Jerome Feret
preprint (sas20.pdf)446KiB

Conference Day
Thu 19 Nov

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

15:00 - 16:20
9SAS at SPLASH-III +12h
Chair(s): Kwangkeun YiSeoul National University, South Korea
15:00
20m
Research paper
Counterexample- and Simulation-Guided Floating-Point Loop Invariant SynthesisArtifact
SAS
Anastasiia IzychevaTechnical University of Munich, Eva DarulovaMPI-SWS, Helmut SeidlTechnische Universität München
Pre-print Media Attached
15:40
20m
Research paper
Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking
SAS
Naoki IwayamaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan, Ryota Suzuki, Takeshi TsukadaChiba University, Japan
File Attached

Conference Day
Fri 20 Nov

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

03:00 - 04:20
9SAS at SPLASH-III
Chair(s): Jerome FeretINRIA Paris
03:00
20m
Research paper
Counterexample- and Simulation-Guided Floating-Point Loop Invariant SynthesisArtifact
SAS
Anastasiia IzychevaTechnical University of Munich, Eva DarulovaMPI-SWS, Helmut SeidlTechnische Universität München
Pre-print Media Attached
03:40
20m
Research paper
Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking
SAS
Naoki IwayamaUniversity of Tokyo, Japan, Naoki KobayashiUniversity of Tokyo, Japan, Ryota Suzuki, Takeshi TsukadaChiba University, Japan
File Attached