|
|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SMT INFORMAL PROCEEDINGS
| Authors | Title | Paper | Talk |
|---|
| Peter Backeman, Aleksandar Zeljić, Philipp Ruemmer and Christoph M. Wintersteiger | The next 10^4 UppSAT Approximations |  | Jul 12 11:30 | | Mohamed Iguernlala, Sylvain Conchon and Albin Coquereau | Alt-Ergo 2.2 | | Jul 12 12:00 | | Gergely Kovásznai, Csaba Biró and Balázs Erdélyi | Puli - A Problem-Specific OMT Solver | | Jul 12 15:00 | | Leonardo Alt and Christian Reitwiessner | SMT-based Compile-time Verification of Safety Properties for Smart Contracts | | Jul 12 16:00 | | Arie Gurfinkel, Sharon Shoham and Yakir Vizel | Discovering Universally Quantified Solutions for Constrained Horn Clauses | | Jul 13 14:00 | | Andrew Reynolds, Haniel Barbosa, Aina Niemetz, Andres Noetzli, Mathias Preiner, Clark Barrett and Cesare Tinelli | Rewrites for SMT Solvers using Syntax-Guided Enumeration | | Jul 12 17:00 | | Haniel Barbosa, Andrew Reynolds, Pascal Fontaine, Daniel El Ouraoui and Cesare Tinelli | Higher-Order SMT Solving | | Jul 13 10:00 | | François Bobot, Stephane Graham-Lengrand, Bruno Marre and Guillaume Bury | Centralizing Equality Reasoning in MCSAT | | Jul 13 11:00 | | Guillaume Bury, David Delahaye and Simon Cruanes | SMT Solving Modulo Tableau and Rewriting Theories | | Jul 12 16:30 | | Giles Reger and Martin Riener | What is the Point of an SMT-LIB Problem? | | Jul 13 14:30 |
|
|