Full name Familienname, Vorname
Barrett, Clark
 
Main Affiliation Organisations­zuordnung
 

Results 1-11 of 11 (Search time: 0.005 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
109_A Theoretical Framework for Symbolic Quick Error Detection.pdf.jpgLonsing, Florian ; Mitra, Subhasish ; Barrett, Clark ; Ivrii, Alexander ; Strichman, Ofer A Theoretical Framework for Symbolic Quick Error DetectionKonferenzbeitrag Inproceedings 2020
2Daly-2022-Synthesizing Instruction Selection Rewrite Rules from RTL using...-vor.pdf.jpgDaly, Ross ; Donovick, Caleb ; Melchert, Jackson ; Setaluri, Rajsekhar ; Tsiskaridze, Nestan ; Raina, Priyanka ; Barrett, Clark ; Hanrahan, Pat ; Griggio, Alberto ; Rungta, Neha Synthesizing Instruction Selection Rewrite Rules from RTL using SMTInproceedings Oct-2022
3Chattopadhyay-2021-Scaling Up Hardware Accelerator Verification using A-Q...-vor.pdf.jpgChattopadhyay, Saranyu ; Lonsing, Florian ; Piccolboni, Luca ; Soni, Deepraj ; Wei, Peng ; Zhang, Xiaofan ; Zhou, Yuan ; Carloni, Luca ; Chen, Deming ; Cong, Jason ; Karri, Ramesh ; Zhang, Zhiru ; Trippel, Caroline ; Barrett, Clark ; Mitra, Subhasish Scaling Up Hardware Accelerator Verification using A-QED with Functional DecompositionInproceedings Konferenzbeitrag Oct-2021
4Ozdemir-2021-SAT Solving in the Serverless Cloud-vor.pdf.jpgOzdemir, Alex ; Wu, Haoze ; Barrett, Clark SAT Solving in the Serverless CloudKonferenzbeitrag Inproceedings Oct-2021
530_Reductions for Strings and Regular Expressions.pdf.jpgReynolds, Andrew ; Nötzli, Andres ; Barrett, Clark ; Tinelli, Cesare ; Ivrii, Alexander ; Strichman, Ofer Reductions for Strings and Regular Expressions RevisitedKonferenzbeitrag Inproceedings 2020
6Noetzli-2022-Reconstructing Fine-Grained Proofs of Rewrites Using a Domai...-vor.pdf.jpgNoetzli, Andres ; Barbosa, Haniel ; Niemetz, Aina ; Preiner, Mathias ; Reynolds, Andrew ; Barrett, Clark ; Tinelli, Cesare ; Griggio, Alberto ; Rungta, Neha Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific LanguageInproceedings Oct-2022
7Nair-2022-Proof-StitchProof Combination for Divide-and-Conquer SAT Solvers-vor.pdf.jpgNair, Abhishek ; Chattopadhyay, Saranyu ; Wu, Haoze ; Ozdemir, Alex ; Barrett, Clark ; Griggio, Alberto ; Rungta, Neha Proof-Stitch_Proof Combination for Divide-and-Conquer SAT SolversInproceedings Oct-2022
820_Parallelization Techniques for Verifying Neural Networks.pdf.jpgWu, Haoze ; Ozdemir, Alex ; Zeljic, Aleksandar ; Julian, Kyle ; Irfan, Ahmed ; Gopinath, Divya ; Fouladi, Sadjad ; Katz, Guy ; Pasareanu, Corina ; Barrett, Clark ; Ivrii, Alexander ; Strichman, Ofer Parallelization Techniques for Verifying Neural NetworksKonferenzbeitrag Inproceedings 2020
9Zelazny-2022-On Optimizing Back-Substitution Methods for Neural Network V...-vor.pdf.jpgZelazny, Tom ; Wu, Haoze ; Barrett, Clark ; Katz, Guy ; Griggio, Alberto ; Rungta, Neha On Optimizing Back-Substitution Methods for Neural Network VerificationInproceedings Oct-2022
10Isac-2022-Neural Network Verification with Proof Production-vor.pdf.jpgIsac, Omri ; Barrett, Clark ; Zhang, Min ; Katz, Guy ; Griggio, Alberto ; Rungta, Neha Neural Network Verification with Proof ProductionInproceedings Oct-2022
11Tsiskaridze-2021-Automating System Configuration-vor.pdf.jpgTsiskaridze, Nestan ; Strange, Maxwell ; Mann, Makai ; Sreedhar, Kavya ; Liu, Qiaoyi ; Horowitz, Mark ; Barrett, Clark Automating System ConfigurationKonferenzbeitrag Inproceedings Oct-2021