Kevin Watkins, "Abstract Interpretation Using Laziness: Proving Conway's Lost Cosmological Theorem," Writing Skills paper, December 2006. Manuscript not yet submitted for publication.
Pablo López, Frank Pfenning, Jeff Polakow, and Kevin Watkins, "Monadic concurrent linear logic programming," In A.Felty, editor, Proceedings of the 7th International Symposium on Principles and Practice of Declarative Programming (PPDP '05), pp. 35-46, July 2005, Lisbon, Portugal. ACM Press.
Kevin Watkins, Iliano Cervesato, Frank Pfenning, and David Walker, "Specifying properties of concurrent computations in CLF," In C. Schürmann, editor, Proceedings of the 4th International Workshop on Logical Frameworks and Meta-Languages (LFM '04), July 2004, Cork, Ireland.
Kevin Watkins, "CLF: A logical framework for concurrent systems," Thesis proposal, Department of Computer Science, Carnegie Mellon University, May 2003.
Kevin Watkins, Iliano Cervesato, Frank Pfenning, and David Walker, "A concurrent logical framework I: Judgments and properties," Technical Report CMU-CS-02-101, Department of Computer Science, Carnegie Mellon University, March 2002, revised May 2003.
Iliano Cervesato, Frank Pfenning, David Walker, and Kevin Watkins, "A concurrent logical framework II: Examples and applications," Technical Report CMU-CS-02-102, Department of Computer Science, Carnegie Mellon University, March 2002, revised May 2003.
Kevin Watkins, Iliano Cervesato, Frank Pfenning, and David Walker, "A concurrent logical framework: The propositional fragment," In S. Berardi, M. Coppo, and F. Damiani, editors, Types for Proofs and Programs, pp. 355-377. Springer-Verlag LNCS 3085, 2004. Revised selected papers from the Third International Workshop on Types for Proofs and Programs, April 2003, Torino, Italy.
David Walker and Kevin Watkins, "On Regions and Linear Types," Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), September 3-5, 2001, Florence, Italy, pp. 181-192. A previous version of this work appeared at the Workshop on Semantics, Program Analysis, and Computing Environments for Memory Management, January 2001, London, UK.
Joshua S. Hodas, Kevin Watkins, Naoyuki Tamura, and Kyoung-Sun Kang, "Efficient Implementation of a Linear Logic Programming Language," Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, June 15-19, 1998, Manchester, U.K., pp. 145-159.
R. Libeskind-Hadas, T. Hehre, A. Hutchings, M. Reyes, and K. Watkins, "Adaptive Multicast Routing in Wormhole Networks," Proceedings of the Ninth IASTED International Conference on Parallel and Distributed Computing and Systems, October 13-16, 1997, Washington, D.C., pp. 513-522.
R. Libeskind-Hadas, K. Watkins, and T. Hehre, "Fault-Tolerant Multicast Routing in the Mesh with No Virtual Channels," Proceedings of the 1996 International Symposium on High-Performance Computer Architecture (HPCA '96), February 3-7, 1996, San Jose, California, pp. 180-190.
"Abstract Interpretation Using Laziness: Proving Conway's Lost Cosmological Theorem," Principles of Programming seminar talk, Carnegie Mellon University, December 2006. Slides from the talk are available at my web site.
Thesis proposal, Carnegie Mellon University, May 2003. Slides from the thesis proposal talk are available at my web site.
"On Regions and Linear Types," at Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), September 3-5, 2001, Florence, Italy.
"A module system for LF," at DFKI, April 2001, Saarbrücken, Germany.
"Defining an operational semantics for resource management in Lolli," at Dagstuhl Seminar 01141 on Semantic Foundations of Proof-search, April 2-6, 2001, Wadern, Germany.