Efficient Static Checking of Library Updates (ESEC/FSE 2018 - Industry) - ESEC/FSE 2018

Sun 4 - Fri 9 November 2018 Lake Buena Vista, Florida, United States

Who

Darius Foo, Hendy Chua, Jason Yeo, Ang Ming Yi, Asankhaya Sharma

Track

ESEC/FSE 2018 Industry

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect 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

Tue 6 Nov 2018 10:52 - 11:14 at Horizons 5 - Formal Analysis

Darius Foo

Hendy Chua

Jason Yeo

Ang Ming Yi

Asankhaya Sharma

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect 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

Tue 6 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change

	10:30 - 12:00	Formal AnalysisIndustry at Horizons 5

	10:30 22m Talk		Modeling and Testing a Family of Surgical Robots: An Experience Report Industry Niloofar Mansoor , Jonathan A. Saddler , Bruno Silva University of Nebraska-Lincoln, Hamid Bagheri University of Nebraska-Lincoln, USA, Myra Cohen Iowa State University, Shane Farritor
	10:52 22m Talk		Efficient Static Checking of Library Updates Industry Darius Foo , Hendy Chua , Jason Yeo , Ang Ming Yi , Asankhaya Sharma
	11:14 22m Talk		Neha Rungta: Formal Verification at Amazon Scale, Amazon Web Services Industry Neha Rungta Amazon Web Services