Các bài viết có thể truy cập công khai - Clark BarrettTìm hiểu thêm
Không có ở bất kỳ nơi nào: 2
Apex: A framework for automated processing element design space exploration using frequent subgraph analysis
J Melchert, K Feng, C Donovick, R Daly, R Sharma, C Barrett, ...
Proceedings of the 28th ACM International Conference on Architectural …, 2023
Các cơ quan ủy nhiệm: US Department of Defense, American Heart Association
G-QED: Generalized QED pre-silicon verification beyond non-interfering hardware accelerators
S Chattopadhyay, K Devarajegowda, B Zhao, F Lonsing, BA D’Agostino, ...
2023 60th ACM/IEEE Design Automation Conference (DAC), 1-6, 2023
Các cơ quan ủy nhiệm: US Department of Defense
Có tại một số nơi: 67
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
Các cơ quan ủy nhiệm: US National Science Foundation, US Department of Defense
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
Các cơ quan ủy nhiệm: US National Science Foundation, US Department of Defense, US National …
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
Các cơ quan ủy nhiệm: US National Science Foundation
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
Các cơ quan ủy nhiệm: Swiss National Science Foundation, European Commission
Deepsafe: A data-driven approach for assessing robustness of neural networks
D Gopinath, G Katz, CS Păsăreanu, C Barrett
Automated Technology for Verification and Analysis: 16th International …, 2018
Các cơ quan ủy nhiệm: US National Science Foundation, US National Aeronautics and Space Administration
SMTCoq: A plug-in for integrating SMT solvers into Coq
B Ekici, A Mebsout, C Tinelli, C Keller, G Katz, A Reynolds, C Barrett
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
Các cơ quan ủy nhiệm: US Department of Defense
Identifying and mitigating the security risks of generative ai
C Barrett, B Boyd, E Bursztein, N Carlini, B Chen, J Choi, AR Chowdhury, ...
Foundations and Trends® in Privacy and Security 6 (1), 1-52, 2023
Các cơ quan ủy nhiệm: US Department of Defense
cvc4sy: Smart and Fast Term Enumeration for Syntax-Guided Synthesis
A Reynolds, H Barbosa, A Nötzli, C Barrett, C Tinelli
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
Các cơ quan ủy nhiệm: US National Science Foundation, US Department of Defense
An SMT-based approach for verifying binarized neural networks
G Amir, H Wu, C Barrett, G Katz
Tools and Algorithms for the Construction and Analysis of Systems: 27th …, 2021
Các cơ quan ủy nhiệm: US National Science Foundation
Verifying deep-RL-driven systems
Y Kazak, C Barrett, G Katz, M Schapira
Proceedings of the 2019 workshop on network meets AI & ML, 83-89, 2019
Các cơ quan ủy nhiệm: US National Science Foundation, European Commission
Efficiently Programming Large Language Models using SGLang.
L Zheng, L Yin, Z Xie, J Huang, C Sun, CH Yu, S Cao, C Kozyrakis, ...
arXiv, 2023
Các cơ quan ủy nhiệm: US National Science Foundation
An efficient SMT solver for string constraints
T Liang, A Reynolds, N Tsiskaridze, C Tinelli, C Barrett, M Deters
Formal Methods in System Design 48, 206-234, 2016
Các cơ quan ủy nhiệm: US National Science Foundation, European Commission
Processor hardware security vulnerabilities and their detection by unique program execution checking
MR Fadiheh, D Stoffel, C Barrett, S Mitra, W Kunz
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 994-999, 2019
Các cơ quan ủy nhiệm: US Department of Defense, Federal Ministry of Education and Research, Germany
Verifying recurrent neural networks using invariant inference
Y Jacoby, C Barrett, G Katz
Automated Technology for Verification and Analysis: 18th International …, 2020
Các cơ quan ủy nhiệm: US National Science Foundation
Extending SMT solvers to higher-order logic
H Barbosa, A Reynolds, D El Ouraoui, C Tinelli, C Barrett
Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019
Các cơ quan ủy nhiệm: US National Science Foundation, European Commission
Solving quantified bit-vectors using invertibility conditions
A Niemetz, M Preiner, A Reynolds, C Barrett, C Tinelli
International Conference on Computer Aided Verification, 236-255, 2018
Các cơ quan ủy nhiệm: US National Science Foundation, US Department of Defense
Scaling up DPLL (T) string solvers using context-dependent simplification
A Reynolds, M Woo, C Barrett, D Brumley, T Liang, C Tinelli
International Conference on Computer Aided Verification, 453-474, 2017
Các cơ quan ủy nhiệm: US National Science Foundation
Pono: A Flexible and Extensible SMT-Based Model Checker
M Mann, A Irfan, F Lonsing, Y Yang, H Zhang, K Brown, A Gupta, C Barrett
International Conference on Computer Aided Verification, 461-474, 2021
Các cơ quan ủy nhiệm: US National Science Foundation, US Department of Defense
Chương trình máy tính sẽ tự động xác định thông tin xuất bản và thông tin về nhà tài trợ