Write a Blog >>
SPIN 2019
Mon 15 - Fri 19 July 2019 Beijing, China
co-located with ISSTA 2019
Tue 16 Jul 2019 11:00 - 11:30 at Meeting Room 4 - Session 2 - Synthesis and Learning

Tue 16 Jul

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

11:00 - 12:30
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