Clark Barrett - Publications, H-index & Citations

Clark Barrett

stanford university

42H指数

290论文数

1.0W被引数

收录论文 7

发表时间

PEak: A Single Source of Truth for Hardware Design and Verification PEak：硬件设计与验证的单一真实来源

ACM Transactions on Embedded Computing Systems

IF2.6

2026-03-01

PREAI

Donovick, Caleb; Melchert, Jackson; Daly, Ross; Truong, Lenny; Raina, Priyanka; Hanrahan, Pat; Barrett, Clark

Certificates in AI: Learn but Verify 人工智能证书：学习与验证

Communications of the ACM

IF12.2

2026-01-01

PREAI

Barrett, Clark; Henzinger, Thomas A.; Seshia, Sanjit A.

ClassInvGen: Class Invariant Synthesis Using Large Language Models ClassInvGen：基于大型语言模型的类不变量合成

AI VERIFICATION, SAIV 2025

IF0

2026-01-01

PREAI

Sun, Chuyue; Agashe, Viraj; Chakraborty, Saikat; Taneja, Jubi; Barrett, Clark; Dill, David; Qiu, Xiaokang; Lahiri, Shuvendu K.

Combining Combination Properties, Part I: Nelson-Oppen and Politeness 结合组合性质，第一部分：Nelson-Oppen 和 Politeness

Journal of Automated Reasoning

IF0.8

2025-12-23

OAAI

Toledo, Guilherme V.; Zohar, Yoni; Barrett, Clark

Interactive Bitvector Reasoning using Verified Bit-Blasting 基于验证位爆破的交互式位向量推理

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL

IF2.8

2025-10-01

PREAI

Boving, Henrik; Bhat, Siddharth; Cicolini, Luisa; Keizer, Alex; Frenot, Leon; Mohamed, Abdalrhman; Stefanesco, Leo; Khan, Harun; Clune, Joshua; Barrett, Clark; Grosser, Tobias

Generating and Exploiting Automated Reasoning Proof Certificates

COMMUNICATIONS OF THE ACM

IF12.2

2023-09-22

PREAI

Barbosa, 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

Global optimization of objective functions represented by ReLU networks ReLU网络表示的目标函数的全局优化

MACHINE LEARNING

IF2.9

2021-10-20

OAAI

Strong, Christopher A.; Wu, Haoze; Zeljic, Aleksandar; Julian, Kyle D.; Katz, Guy; Barrett, Clark; Kochenderfer, Mykel J.

研究方向