A Study of Learning Data Structure Invariants Using Off-the-shelf Tools (SPIN 2019 - 26th International SPIN Symposium on Model Checking of Software)

Who

Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid

Track

SPIN 2019 26th International SPIN Symposium on Model Checking of Software

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

Save

When

Tue 16 Jul 2019 12:00 - 12:30 at Meeting Room 4 - Session 2 - Synthesis and Learning

Muhammad Usman

Wenxi Wang

The University of Texas at Austin, Texas, USA

United States

Kaiyuan Wang

Google Inc.

United States

Cagdas Yelen

Nima Dini

University of Texas at Austin

United States

Sarfraz Khurshid

University of Texas at Austin

United States

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

Display full programSpecify a time band

Save

Session Program

Tue 16 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

11:00 - 12:30	Session 2 - Synthesis and Learning26th International SPIN Symposium on Model Checking of Software at Meeting Room 4

11:00 30m Talk		STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph 26th International SPIN Symposium on Model Checking of Software Yuan Liu , Xi Wang Yale University, USA, Lintao Xian , Zhongwen Guo
11:30 30m Talk		Learning Guided Enumerative Synthesis for Superoptimization 26th International SPIN Symposium on Model Checking of Software Shikhar Singh , Mengshi Zhang University of Texas at Austin, USA, Sarfraz Khurshid University of Texas at Austin
12:00 30m Talk		A Study of Learning Data Structure Invariants Using Off-the-shelf Tools 26th International SPIN Symposium on Model Checking of Software Muhammad Usman , Wenxi Wang The University of Texas at Austin, Texas, USA, Kaiyuan Wang Google Inc., Cagdas Yelen , Nima Dini University of Texas at Austin, Sarfraz Khurshid University of Texas at Austin