ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China
Fri 19 Jul 2019 09:00 - 10:00 at Grand Ballroom - Keynote & ISSTA 2020 Preview

The paper titled “Hampi: A Solver for String Constraints” was published in the proceedings of the International Symposium on Software Testing and Analysis (ISSTA) 2009, and has been selected to receive the ISSTA 2019 Impact Paper Award. The paper describes HAMPI, a system for solving the satisfiability problem for a rich theory of string (word) equations, operations over strings, and predicates over regular expressions and context-free grammars. HAMPI was one of the first practical string solvers aimed at software engineering and security problems, and has inspired considerable research on string solving algorithms and their applications. We review the work on the theory and practice of string solving algorithms over the last decade, specifically highlighting key historical developments that have led to their widespread use. On the practical front, we discuss different kinds of algorithmic paradigms, such as word- and automata-based, that have been developed to solve string and regular expression constraints. We then focus on the many hardness results that theorists have proved for fragments of theories over strings. Finally, we conclude with open theoretical problems, practical algorithmic challenges, and future applications of string solvers especially for security of web applications.

Fri 19 Jul

Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

09:00 - 10:30
Keynote & ISSTA 2020 PreviewKeynote at Grand Ballroom
Keynote - The Theory and Practice of String Solvers
Adam Kiezun Principal Engineer, Amazon Inc., Philip Guo UCSD, Pieter Hooimeijer Engineering Manager, Facebook Inc., Michael D. Ernst University of Washington, USA, Vijay Ganesh University of Waterloo
ISSTA 2020 Preview
Corina S. Păsăreanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center, Sarfraz Khurshid University of Texas at Austin