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

Display in different time zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.
Apply
Close
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

Display in different time zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.
Apply
Close

Tue 16 Jul (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi change

spin-2019-papers
11:00 - 12:30: 26th International SPIN Symposium on Model Checking of Software - Session 2 - Synthesis and Learning at Meeting Room 4
spin-2019-papers11:00 - 11:30
Talk
Yuan Liu, Xi WangYale University, USA, Lintao Xian, Zhongwen Guo
spin-2019-papers11:30 - 12:00
Talk
Shikhar Singh, Mengshi ZhangUniversity of Texas at Austin, USA, Sarfraz KhurshidUniversity of Texas at Austin
spin-2019-papers12:00 - 12:30
Talk
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