logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
C

Clark Barrett

stanford university

42H-index
290Paper Count
1.0WCitation Count
Published Papers 7
Publication Date
logo
PEak: A Single Source of Truth for Hardware Design and Verification
errACM Transactions on Embedded Computing Systems
IF2.6
err2026-03-01
err0
PREAI
errDonovick, Caleb; Melchert, Jackson; Daly, Ross; Truong, Lenny; Raina, Priyanka; Hanrahan, Pat; Barrett, Clark
errShare
errSave
Certificates in AI: Learn but Verify
errCommunications of the ACM
IF12.2
err2026-01-01
err1
PREAI
errBarrett, Clark; Henzinger, Thomas A.; Seshia, Sanjit A.
errShare
errSave
ClassInvGen: Class Invariant Synthesis Using Large Language Models
errAI VERIFICATION, SAIV 2025
IF0
err2026-01-01
err0
PREAI
errSun, Chuyue; Agashe, Viraj; Chakraborty, Saikat; Taneja, Jubi; Barrett, Clark; Dill, David; Qiu, Xiaokang; Lahiri, Shuvendu K.
errShare
errSave
Combining Combination Properties, Part I: Nelson-Oppen and Politeness
errJournal of Automated Reasoning
IF0.8
err2025-12-23
err0
errOAAI
errToledo, Guilherme V.; Zohar, Yoni; Barrett, Clark
errShare
errSave
Interactive Bitvector Reasoning using Verified Bit-Blasting
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errBoving, Henrik; Bhat, Siddharth; Cicolini, Luisa; Keizer, Alex; Frenot, Leon; Mohamed, Abdalrhman; Stefanesco, Leo; Khan, Harun; Clune, Joshua; Barrett, Clark; Grosser, Tobias
errShare
errSave
Generating and Exploiting Automated Reasoning Proof Certificates
errCOMMUNICATIONS OF THE ACM
IF12.2
err2023-09-22
err3
PREAI
errBarbosa, Haniel; Barrett, Clark; Cook, Byron; Dutertre, Bruno; Kremer, Gereon; Lachnitt, Hanna; Niemetz, Aina; Notzli, Andres; Ozdemir, Alex; Preiner, Mathias; Reynolds, Andrew; Tinelli, Cesare; Zohar, Yoni
errShare
errSave
Global optimization of objective functions represented by ReLU networks
errMACHINE LEARNING
IF2.9
err2021-10-20
err13
errOAAI
errStrong, Christopher A.; Wu, Haoze; Zeljic, Aleksandar; Julian, Kyle D.; Katz, Guy; Barrett, Clark; Kochenderfer, Mykel J.
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
T
Thomas A. Henzinger
H-index: 97 · Papers: 724
P
Pat Hanrahan
H-index: 88 · Papers: 301
D
David L. Dill
H-index: 73 · Papers: 370
S
Sanjit A. Seshia
H-index: 63 · Papers: 437
M
Mykel J. Kochenderfer
H-index: 50 · Papers: 609
View more