Keynote - From Typestate Verification to Interpretable Deep Models (ISSTA 2019 - Keynote) - ISSTA 2019

Mon 15 - Fri 19 July 2019 Beijing, China

Who

Eran Yahav, Stephen J Fink, Nurit Dor, G. Ramalingam, Emmanuel Geay

Track

ISSTA 2019 Keynote

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect 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 18 Jul 2019 09:00 - 10:00 at Grand Ballroom - Keynote & Award Presentation

Eran Yahav

Technion

Israel

Stephen J Fink

IBM

United States

Nurit Dor

G. Ramalingam

Microsoft Research

India

Emmanuel Geay

Wayfair

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect 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 18 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

	09:00 - 10:30	Keynote & Award PresentationKeynote at Grand Ballroom

	09:00 60m Talk		Keynote - From Typestate Verification to Interpretable Deep Models Keynote Eran Yahav Technion, Stephen J Fink IBM, Nurit Dor , G. Ramalingam Microsoft Research, Emmanuel Geay Wayfair
	10:00 7m Awards		Impact Paper Awards Keynote Dongmei Zhang Microsoft Research, China
	10:07 7m Awards		Distinguished Paper Awards Keynote Anders Møller Aarhus University
	10:14 7m Awards		Distinguished Artifact Awards Keynote Dan Hao Peking University, Michael Pradel TU Darmstadt and Facebook
	10:21 7m Awards		Best Tool Demonstration Award Keynote Alessandra Gorla IMDEA Software Institute, Hongyu Zhang The University of Newcastle