Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Online (initially located in Paris, France), July 5-6, 2020 - researchr publication

researchr

You are not signed in
Sign in
Sign up

François Bobot, Tjark Weber, editors, Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Online (initially located in Paris, France), July 5-6, 2020. Volume 2854 of CEUR Workshop Proceedings, CEUR-WS.org, 2021. [doi]

Conference: smt2021

Abstract is missing.

Invited Talk: Solving String Constraints, Starting from the Beginning and from the EndPhilipp Rümmer. 1 [doi]

Invited Talk: Harnessing SMT Solvers for Verifying Low Level ProgramsMooly Sagiv. 2 [doi]

Lifting Congruence Closure with Free Variables to λ-free Higher-order Logic via SAT EncodingSophie Tourret, Pascal Fontaine, Daniel El Ouraoui, Haniel Barbosa. 3-14 [doi]

An Empirical Evaluation of SAT Solvers on Bit-vector ProblemsBruno Dutertre. 15-25 [doi]

Structural Bit-vector Model CountingSeonmo Kim, Stephen McCamant. 26-36 [doi]

Bayesian Optimisation of Solver Parameters in CBMCChaitanya Mangla, Sean B. Holden, Lawrence C. Paulson. 37-47 [doi]

Smt-Switch: A Solver-agnostic C++ API for SMT SolvingMakai Mann, Amalee Wilson, Cesare Tinelli, Clark W. Barrett. 48-58 [doi]

Abstract: SMT-Friendly Formalization of the Solidity Memory ModelÁkos Hajdu, Dejan Jovanovic. 59 [doi]

Abstract: Towards an SMT-LIB Theory of HeapZafer Esen, Philipp Rümmer. 60 [doi]

Abstract: BanditFuzz: A Reinforcement-Learning based Performance Fuzzer for SMT SolversJoseph Scott, Federico Mora, Vijay Ganesh. 61 [doi]

Abstract: MachSMT: A Machine Learning-based Algorithm Selector for SMT SolversJoseph Scott, Aina Niemetz, Mathias Preiner, Vijay Ganesh. 62 [doi]

runs on WebDSL