Clark W. Barrett

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 194

Top Venues

Publications

Benjamin Przybocki, Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett
The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems. CoRR (2024)
Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig
Split Gröbner Bases for Satisfiability Modulo Finite Fields. CAV (1) (2024)
Nestan Tsiskaridze, Clark W. Barrett, Cesare Tinelli
Generalized Optimization Modulo Theories. IJCAR (1) (2024)
Mudathir Mohamed, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett
Verifying SQL Queries using Theories of Tables and Relations. CoRR (2024)
Udayan Mandal, Guy Amir, Haoze Wu, Ieva Daukantas, Fletcher Lee Newell, Umberto J. Ravaioli, Baoluo Meng, Michael Durling, Milan Ganai, Tobey Shim, Guy Katz, Clark W. Barrett
Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates. CoRR (2024)
Alex Ozdemir, Shankara Pailoor, Alp Bassa, Kostas Ferles, Clark W. Barrett, Isil Dillig
Split Gröbner Bases for Satisfiability Modulo Finite Fields. IACR Cryptol. ePrint Arch. 2024 (2024)
Haoze Wu, Clark W. Barrett, Nina Narodytska
Lemur: Integrating Large Language Models in Automated Program Verification. ICLR (2024)
Ross Daly, Caleb Donovick, Caleb Terrill, Jackson Melchert, Priyanka Raina, Clark W. Barrett, Pat Hanrahan
Efficiently Synthesizing Lowest Cost Rewrite Rules for Instruction Selection. CoRR (2024)
Nestan Tsiskaridze, Clark W. Barrett, Cesare Tinelli
Generalized Optimization Modulo Theories. CoRR (2024)
Udayan Mandal, Guy Amir, Haoze Wu, Ieva Daukantas, Fletcher Lee Newell, Umberto J. Ravaioli, Baoluo Meng, Michael Durling, Kerianne Hobbs, Milan Ganai, Tobey Shim, Guy Katz, Clark W. Barrett
Safe and Reliable Training of Learning-Based Aerospace Controllers. CoRR (2024)
David Dalrymple, Joar Skalse, Yoshua Bengio, Stuart Russell, Max Tegmark, Sanjit Seshia, Steve Omohundro, Christian Szegedy, Ben Goldhaber, Nora Ammann, Alessandro Abate, Joe Halpern, Clark W. Barrett, Ding Zhao, Tan Zhi-Xuan, Jeannette Wing, Joshua B. Tenenbaum
Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems. CoRR (2024)
Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett
Towards Efficient Verification of Quantized Neural Networks. AAAI (2024)
Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CAV (2) (2024)
Scott Viteri, Max Lamparth, Peter Chatain, Clark W. Barrett
Markovian Agents for Truthful Language Modeling. CoRR (2024)
Mudathir Mohamed, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett
Verifying SQL queries using theories of tables and relations. LPAR (2024)
Hanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli
IsaRare: Automatic Verification of SMT Rewrites in Isabelle/HOL. TACAS (1) (2024)
Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks. CoRR (2024)
Jackson Melchert, Kathleen Feng, Caleb Donovick, Ross Daly, Ritvik Sharma, Clark W. Barrett, Mark A. Horowitz, Pat Hanrahan, Priyanka Raina
APEX: A Framework for Automated Processing Element Design Space Exploration using Frequent Subgraph Analysis. ASPLOS (3) (2023)
Zhenyu Zhang, Ying Sheng, Tianyi Zhou, Tianlong Chen, Lianmin Zheng, Ruisi Cai, Zhao Song, Yuandong Tian, Christopher Ré, Clark W. Barrett, Zhangyang Wang, Beidi Chen
O: Heavy-Hitter Oracle for Efficient Generative Inference of Large Language Models. CoRR (2023)
Ying Sheng, Lianmin Zheng, Binhang Yuan, Zhuohan Li, Max Ryabinin, Daniel Y. Fu, Zhiqiang Xie, Beidi Chen, Clark W. Barrett, Joseph E. Gonzalez, Percy Liang, Christopher Ré, Ion Stoica, Ce Zhang
High-throughput Generative Inference of Large Language Models with a Single GPU. CoRR (2023)
Caleb Donovick, Ross Daly, Jackson Melchert, Lenny Truong, Priyanka Raina, Pat Hanrahan, Clark W. Barrett
PEak: A Single Source of Truth for Hardware Design and Verification. CoRR (2023)
Haniel Barbosa, Clark W. Barrett, Byron Cook, Bruno Dutertre, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Cesare Tinelli, Yoni Zohar
Generating and Exploiting Automated Reasoning Proof Certificates. Commun. ACM 66 (10) (2023)
Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett
Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge Proofs. CAV (3) (2023)
Saranyu Chattopadhyay, Keerthikumara Devarajegowda, Bihan Zhao, Florian Lonsing, Brandon A. D'Agostino, Ioanna Vavelidou, Vijay Deep Bhatt, Sebastian Prebeck, Wolfgang Ecker, Caroline Trippel, Clark W. Barrett, Subhasish Mitra
G-QED: Generalized QED Pre-silicon Verification beyond Non-Interfering Hardware Accelerators. DAC (2023)
Haoze Wu, Christopher Hahn, Florian Lonsing, Makai Mann, Raghuram Ramanujan, Clark W. Barrett
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning. CoRR (2023)
Dennis Wei, Haoze Wu, Min Wu, Pin-Yu Chen, Clark W. Barrett, Eitan Farchi
Convex Bounds on the Softmax Function with Applications to Robustness Verification. CoRR (2023)
Christopher A. Strong, Haoze Wu, Aleksandar Zeljic, Kyle D. Julian, Guy Katz, Clark W. Barrett, Mykel J. Kochenderfer
Global optimization of objective functions represented by ReLU networks. Mach. Learn. 112 (10) (2023)
Haniel Barbosa, Chantal Keller, Andrew Reynolds, Arjun Viswanathan, Cesare Tinelli, Clark W. Barrett
An Interactive SMT Tactic in Coq using Abductive Reasoning. LPAR (2023)
Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett
Combining Finite Combination Properties: Finite Models and Busy Beavers. CoRR (2023)
Clark W. Barrett, Brad Boyd, Ellie Burzstein, Nicholas Carlini, Brad Chen, Jihye Choi, Amrita Roy Chowdhury, Mihai Christodorescu, Anupam Datta, Soheil Feizi, Kathleen Fisher, Tatsunori Hashimoto, Dan Hendrycks, Somesh Jha, Daniel Kang, Florian Kerschbaum, Eric Mitchell, John C. Mitchell, Zulfikar Ramzan, Khawaja Shams, Dawn Song, Ankur Taly, Diyi Yang
Identifying and Mitigating the Security Risks of Generative AI. CoRR (2023)
Haoze Wu, Min Wu, Dorsa Sadigh, Clark W. Barrett
Soy: An Efficient MILP Solver for Piecewise-Affine Systems. IROS (2023)
Haoze Wu, Christopher Hahn, Florian Lonsing, Makai Mann, Raghuram Ramanujan, Clark W. Barrett
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning. FMCAD (2023)
Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli
Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences. J. Autom. Reason. 67 (3) (2023)
Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett
Combining Finite Combination Properties: Finite Models and Busy Beavers. FroCoS (2023)
Kalhan Koul, Jackson Melchert, Kavya Sreedhar, Leonard Truong, Gedeon Nyengele, Keyi Zhang, Qiaoyi Liu, Jeff Setter, Po-Han Chen, Yuchen Mei, Maxwell Strange, Ross Daly, Caleb Donovick, Alex Carsello, Taeyoung Kong, Kathleen Feng, Dillon Huff, Ankita Nayak, Rajsekhar Setaluri, James Thomas, Nikhil Bhagdikar, David Durst, Zachary Myers, Nestan Tsiskaridze, Stephen Richardson, Rick Bahr, Kayvon Fatahalian, Pat Hanrahan, Clark W. Barrett, Mark Horowitz, Christopher Torng, Fredrik Kjolstad, Priyanka Raina
AHA: An Agile Approach to the Design of Coarse-Grained Reconfigurable Accelerators and Compilers. ACM Trans. Embed. Comput. Syst. 22 (2) (2023)
Alex Ozdemir, Gereon Kremer, Cesare Tinelli, Clark W. Barrett
Satisfiability Modulo Finite Fields. CAV (2) (2023)
Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett
Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs). IACR Cryptol. ePrint Arch. 2023 (2023)
Chuyue Sun, Ying Sheng, Oded Padon, Clark W. Barrett
Clover: Closed-Loop Verifiable Code Generation. CoRR (2023)
Banghua Zhu, Ying Sheng, Lianmin Zheng, Clark W. Barrett, Michael I. Jordan, Jiantao Jiao
On Optimal Caching and Model Multiplexing for Large Model Inference. CoRR (2023)
Clark W. Barrett, Brad Boyd, Elie Bursztein, Nicholas Carlini, Brad Chen, Jihye Choi, Amrita Roy Chowdhury, Mihai Christodorescu, Anupam Datta, Soheil Feizi, Kathleen Fisher, Tatsunori Hashimoto, Dan Hendrycks, Somesh Jha, Daniel Kang, Florian Kerschbaum, Eric Mitchell, John C. Mitchell, Zulfikar Ramzan, Khawaja Shams, Dawn Song, Ankur Taly, Diyi Yang
Identifying and Mitigating the Security Risks of Generative AI. Found. Trends Priv. Secur. 6 (1) (2023)
Haoze Wu, Teruhiro Tagomori, Alexander Robey, Fengjun Yang, Nikolai Matni, George J. Pappas, Hamed Hassani, Corina S. Pasareanu, Clark W. Barrett
Toward Certified Robustness Against Real-World Distribution Shifts. SaTML (2023)
Dennis Wei, Haoze Wu, Min Wu, Pin-Yu Chen, Clark W. Barrett, Eitan Farchi
Convex Bounds on the Softmax Function with Applications to Robustness Verification. AISTATS (2023)
Min Wu, Haoze Wu, Clark W. Barrett
VeriX: Towards Verified Explainability of Deep Neural Networks. NeurIPS (2023)
Amalee Wilson, Andres Nötzli, Andrew Reynolds, Byron Cook, Cesare Tinelli, Clark W. Barrett
Partitioning Strategies for Distributed SMT Solving. CoRR (2023)
Abdalrhman Mohamed, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule Discovery. FMCAD (2023)
Alex Ozdemir, Gereon Kremer, Cesare Tinelli, Clark W. Barrett
Satisfiability Modulo Finite Fields. IACR Cryptol. ePrint Arch. 2023 (2023)
Ying Sheng, Yoni Zohar, Christophe Ringeissen, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
Combining Stable Infiniteness and (Strong) Politeness. J. Autom. Reason. 67 (4) (2023)
Omri Isac, Yoni Zohar, Clark W. Barrett, Guy Katz
DNN Verification, Reachability, and the Exponential Function Problem. CONCUR (2023)
Lianmin Zheng, Liangsheng Yin, Zhiqiang Xie, Jeff Huang, Chuyue Sun, Cody Hao Yu, Shiyi Cao, Christos Kozyrakis, Ion Stoica, Joseph E. Gonzalez, Clark W. Barrett, Ying Sheng
Efficiently Programming Large Language Models using SGLang. CoRR (2023)
Haoze Wu, Clark W. Barrett, Nina Narodytska
Lemur: Integrating Large Language Models in Automated Program Verification. CoRR (2023)
Burak Ekici, Arjun Viswanathan, Yoni Zohar, Cesare Tinelli, Clark W. Barrett
Formal Verification of Bit-Vector Invertibility Conditions in Coq. FroCoS (2023)
Haoze Wu, Min Wu, Dorsa Sadigh, Clark W. Barrett
Soy: An Efficient MILP Solver for Piecewise-Affine Systems. CoRR (2023)
Banghua Zhu, Ying Sheng, Lianmin Zheng, Clark W. Barrett, Michael I. Jordan, Jiantao Jiao
Towards Optimal Caching and Model Selection for Large Model Inference. NeurIPS (2023)
Alessandro Abate, Haniel Barbosa, Clark W. Barrett, Cristina David, Pascal Kesseli, Daniel Kroening, Elizabeth Polgreen, Andrew Reynolds, Cesare Tinelli
Synthesising Programs with Non-trivial Constants. J. Autom. Reason. 67 (2) (2023)
Elazar Cohen, Yizhak Yisrael Elboher, Clark W. Barrett, Guy Katz
Tighter Abstract Queries in Neural Network Verification. LPAR (2023)
Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark W. Barrett
Towards Efficient Verification of Quantized Neural Networks. CoRR (2023)
Omri Isac, Yoni Zohar, Clark W. Barrett, Guy Katz
DNN Verification, Reachability, and the Exponential Function Problem. CoRR (2023)
Amalee Wilson, Andres Nötzli, Andrew Reynolds, Byron Cook, Cesare Tinelli, Clark W. Barrett
Partitioning Strategies for Distributed SMT Solving. FMCAD (2023)
Zhenyu Zhang, Ying Sheng, Tianyi Zhou, Tianlong Chen, Lianmin Zheng, Ruisi Cai, Zhao Song, Yuandong Tian, Christopher Ré, Clark W. Barrett, Zhangyang Wang, Beidi Chen
H2O: Heavy-Hitter Oracle for Efficient Generative Inference of Large Language Models. NeurIPS (2023)
Hanna Lachnitt, Mathias Fleury, Leni Aniva, Andrew Reynolds, Haniel Barbosa, Andres Nötzli, Clark W. Barrett, Cesare Tinelli
Automatic Verification of SMT Rewrites in Isabelle/HOL. SMT (2023)
Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett
Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness. CoRR (2023)
Guilherme Vicentin de Toledo, Yoni Zohar, Clark W. Barrett
Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness. CADE (2023)
Tom Zelazny, Haoze Wu, Clark W. Barrett, Guy Katz
On Optimizing Back-Substitution Methods for Neural Network Verification. FMCAD (2022)
Guy Katz, Clark W. Barrett, David L. Dill, Kyle Julian, Mykel J. Kochenderfer
Reluplex: a calculus for reasoning about deep neural networks. Formal Methods Syst. Des. 60 (1) (2022)
Tom Zelazny, Haoze Wu, Clark W. Barrett, Guy Katz
On Optimizing Back-Substitution Methods for Neural Network Verification. CoRR (2022)
Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli
Reasoning About Vectors using an SMT Theory of Sequences. CoRR (2022)
Elazar Cohen, Yizhak Yisrael Elboher, Clark W. Barrett, Guy Katz
Tighter Abstract Queries in Neural Network Verification. CoRR (2022)
Yoni Zohar, Ahmed Irfan, Makai Mann, Aina Niemetz, Andres Nötzli, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
Bit-Precise Reasoning via Int-Blasting. VMCAI (2022)
Gereon Kremer, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
Cooperating Techniques for Solving Nonlinear Real Arithmetic in the cvc5 SMT Solver (System Description). IJCAR (2022)
Haoze Wu, Teruhiro Tagomori, Alexander Robey, Fengjun Yang, Nikolai Matni, George J. Pappas, Hamed Hassani, Corina S. Pasareanu, Clark W. Barrett
Toward Certified Robustness Against Real-World Distribution Shifts. CoRR (2022)
Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays. Log. Methods Comput. Sci. 18 (3) (2022)
Omri Isac, Clark W. Barrett, Min Zhang, Guy Katz
Neural Network Verification with Proof Production. CoRR (2022)
Aina Niemetz, Mathias Preiner, Clark W. Barrett
Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers. CAV (2) (2022)
Haoze Wu, Clark W. Barrett, Mahmood Sharif, Nina Narodytska, Gagandeep Singh
Scalable Verification of GNN-based Job Schedulers. CoRR (2022)
Andres Nötzli, Andrew Reynolds, Haniel Barbosa, Clark W. Barrett, Cesare Tinelli
Even Faster Conflicts and Lazier Reductions for String Solvers. CAV (2) (2022)
Haoze Wu, Aleksandar Zeljic, Guy Katz, Clark W. Barrett
Efficient Neural Network Analysis with Sum-of-Infeasibilities. TACAS (1) (2022)
Omri Isac, Clark W. Barrett, Min Zhang, Guy Katz
Neural Network Verification with Proof Production. FMCAD (2022)
Haoze Wu, Aleksandar Zeljic, Guy Katz, Clark W. Barrett
Efficient Neural Network Analysis with Sum-of-Infeasibilities. CoRR (2022)
Ross Daly, Caleb Donovick, Jackson Melchert, Rajsekhar Setaluri, Nestan Tsiskaridze Bullock, Priyanka Raina, Clark W. Barrett, Pat Hanrahan
Synthesizing Instruction Selection Rewrite Rules from RTL using SMT. FMCAD (2022)
Haniel Barbosa, Clark W. Barrett, Martin Brain, Gereon Kremer, Hanna Lachnitt, Makai Mann, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, Yoni Zohar
cvc5: A Versatile and Industrial-Strength SMT Solver. TACAS (1) (2022)
Ying Sheng, Andres Nötzli, Andrew Reynolds, Yoni Zohar, David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Clark W. Barrett, Cesare Tinelli
Reasoning About Vectors Using an SMT Theory of Sequences. IJCAR (2022)
Min Wu, Haoze Wu, Clark W. Barrett
VeriX: Towards Verified Explainability of Deep Neural Networks. CoRR (2022)
Haoze Wu, Clark W. Barrett, Mahmood Sharif, Nina Narodytska, Gagandeep Singh
Scalable verification of GNN-based job schedulers. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Abhishek Nair, Saranyu Chattopadhyay, Haoze Wu, Alex Ozdemir, Clark W. Barrett
Proof-Stitch: Proof Combination for Divide and Conquer SAT Solvers. CoRR (2022)
Matan Ostrovsky, Clark W. Barrett, Guy Katz
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks. ATVA (2022)
Andres Nötzli, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific Language. FMCAD (2022)
Haniel Barbosa, Andrew Reynolds, Gereon Kremer, Hanna Lachnitt, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Arjun Viswanathan, Scott Viteri, Yoni Zohar, Cesare Tinelli, Clark W. Barrett
Flexible Proof Production in an Industrial-Strength SMT Solver. IJCAR (2022)
Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett
Polite Combination of Algebraic Datatypes. J. Autom. Reason. 66 (3) (2022)
Matan Ostrovsky, Clark W. Barrett, Guy Katz
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks. CoRR (2022)
Abhishek Nair, Saranyu Chattopadhyay, Haoze Wu, Alex Ozdemir, Clark W. Barrett
Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers. FMCAD (2022)
Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark W. Barrett
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays. CoRR (2021)
Saranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni, Deepraj Soni, Peng Wei, Xiaofan Zhang, Yuan Zhou, Luca P. Carloni, Deming Chen, Jason Cong, Ramesh Karri, Zhiru Zhang, Caroline Trippel, Clark W. Barrett, Subhasish Mitra
Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition. FMCAD (2021)
Nestan Tsiskaridze, Maxwell Strange, Makai Mann, Kavya Sreedhar, Qiaoyi Liu, Mark Horowitz, Clark W. Barrett
Automating System Configuration. FMCAD (2021)
Ying Sheng, Yoni Zohar, Christophe Ringeissen, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli
Politeness and Stable Infiniteness: Stronger Together. CADE (2021)
Alex Ozdemir, Haoze Wu, Clark W. Barrett
SAT Solving in the Serverless Cloud. FMCAD (2021)
Changliu Liu, Tomer Arnon, Christopher Lazarus, Christopher A. Strong, Clark W. Barrett, Mykel J. Kochenderfer
Algorithms for Verifying Deep Neural Networks. Found. Trends Optim. 4 (3-4) (2021)
Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark W. Barrett, Cesare Tinelli
Towards Satisfiability Modulo Parametric Bit-vectors. J. Autom. Reason. 65 (7) (2021)
Nestan Tsiskaridze, Maxwell Strange, Makai Mann, Kavya Sreedhar, Qiaoyi Liu, Mark Horowitz, Clark W. Barrett
Automating System Configuration. CoRR (2021)
Yoni Zohar, Ahmed Irfan, Makai Mann, Andres Nötzli, Andrew Reynolds, Clark W. Barrett
lazybvtoint at the SMT Competition 2020. CoRR (2021)
Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett
Politeness for the Theory of Algebraic Datatypes (Extended Abstract). IJCAI (2021)

Clark W. Barrett.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Clark W. Barrett