SMT 2014 PROCEEDINGS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A B C D F G H K L M O P S T V X

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