Clark Barrett
10 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Clark Barrett
Clark Barrett, Stanford: SMT solving where it meets hardware -- processor security properties, syntax-guided synthesis, and automating proof obligations. Four records, 2018-2026.
Automating Bitvector and Finite Field Equivalence Proofs in Lean
Elizaveta Pertseva and others (2026)
Effective Pre-Silicon Verification of Processor Cores by Breaking the Bounds of Symbolic Quick Error Detection
Karthik Ganesan and others (2021)
Pono: A Flexible and Extensible SMT-Based Model Checker
Makai Mann and others (2021) · Computer Aided Verification · Springer International Publishing
Syntax-Guided Quantifier Instantiation
Aina Niemetz and others (2021) · 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems · Springer
Satisfiability Modulo Theories
Clark Barrett and others (2018) · Springer Nature
Processor Hardware Security Vulnerabilities and their Detection by Unique Program Execution Checking
Mohammad Rahmani Fadiheh and others (2018)
Symbolic quick error detection using symbolic initial state for pre-silicon verification
Mohammad Rahmani Fadiheh and others (2018) · Design, Automation, and Test in Europe
SMTCoq: A Plug-In for Integrating SMT Solvers into Coq
Burak Ekici and others (2017) · Computer Aided Verification · Springer International Publishing
A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors
Liana Hadarean and others (2014) · Lecture notes in computer science · Springer Science+Business Media
The SMT-LIB standard: Version 2.0
Clark Barrett and others (2010) · Proceedings of the 8th international workshop on satisfiability modulo theories (Edinburgh, England)