Write a Blog >>
SPIN 2019
Mon 15 - Fri 19 July 2019 Beijing, China
co-located with ISSTA 2019
ISSTA 2019 (series) / SPIN 2019 (series) / 26th International SPIN Symposium on Model Checking of Software /

Learning Guided Enumerative Synthesis for Superoptimization

Shikhar Singh, Mengshi Zhang, Sarfraz Khurshid
SPIN 2019 26th International SPIN Symposium on Model Checking of Software
Tue 16 Jul 2019 11:30 - 12:00 at Meeting Room 4 - Session 2 - Synthesis and Learning
small-avatar
Shikhar Singh
small-avatar
Mengshi Zhang
University of Texas at Austin, USA
Sarfraz Khurshid
Sarfraz Khurshid
University of Texas at Austin
United States

Tue 16 Jul
Times are displayed in 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 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