Clark W. Barrett
Loading Google Thumbnails...
| 2009 |
|---|
| 6 | Satisfiability Modulo Theories. Clark W. Barrett, Roberto Sebastiani, Sanjit A. Seshia, Cesare Tinelli. Handbook of Satisfiability 2009, 825-885. Web SearchBibTeXDownload |
| 2005 |
|---|
| 5 | TVOC: A Translation Validator for Optimizing Compilers. Clark W. Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli, Lenore D. Zuck. CAV 2005, 291-295. Web SearchBibTeXDownload |
| 4 | A Practical Approach to Partial Functions in CVC Lite. Sergey Berezin, Clark Barrett, Igor Shikanian, Marsha Chechik, Arie Gurfinkel, David L. Dill. Electr. Notes Theor. Comput. Sci. (125): 13-23 (2005). Web SearchBibTeXDownload |
| 3 | Validating More Loop Optimizations. Ying Hu, Clark W. Barrett, Benjamin Goldberg, Amir Pnueli. Electr. Notes Theor. Comput. Sci. (141): 69-84 (2005). Web SearchBibTeXDownload |
| 2 | Translation and Run-Time Validation of Loop Transformations. Lenore D. Zuck, Amir Pnueli, Benjamin Goldberg, Clark W. Barrett, Yi Fang, Ying Hu. Formal Methods in System Design (27): 335-360 (2005). Web SearchBibTeXDownload |
| 2004 |
|---|
| 1 | Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations. Ying Hu, Clark W. Barrett, Benjamin Goldberg. SEFM 2004, 281-289. Web SearchBibTeXDownload |
from DBLP and Google Scholar
