Concepedia

Clark Barrett

CB

58

Publications

2.7K

Citations

28

H-Index

1998

Active since

Affiliations

Stanford University(Current)

New York University

University of Iowa

Carnegie Mellon University

Microsoft Research (United Kingdom)

Clark Barrett is an author at Stanford University specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationVerificationFormal MethodsAutomated ReasoningComputer EngineeringProgram AnalysisDeep LearningSatisfiability

Publications per year

1998–2024

58

Publications

58

The SMT-LIB Standard Version 2.0

Clark Barrett, Aaron Stump, Cesare Tinelli · 2010 · 718 citations

A decision procedure for an extensional theory of arrays

Aaron Stump, Clark Barrett, David L. Dill et al. · 2002 · 135 citations

Mathematical Programming, Computational Complexity Theory, Engineering +16

Towards Proving the Adversarial Robustness of Deep Neural Networks

Guy Katz, Clark Barrett, David L. Dill et al. · Electronic Proceedings in Theoretical Computer Science · 2017 · 115 citations · Full text

Artificial Intelligence, Ai Reliability, Adversarial Robustness +14

A decision procedure for bit-vector arithmetic

Clark Barrett, David L. Dill, Jeremy Levitt · 1998 · 102 citations · Full text

Engineering, Hardware Verification Language, Verification +18

Provably Minimally-Distorted Adversarial Examples

Nicholas Carlini, Guy Katz, Clark Barrett et al. · arXiv (Cornell University) · 2017 · 100 citations · Full text

Engineering, Machine Learning, Verification +16

Rows per page

1–5 of 58