dblp.uni-trier.dewww.uni-trier.de

Clark W. Barrett Vis

Clark Barrett

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
30EEClark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli: Satisfiability Modulo Theories. Handbook of Satisfiability 2009: 825-885
2008
29EEChristopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark Barrett: Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. SAS 2008: 62-77
28EEClark Barrett, Morgan Deters, Albert Oliveras, Aaron Stump: Design and Results of the 3rd Annual Satisfiability Modulo Theories Competition (SMT-Comp 2007). International Journal on Artificial Intelligence Tools 17(4): 569-606 (2008)
2007
27EEYeting Ge, Clark Barrett, Cesare Tinelli: Solving Quantified Verification Conditions Using Satisfiability Modulo Theories. CADE 2007: 167-182
26EEClark Barrett, Cesare Tinelli: CVC3. CAV 2007: 298-302
25EEClark Barrett, Igor Shikanian, Cesare Tinelli: An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types. Electr. Notes Theor. Comput. Sci. 174(8): 23-37 (2007)
24EEClark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump: Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006). Formal Methods in System Design 31(3): 221-239 (2007)
23EEClark Barrett, Igor Shikanian, Cesare Tinelli: An Abstract Decision Procedure for a Theory of Inductive Data Types. JSAT 3(1-2): 21-46 (2007)
2006
22EENikhil Sethi, Clark Barrett: cascade: C Assertion Checker and Deductive Engine. CAV 2006: 166-169
21EEClark Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli: Splitting on Demand in SAT Modulo Theories. LPAR 2006: 512-526
20EESean McLaughlin, Clark Barrett, Yeting Ge: Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite. Electr. Notes Theor. Comput. Sci. 144(2): 43-51 (2006)
2005
19EEClark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump: SMT-COMP: Satisfiability Modulo Theories Competition. CAV 2005: 20-23
18EEClark W. Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli, Lenore D. Zuck: TVOC: A Translation Validator for Optimizing Compilers. CAV 2005: 291-295
17EEBenjamin Goldberg, Lenore D. Zuck, Clark W. Barrett: Into the Loops: Practical Issues in Translation Validation for Optimizing Compilers. Electr. Notes Theor. Comput. Sci. 132(1): 53-71 (2005)
16EEYing Hu, Clark W. Barrett, Benjamin Goldberg, Amir Pnueli: Validating More Loop Optimizations. Electr. Notes Theor. Comput. Sci. 141(2): 69-84 (2005)
15EELenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang, Ying Hu: Translation and Run-Time Validation of Loop Transformations. Formal Methods in System Design 27(3): 335-360 (2005)
14EECarl-Johan H. Seger, Robert B. Jones, John W. O'Leary, Thomas F. Melham, Mark Aagaard, Clark Barrett, Don Syme: An industrially effective environment for formal hardware verification. IEEE Trans. on CAD of Integrated Circuits and Systems 24(9): 1381-1405 (2005)
13EEClark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump: Design and Results of the First Satisfiability Modulo Theories Competition (SMT-COMP 2005). J. Autom. Reasoning 35(4): 373-390 (2005)
2004
12EEClark W. Barrett, Sergey Berezin: CVC Lite: A New Implementation of the Cooperating Validity Checker Category B. CAV 2004: 515-518
11EEYing Hu, Clark W. Barrett, Benjamin Goldberg: Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations. SEFM 2004: 281-289
2003
10EEClark W. Barrett, Benjamin Goldberg, Lenore D. Zuck: Run-Time Validation of Speculative Optimizations using CVC. Electr. Notes Theor. Comput. Sci. 89(2): (2003)
2002
9EEClark W. Barrett, David L. Dill, Aaron Stump: Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT. CAV 2002: 236-249
8EEAaron Stump, Clark W. Barrett, David L. Dill: CVC: A Cooperating Validity Checker. CAV 2002: 500-504
7EEClark W. Barrett, David L. Dill, Aaron Stump: A Generalization of Shostak's Method for Combining Decision Procedures. FroCos 2002: 132-146
6EEAaron Stump, Clark W. Barrett, David L. Dill: Producing Proofs from an Arithmetic Decision Procedure in Elliptical LF. Electr. Notes Theor. Comput. Sci. 70(2): (2002)
2001
5 Aaron Stump, Clark W. Barrett, David L. Dill, Jeremy R. Levitt: A Decision Procedure for an Extensional Theory of Arrays. LICS 2001: 29-37
2000
4EEClark W. Barrett, David L. Dill, Aaron Stump: A Framework for Cooperating Decision Procedures. CADE 2000: 79-98
1998
3EEClark W. Barrett, David L. Dill, Jeremy R. Levitt: A Decision Procedure for Bit-Vector Arithmetic. DAC 1998: 522-527
1996
2 Clark W. Barrett, David L. Dill, Jeremy R. Levitt: Validity Checking for Combinations of Theories with Equality. FMCAD 1996: 187-201
1 Jeffrey X. Su, David L. Dill, Clark W. Barrett: Automatic Generation of Invariants in Processor Verification. FMCAD 1996: 377-388

Coauthor Index

1Mark Aagaard [14]
2Sergey Berezin [12]
3Christopher L. Conway [29]
4Dennis Dams [29]
5Morgan Deters [28]
6David L. Dill [1] [2] [3] [4] [5] [6] [7] [8] [9]
7Yi Fang [15] [18]
8Yeting Ge [20] [27]
9Benjamin Goldberg [10] [11] [15] [16] [17] [18]
10Ying Hu [11] [15] [16] [18]
11Robert B. Jones [14]
12Jeremy R. Levitt [2] [3] [5]
13Sean McLaughlin [20]
14Thomas F. Melham [14]
15Leonardo Mendonça de Moura [13] [19] [24]
16Kedar S. Namjoshi [29]
17Robert Nieuwenhuis [21]
18John W. O'Leary [14]
19Albert Oliveras [21] [28]
20Amir Pnueli [15] [16] [18]
21Roberto Sebastiani [30]
22Carl-Johan H. Seger [14]
23Sanjit A. Seshia [30]
24Nikhil Sethi [22]
25Igor Shikanian [23] [25]
26Aaron Stump [4] [5] [6] [7] [8] [9] [13] [19] [24] [28]
27Jeffrey X. Su [1]
28Don Syme [14]
29Cesare Tinelli [21] [23] [25] [26] [27] [30]
30Lenore D. Zuck [10] [15] [17] [18]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)