SMT 2014 PROCEEDINGS

Editors: Philipp Ruemmer and Christoph M. Wintersteiger

Authors	Title	Talk
Clark Barrett	SMT: Where do we go from here?	Jul 17 09:15
Daniel J. Fremont and Sanjit A. Seshia	Speeding Up SMT-Based Quantitative Program Analysis	Jul 17 10:45
Hristina Palikareva and Cristian Cadar	Multi-solver Support in Symbolic Execution	Jul 17 11:15
Mats Carlsson, Olga Grinchtein and Justin Pearson	Protocol Log Analysis with Constraint Programming	Jul 17 11:45
Edmund S. L. Lam and Iliano Cervesato	Reasoning About Set Comprehensions	Jul 17 12:15
Juergen Christ and Jochen Hoenicke	Weakly Equivalent Arrays	Jul 17 14:30
Francesco Alberti, Silvio Ghilardi and Natasha Sharygina	Decision Procedures for Flat Array Properties	Jul 17 15:00
Richard Bonichon, David Déharbe and Cláudia Tavares	Extending SMT-LIB v2 with Lambda-Terms and Polymorphism	Jul 17 15:30
Guillaume Melquiond	Automating the Verification of Floating-Point Algorithms	Jul 18 09:15
Tim King, Clark Barrett and Cesare Tinelli	Leveraging Linear and Mixed Integer Programming for SMT	Jul 18 10:45
To Van Khanh, Vu Xuan Tung and Mizuhito Ogawa	raSAT: SMT for Polynomial Inequality	Jul 18 11:15
Marek Kosta, Thomas Sturm and Andreas Dolzmann	Better Answers to Real Questions	Jul 18 11:45
Konstantin Korovin, Marek Kosta and Thomas Sturm	Towards Conflict-Driven Learning for Virtual Substitution	Jul 18 12:15