|
Associate Professor of Computer Science
Ph.D., 2002 (Computer Science), Stanford University; M.S., 1998 (Computer Science), Stanford University; B.S., 1995 (Mathematics, Computer Science and Electrical Engineering), Brigham Young University
Email:
Personal Homepage: http://www.cs.nyu.edu/~barrett/
Research Interests: Formal methods for hardware and software: abstraction, symbolic simulation, theorem-proving, domain-specific decision procedures, model checking.
Affiliations: Member of IEEE, ACM; Member of Technical Advisory Board of 0-in Design Automation.
Fellowships/Honors: National Defense Science and Engineering Graduate Fellowship, 1995-1999; Best Paper, Design Automation Conference, 1998.
Selected Works:
Clark W. Barrett. Checking Validity of Quantifier-Free Formulas in Combinations of First-Order Theories. Ph.D. thesis, Stanford University, 2002.
Aaron Stump, Clark W. Barrett, and David L. Dill. CVC: A Cooperating Validity Checker. In Ed Brinksma and Kim Guldstrand Larsen, editors, 14th International Conference on Computer Aided Verification (CAV), volume 2404 of Lecture Notes in Computer Science, pages 500-504. Springer-Verlag, 2002. Copenhagen, Denmark.
Clark W. Barrett, David L. Dill, and Aaron Stump. Checking Satisfiability of First-Order Formulas by Incremental Translation to SAT. In Ed Brinksma and Kim Guldstrand Larsen, editors, 14th International Conference on Computer Aided Verification (CAV), volume 2404 of Lecture Notes in Computer Science, pages 236-249. Springer-Verlag, 2002. Copenhagen, Denmark.
Clark W. Barrett, David L. Dill, and Aaron Stump. A Generalization of Shostak's method for Combining Decision Procedures. In Alessandro Armando, editor, Frontiers of Combining Systems (FroCoS), volume 2309 of Lecture Notes in Artificial Intelligence, pages 132-146. Springer-Verlag, April 2002. Santa Margherita Ligure, Italy.
Aaron Stump, David L. Dill, Clark W. Barrett and Jeremy Levitt. A Decision Procedure for an Extensional Theory of Arrays. In 16th IEEE Symposium on Logic in Computer Science (LICS), pages 29-37. IEEE Computer Society, June 2001. Boston, Massachusetts.
Clark W. Barrett, David L. Dill and Jeremy R. Levitt. A Decision Procedure for Bit-Vector Arithmetic. In Proceedings of the 35th Design Automation Conference (DAC), pages 522-527, June 1998. San Francisco, California. Awarded best paper in computer-aided design.
 Update your faculty profile
|
