FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Alt, Leonardo	SMT-based Compile-time Verification of Safety Properties for Smart Contracts (PDF, talk)
B
Backeman, Peter	The next 10^4 UppSAT Approximations (PDF, talk)
Barbosa, Haniel	Rewrites for SMT Solvers using Syntax-Guided Enumeration (PDF, talk) Higher-Order SMT Solving (PDF, talk)
Barrett, Clark	Rewrites for SMT Solvers using Syntax-Guided Enumeration (PDF, talk)
Biró, Csaba	Puli - A Problem-Specific OMT Solver (PDF, talk)
Bobot, François	Centralizing Equality Reasoning in MCSAT (PDF, talk)
Bury, Guillaume	Centralizing Equality Reasoning in MCSAT (PDF, talk) SMT Solving Modulo Tableau and Rewriting Theories (PDF, talk)
C
Conchon, Sylvain	Alt-Ergo 2.2 (PDF, talk)
Coquereau, Albin	Alt-Ergo 2.2 (PDF, talk)
Cruanes, Simon	SMT Solving Modulo Tableau and Rewriting Theories (PDF, talk)
D
Delahaye, David	SMT Solving Modulo Tableau and Rewriting Theories (PDF, talk)
E
El Ouraoui, Daniel	Higher-Order SMT Solving (PDF, talk)
Erdélyi, Balázs	Puli - A Problem-Specific OMT Solver (PDF, talk)
F
Fontaine, Pascal	Higher-Order SMT Solving (PDF, talk)
G
Graham-Lengrand, Stephane	Centralizing Equality Reasoning in MCSAT (PDF, talk)
Gurfinkel, Arie	Discovering Universally Quantified Solutions for Constrained Horn Clauses (PDF, talk)
I
Iguernlala, Mohamed	Alt-Ergo 2.2 (PDF, talk)
K
Kovásznai, Gergely	Puli - A Problem-Specific OMT Solver (PDF, talk)
M
Marre, Bruno	Centralizing Equality Reasoning in MCSAT (PDF, talk)
N
Niemetz, Aina	Rewrites for SMT Solvers using Syntax-Guided Enumeration (PDF, talk)
Noetzli, Andres	Rewrites for SMT Solvers using Syntax-Guided Enumeration (PDF, talk)
P
Preiner, Mathias	Rewrites for SMT Solvers using Syntax-Guided Enumeration (PDF, talk)
R
Reger, Giles	What is the Point of an SMT-LIB Problem? (PDF, talk)
Reitwiessner, Christian	SMT-based Compile-time Verification of Safety Properties for Smart Contracts (PDF, talk)
Reynolds, Andrew	Rewrites for SMT Solvers using Syntax-Guided Enumeration (PDF, talk) Higher-Order SMT Solving (PDF, talk)
Riener, Martin	What is the Point of an SMT-LIB Problem? (PDF, talk)
Ruemmer, Philipp	The next 10^4 UppSAT Approximations (PDF, talk)
S
Shoham, Sharon	Discovering Universally Quantified Solutions for Constrained Horn Clauses (PDF, talk)
T
Tinelli, Cesare	Rewrites for SMT Solvers using Syntax-Guided Enumeration (PDF, talk) Higher-Order SMT Solving (PDF, talk)
V
Vizel, Yakir	Discovering Universally Quantified Solutions for Constrained Horn Clauses (PDF, talk)
W
Wintersteiger, Christoph M.	The next 10^4 UppSAT Approximations (PDF, talk)
Z
Zeljić, Aleksandar	The next 10^4 UppSAT Approximations (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program