متابعة
Clark Barrett
Clark Barrett
Stanford University
بريد إلكتروني تم التحقق منه على cs.stanford.edu - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
Reluplex: An efficient SMT solver for verifying deep neural networks‏
G Katz, C Barrett, DL Dill, K Julian, MJ Kochenderfer‏
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017‏
24262017
Satisfiability Modulo Theories‏
C Barrett, R Sebastiani, SA Seshia, C Tinelli‏
Handbook of Satisfiability 185, 825-885, 2009‏
2235*2009
Satisfiability Modulo Theories‏
C Barrett, C Tinelli‏
Handbook of Model Checking, 305-343, 2018‏
21952018
CVC4‏
C Barrett, C Conway, M Deters, L Hadarean, D Jovanović, T King, ...‏
Computer aided verification, 171-177, 2011‏
21662011
The SMT-LIB standard: Version 2.0‏
C Barrett, A Stump, C Tinelli‏
Proceedings of the 8th international workshop on satisfiability modulo …, 2010‏
15842010
The satisfiability modulo theories library (SMT-LIB)‏
C Barrett, A Stump, C Tinelli‏
SMT-LIB. org 15, 18-52, 2010‏
861*2010
The marabou framework for verification and analysis of deep neural networks‏
G Katz, DA Huang, D Ibeling, K Julian, C Lazarus, R Lim, P Shah, ...‏
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019‏
7062019
cvc5: A versatile and industrial-strength SMT solver‏
H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, M Mann, ...‏
International Conference on Tools and Algorithms for the Construction and …, 2022‏
5352022
Algorithms for verifying deep neural networks‏
C Liu, T Arnon, C Lazarus, C Strong, C Barrett, MJ Kochenderfer‏
Foundations and Trends® in Optimization 4 (3-4), 244-404, 2021‏
4802021
CVC Lite: A new implementation of the cooperating validity checker: Category B‏
C Barrett, S Berezin‏
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004‏
3972004
Flexgen: High-throughput generative inference of large language models with a single gpu‏
Y Sheng, L Zheng, B Yuan, Z Li, M Ryabinin, B Chen, P Liang, C Ré, ...‏
International Conference on Machine Learning, 31094-31116, 2023‏
3642023
H2o: Heavy-hitter oracle for efficient generative inference of large language models‏
Z Zhang, Y Sheng, T Zhou, T Chen, L Zheng, R Cai, Z Song, Y Tian, C Ré, ...‏
Advances in Neural Information Processing Systems 36, 34661-34710, 2023‏
3462023
CVC: A cooperating validity checker‏
A Stump, CW Barrett, DL Dill‏
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002‏
2842002
Validity checking for combinations of theories with equality‏
C Barrett, D Dill, J Levitt‏
Formal Methods in Computer-Aided Design: First International Conference …, 1996‏
2771996
A decision procedure for an extensional theory of arrays‏
A Stump, CW Barrett, DL Dill, J Levitt‏
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 29-37, 2001‏
2342001
Checking satisfiability of first-order formulas by incremental translation to SAT‏
CW Barrett, DL Dill, A Stump‏
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002‏
2272002
A decision procedure for bit-vector arithmetic‏
CW Barrett, DL Dill, JR Levitt‏
Proceedings of the 35th Annual Design Automation Conference, 522-527, 1998‏
1871998
Counterexample-guided quantifier instantiation for synthesis in SMT‏
A Reynolds, M Deters, V Kuncak, C Tinelli, C Barrett‏
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015‏
1782015
A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions‏
T Liang, A Reynolds, C Tinelli, C Barrett, M Deters‏
International Conference on Computer Aided Verification, 646-662, 2014‏
1762014
SMT-COMP: Satisfiability modulo theories competition‏
C Barrett, L De Moura, A Stump‏
International Conference on Computer Aided Verification, 20-23, 2005‏
1682005
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20