Impact paper: Model Checking Programs (ESEC/FSE 2020 - Plenary events) - ESEC/FSE 2020

Write a Blog >>

Fri 6 - Mon 16 November 2020 Sacramento, California, United States

Who

Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park

Track

ESEC/FSE 2020 Plenary events

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect 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

Fri 13 Nov 2020 17:00 - 17:18 at Virtual room 1 - Impact Paper Award & Test of Time Award Presentations Chair(s): Prem Devanbu

Willem Visser

Stellenbosch University, South Africa

South Africa

Klaus Havelund

NASA/Caltech Jet Propulsion Laboratory

United States

Guillaume P. Brat

Seungjoon Park

Time Zone

The program is currently displayed in (UTC) Coordinated Universal Time.

Use conference time zone: (UTC) Coordinated Universal TimeSelect 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

Fri 13 Nov
Displayed time zone: (UTC) Coordinated Universal Time change

	17:00 - 18:15	Impact Paper Award & Test of Time Award PresentationsPlenary events at Virtual room 1 Chair(s): Prem Devanbu University of California

	17:00 18m Talk		Impact paper: Model Checking Programs Plenary events Willem Visser Stellenbosch University, South Africa, Klaus Havelund NASA/Caltech Jet Propulsion Laboratory, Guillaume P. Brat , Seungjoon Park
	17:30 30m Talk		Test of Time paper: FUSION: a framework for engineering self-tuning self-adaptive software systems Plenary events Ahmed Elkhodary , Naeem Esfahani Google LLC, USA, Sam Malek University of California at Irvine, USA
	18:00 5m		Award Announcements (SRC, Reddit) Plenary events Bonita Sharif University of Nebraska-Lincoln, USA, Sonia Haiduc Florida State University, David C. Shepherd Virginia Commonwealth University
	18:05 10m		Announcement ESEC/FSE 2021 Plenary events Diomidis Spinellis Athens University of Economics and Business, Georgios Gousios Facebook & Delft University of Technology, Marsha Chechik University of Toronto, Massimiliano Di Penta University of Sannio, Italy