Clark Barrett
Clark Barrett
Affiliation: Stanford University
Talks
(SMT)
Automated Reasoning with Nested Datatypes · Invited Talk + Encodings
(SAIV)
PICID: Proof-Driven Clause Learning in Neural Network Verification · Contributed talks and short presentations
(SMT)
Accelerating Parallel SMT Solving with Fixed First Decisions · Invited Talk + Parallelism
(AIMACS)
CSLib: The Lean Computer Science Library · Second morning session
(SMT)
Extending the cvc5 Relational Solver with Cyclicity Reasoning · Arrays, Datatypes & Relational Reasoning
(CAV)
Satisfiability Modulo Extensional Constant Arrays (Distinguished Paper) · SMT, SAT & Decision Procedures
(CAV)
Automating Bitvector and Finite Field Equivalence Proofs in Lean · Deductive Verification & Certified Verification
(IJCAR)
Checking Regular Expressions in cvc5 Proofs · SMT Proof Production & Checking
(IJCAR)
The termination of Nielsen transformations applied to word equations with length constraints · Theory Combination, Arithmetic Circuits & Embedded Systems
Pages in this Program
Program
Program on Friday, 24 July 2026
SMT on Friday, 24 July 2026
SMT Program
SAIV on Friday, 24 July 2026
SAIV Program
Program on Saturday, 25 July 2026
SMT on Saturday, 25 July 2026
AIMACS on Saturday, 25 July 2026
AIMACS Program
Program on Monday, 27 July 2026
CAV on Monday, 27 July 2026
CAV Program
Program on Wednesday, 29 July 2026
IJCAR on Wednesday, 29 July 2026
IJCAR Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑