Carsten Varming (coadvised by Stephen Brookes)
Carnegie Mellon University, varming AT cmu DOT edu
Neel Krishnaswami (coadvised by Jonathan Aldrich), July 2011
Max Planck Institute for Software Systems,
neelk AT mpi-sws DOT org
thesis: Verifying Higher-Order Programs with Higher-Order Separation Logic
(CMU-CS-12-127)
Jeff Polakow (coadvised by Frank Pfenning), August 2001
mutjida AT gmail DOT com
thesis: Ordered Linear Logic and Applications (CMU-CS-01-152)
Andrzej Filinski (coadvised by Bob Harper), May 1996
DIKU, University of Copenhagen
andrzej AT diku DOT dk
thesis: Controlling Effects (CMU-CS-96-119)
Benjamin C. Pierce (coadvised by Bob Harper), December 1991
University of Pennsylvania,
bcpierce AT cis DOT upenn DOT edu
thesis: Programming with Intersection Types and Bounded Polymorphism
(CMU-CS-91-205)
Richard H. Connelly (advised by F. L. Morris after I left Syracuse),
August 1990
rconnell AT providence DOT edu
thesis: A Comparison of Semantic Domains for Interleaving (SU-CIS-90-24)
Badri R. Narayanan, December 1988
badri AT att DOT com
thesis: A General Framework for Models of Type Polymorphism (CIS-89-1)
Frank J. Oles, August 1982
Frankjosepholes AT aol DOT com
thesis: A Category-Theoretic Approach to the Semantics of Programming
Languages
Nancy J. McCracken, June 1979
Syracuse University,
njm AT npac DOT syr DOT edu
thesis: An Investigation of a Programming Language with a Polymorphic
Type Structure
Jerald S. Schwarz, December 1974
Wirecache,
jerry AT acm DOT org
thesis: Semantics of Partial Correctness Formalisms
Wilfred J. Hansen (advised by W. F. Miller; I supervised his thesis
research at Argonne National Laboratory), June 1971
Software Engineering Institute, Carnegie Mellon University,
wjh AT cs DOT cmu DOT edu
thesis: Creation of Hierarchic Text with a Computer Display (ANL-7818)