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
Times are displayed in 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 WangYale 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 ZhangUniversity of Texas at Austin, USA, Sarfraz KhurshidUniversity 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 WangThe University of Texas at Austin, Texas, USA, Kaiyuan WangGoogle Inc., Cagdas Yelen, Nima DiniUniversity of Texas at Austin, Sarfraz KhurshidUniversity of Texas at Austin