STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph (SPIN 2019 - 26th International SPIN Symposium on Model Checking of Software) - SPIN 2019

Write a Blog >>

Mon 15 - Fri 19 July 2019 Beijing, China

co-located with ISSTA 2019

Who

Yuan Liu, Xi Wang, Lintao Xian, Zhongwen Guo

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

When

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

Yuan Liu

Xi Wang

Yale University, USA

Lintao Xian

Zhongwen Guo

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

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