Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking (SAS 2020 - - 27th Static Analysis Symposium) - SAS 2020

Wed 18 - Fri 20 November 2020 Online Conference

co-located with SPLASH 2020

Who

Naoki Iwayama, Naoki Kobayashi, Ryota Suzuki, Takeshi Tsukada

Track

Time Zone

The program is currently displayed in (GMT-06:00) Central Time (US & Canada).

Use conference time zone: (GMT-06:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

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

File attachments

preprint (sas20.pdf)	446KiB

Naoki Iwayama

University of Tokyo, Japan

Naoki Kobayashi

University of Tokyo, Japan

Japan

Ryota Suzuki

Takeshi Tsukada

Chiba University, Japan

Japan

Time Zone

The program is currently displayed in (GMT-06:00) Central Time (US & Canada).

Use conference time zone: (GMT-06:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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