Learning Guided Enumerative Synthesis for Superoptimization (SPIN 2019 - 26th International SPIN Symposium on Model Checking of Software) - SPIN 2019

Write a Blog >>

Mon 15 - Fri 19 July 2019 Beijing, China

co-located with ISSTA 2019

Who

Shikhar Singh, Mengshi Zhang, Sarfraz Khurshid

Track

SPIN 2019 26th International SPIN Symposium on Model Checking of Software

When

Tue 16 Jul 2019 11:30 - 12:00 at Meeting Room 4 - Session 2 - Synthesis and Learning

Shikhar Singh

Mengshi Zhang

University of Texas at Austin, USA

Sarfraz Khurshid

University of Texas at Austin

United States

Session Program

Tue 16 Jul

11:00 - 12:30: 26th International SPIN Symposium on Model Checking of Software - Session 2 - Synthesis and Learning at Meeting Room 4

11:00 - 11:30
Talk

STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph

Yuan Liu, Xi WangYale University, USA, Lintao Xian, Zhongwen Guo

11:30 - 12:00
Talk

Learning Guided Enumerative Synthesis for Superoptimization

Shikhar Singh, Mengshi ZhangUniversity of Texas at Austin, USA, Sarfraz KhurshidUniversity of Texas at Austin

12:00 - 12:30
Talk

A Study of Learning Data Structure Invariants Using Off-the-shelf Tools

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