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

Sun 15 - 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

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

	15:00 - 16:20	9SAS at SPLASH-III +12h Chair(s): Kwangkeun Yi Seoul National University, South Korea

	15:00 20m Research paper		Counterexample- and Simulation-Guided Floating-Point Loop Invariant SynthesisArtifact SAS Anastasia Isychev Technical University of Munich, Eva Darulova MPI-SWS, Helmut Seidl Technische Universität München Pre-print Media Attached
	15:40 20m Research paper		Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking SAS Naoki Iwayama University of Tokyo, Japan, Naoki Kobayashi University of Tokyo, Japan, Ryota Suzuki , Takeshi Tsukada Chiba University, Japan File Attached

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

	03:00 - 04:20	9SAS at SPLASH-III Chair(s): Jerome Feret INRIA Paris

	03:00 20m Research paper		Counterexample- and Simulation-Guided Floating-Point Loop Invariant SynthesisArtifact SAS Anastasia Isychev Technical University of Munich, Eva Darulova MPI-SWS, Helmut Seidl Technische Universität München Pre-print Media Attached
	03:40 20m Research paper		Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking SAS Naoki Iwayama University of Tokyo, Japan, Naoki Kobayashi University of Tokyo, Japan, Ryota Suzuki , Takeshi Tsukada Chiba University, Japan File Attached