ISSTA 2019 (series) / SPIN 2019 (series) / 26th International SPIN Symposium on Model Checking of Software /
Learning Guided Enumerative Synthesis for Superoptimization
Tue 16 Jul 2019 11:30 - 12:00 at Meeting Room 4 - Session 2 - Synthesis and Learning
Tue 16 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
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 30mTalk | STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph 26th International SPIN Symposium on Model Checking of Software | ||
11:30 30mTalk | 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 30mTalk | 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 | ||