VSL 2014: VIENNA SUMMER OF LOGIC 2014

A
Alberti, Francesco	Decision Procedures for Flat Array Properties
B
Barrett, Clark	SMT: Where do we go from here? Leveraging Linear and Mixed Integer Programming for SMT
Bonichon, Richard	Extending SMT-LIB v2 with lambda-terms and polymorphism
C
Cadar, Cristian	Multi-solver Support in Symbolic Execution
Carlsson, Mats	Protocol log analysis with constraint programming
Cervesato, Iliano	Reasoning About Set Comprehensions
Christ, Juergen	Weakly Equivalent Arrays
D
Dolzmann, Andreas	Better Answers to Real Questions
Déharbe, David	Extending SMT-LIB v2 with lambda-terms and polymorphism
F
Fremont, Daniel J.	Speeding Up SMT-Based Quantitative Program Analysis
G
Ghilardi, Silvio	Decision Procedures for Flat Array Properties
Grinchtein, Olga	Protocol log analysis with constraint programming
H
Hoenicke, Jochen	Weakly Equivalent Arrays
K
King, Tim	Leveraging Linear and Mixed Integer Programming for SMT
Korovin, Konstantin	Towards Conflict-Driven Learning for Virtual Substitution
Kosta, Marek	Better Answers to Real Questions Towards Conflict-Driven Learning for Virtual Substitution
L
Lam, Edmund Soon Lee	Reasoning About Set Comprehensions
M
Melquiond, Guillaume	Automating the verification of floating-point algorithms
O
Ogawa, Mizuhito	raSAT: SMT for Polynomial Inequality
P
Palikareva, Hristina	Multi-solver Support in Symbolic Execution
Pearson, Justin	Protocol log analysis with constraint programming
R
Rümmer, Philipp	Welcome
S
Seshia, Sanjit A.	Speeding Up SMT-Based Quantitative Program Analysis
Sharygina, Natasha	Decision Procedures for Flat Array Properties
Sturm, Thomas	Better Answers to Real Questions Towards Conflict-Driven Learning for Virtual Substitution
T
Tavares, Cláudia	Extending SMT-LIB v2 with lambda-terms and polymorphism
Tinelli, Cesare	Leveraging Linear and Mixed Integer Programming for SMT
V
Van Khanh, To	raSAT: SMT for Polynomial Inequality
X
Xuan Tung, Vu	raSAT: SMT for Polynomial Inequality

Disclaimer | Powered by EasyChair Smart Program