Alumni (Chronological)
2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 |
1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1990 | 1989 | 1988 | 1987 | 1986 | 1985 |
1984 | 1983 | 1982 | 1981 | 1980 | 1979 | 1978 | 1977 | 1976 | 1975 | 1974 | 1973 | 1972 | 1971 |
1970 | 1969 | 1966 |
 | |
| 2012 | |
| An, Hyung-Chan Advisor: Shmoys, David Thesis: Approximation Algorithms for Traveling Salesman Problems Based on Linear Programming Relaxations |
| |
| Danescu Niculescu-Mizil, Cristian Advisor: Lee, Lillian Thesis: A computational approach to linguistic coordination |
| |
| Dilkina, Bistra Advisor: Gomes, Carla Thesis: Exploiting Structure in combinatorial Problems with Applications in Computational Sustainability |
| |
| Dintyala Subramanya, Venkata Advisor: Elber, Ron Thesis: Learning to dock proteins |
| |
| Ganesh, Lakshmi Advisor: Birman, Kenneth Thesis: Data Center Energy Management |
| |
| Goetz, Michaela Advisor: Gehrke, Johannes Thesis: On User Privacy in Personalized Mobile Services |
| |
| Gupta, Nitin Advisor: Gehrke, Johannes Thesis: Scalability in Coordinated Transaction Management |
| |
| Karampatziakis, Nikolaos Advisor: Kozen, Dexter Thesis: Online Learning Algorithms for Sequence Prediction, Importance Weighted Classification, and Active Learning |
| |
| Leahu, Lucian Advisor: Sengers, Phoebe Thesis: Representation without Representationalism |
| |
| Lin, Huijia Advisor: Pass, Rafael Thesis: Concurrent Security |
| |
| Liu, Mon Advisor: Myers, Andrew Thesis: Towards a Secure Federated Information System |
| |
| Peterson, Ryan Advisor: Sirer, E. Gun Thesis: Efficient Content Distribution with managed swarms |
| |
| Ramanujan, Raghuram Advisor: Selman, Bart Thesis: Understanding Sampling-based Adversarial Search Methods |
| |
| Shieh, Alan Advisor: Sirer, E. Gun Thesis: Trustworthy Knowledge Planes for Federated Distributed Systems |
| |
| Sowell, Benjamin Advisor: Gehrke, Johannes Thesis: Adapting Database Indices for New Applications |
| |
| Walsh, Kevin Advisor: Schneider, Fred Thesis: Authorization and trust in software systems |
| |
| Yessenalina, Ainur Advisor: Cardie, Claire Thesis: Exploiting Structure for Sentiment Classification |
| |
| Zheng, Changxi Advisor: James, Doug Thesis: Physics-based Sound Rendering for Computer Animation |
| |
| |
| 2011 | |
| Haque, Asif-ul Advisor: Friedman, Eric Thesis: Information and Social System Interaction |
| |
| Ho, Chi Advisor: Van Renesse, Robbert Thesis: Reducing Costs of Byzantine Fault Tolerant Distributed Applications |
| |
| Jo, Yookyung Advisor: Hopcroft, John Thesis: Using Graphs for Topic Discovery |
| |
| Kaldor, Jonathan Advisor: Marschner, Stephen Thesis: Yarn-Based Cloth Simulation |
| |
| Kennedy, Oliver Advisor: Koch, Christoph Thesis: Lookout for...What? Monitoring and Uncertainty in Scientific Computing |
| |
| Marian, Tudor Advisor: Weatherspoon, Hakim Thesis: Operating Systems Abstractions for Software Packet Processing in Datacenters |
| |
| Song, Yee Jiun Advisor: Van Renesse, Robbert Thesis: Toward Robust High Performance Distributed Services |
| |
| Tseng, Wei-Lung Advisor: Pass, Rafael Thesis: Zero-Knowledge on the Internet |
| |
| Venkitasubramaniam, Muthuramakrishnan Advisor: Pass, Rafael Thesis: Unified Framework for Concurrent Security |
| |
| Wong, Bernard Advisor: Sirer, E. Gun Thesis: Efficient Location-Aware Node and Object Discovery in Large-Scale Networks |
| |
| Yu, Chun Advisor: Joachims, Thorsten Thesis: Improved Learning of Structural Support Vector Machines: Training with Latent Variables and Nonlinear Kernels |
| |
| Yue, Yisong Advisor: Joachims, Thorsten Thesis: New Learning Frameworks for Information Retrieval |
| |
| |
| 2010 | |
| Alam, Sheikh Mohammed Nazrul Advisor: Haas, Zygmunt Thesis: Coverage and Connectivity in Three-Dimensional Wireless Sensor Networks |
| |
| Antova, Lyublena Advisor: Koch, Christoph Thesis: MayBMS: A System for Managing Large Amounts of Uncertain Data |
| |
| Choi, Yejin Advisor: Cardie, Claire Thesis: Fine-Grained Opinion Analysis: Structure-aware Appraoches |
| |
| Clarkson, Michael Advisor: Myers, Andrew Thesis: Quantification and Formalization of Security |
| |
| Guo, Yunsong Advisor: Gomes, Carla Thesis: Supervised learning with implicit preferences and constraints |
| |
| Kash, Ian Advisor: Halpern, Joseph Thesis: Robustness and Optimization of Scrip Systems |
| |
| Kot, Lucja Advisor: Koch, Christoph Thesis: Youtopia: A community Database Management System |
| |
| Li, Yunpeng Advisor: Huttenlocher, Daniel Thesis: Learning random field models for computer vision |
| |
| Majek, Peter Advisor: Elber, Ron Thesis: Algorithms for computational description of large scale conformational transitions of proteins |
| |
| Moon, Jonathan Advisor: Marschner, Steve Thesis: Rendering multiple scattering in hair and other discrete random media |
| |
| Munson, Miles Advisor: Caruana, Rich Thesis: Outside the Machine Learning Blackbox: Supporting Analysts Before and After the Learning Algorithm |
| |
| Nguyen, Nam Advisor: Caruana, Rich Thesis: Semi-Supervised Learning with Partially Labeled Examples |
| |
| Piliouras, Georgios Advisor: Tardos, Eva Thesis: A learning theoretic approach to algorithmic game theory |
| |
| Qi, Xin Advisor: Myers, Andrew Thesis: Language Support For Reliable, Extensible Large-scale Software Systems |
| |
| Roeder, Thomas Advisor: Schneider, Fred Thesis: Proactive Obfuscation |
| |
| Shaparenko, Benyah Advisor: Joachims, Thorsten Thesis: Information Genealogy: Modeling Idea Origins and Flows in Text |
| |
| Sharma, Yogeshwer Advisor: Williamson, David Thesis: Expressive models in online learning |
| |
| Sheldon, Dan Advisor: Hopcroft, John Thesis: Manipulation of PageRank and Collective Hidden Markov Models |
| |
| Vigfusson, Ymir Advisor: Birman, Kenneth Thesis: Affinity in Distributed Systems |
| |
| Winter, Jonathan Advisor: Albonesi, David Thesis: Adaptive Thread Management for Power, Temperature, and Reliability in Future Microprocessors |
| |
| |
| 2009 | |
| Arbree, Adam Advisor: Bala, Kavita Thesis: Scalable and Heterogeneous Rendering of Subsurface Scattering Materials |
| |
| Backstrom, Lars Advisor: Kleinberg, Jon Thesis: Analysis of Large-Scale Data from Human Activities on the Web |
| |
| Balakrishnan, Mahesh Advisor: Birman, Kenneth Thesis: Reliable Communication for Datacenters |
| |
| Ballani, Hitesh Advisor: Francis, Paul Thesis: Harnessing Tunnels for Dirty-Slate Network Solutions |
| |
| Guha, Saikat Advisor: Francis, Paul Thesis: Chasing EME: Arguments for an End-Middle-End Internet |
| |
| Hasan, Milos Advisor: Bala, Kavita Thesis: Matrix Sampling for Global Illumination |
| |
| Hong, Mingsheng Advisor: Gehrke, Johannes Thesis: Expressive and Scalable Event Stream Processing |
| |
| Kroc, Lucas Advisor: Selman, Bart Thesis: Probabilistic Techniques for Constraint Satisfaction Problems |
| |
| Panda, Biswanath Advisor: Gehrke, Johannes Thesis: Data Management Techniques for Fast Function Approximation |
| |
| Stoyanov, Veselin Advisor: Cardie, Claire Thesis: Opinion Summarization: Automatically Creating Useful Representations of the Opinions Expressed in Text |
| |
| Venkataraman, Vidhyashankar Advisor: Francis, Paul Thesis: Transport and Overlay Protocols for High-Bandwidth Applications over the Internet |
| |
| Vishnumurthy, Vivek Advisor: Francis, Paul Thesis: Substrate Support for Peer-to-Peer Applications |
| |
| Zhang, Xinyang Advisor: Francis, Paul Thesis: Performance Evaluation of Pre-Congestion Notification |
| |
| |
| 2008 | |
| Breck, Eric Advisor: Cardie, Claire Thesis: Empiracle Methods for Fine-grained Opinion Extraction from Text |
| |
| Cherem, Sigmund Advisor: Rugina, Radu Thesis: Compiler Support for Memory Management with Explicit Memory Reclamation |
| |
| Chong, Stephen Advisor: Myers, Andrew Thesis: Expressive and Enforceable Information Security Policies |
| |
| Crandall, David Advisor: Huttenlocher, Daniel Thesis: Part-based Statistical Models for Visual Object Class Recognition |
| |
| Dmitriev, Pavel Advisor: Arms, William Thesis: Finding The Boundaries of Compound Documents on the Web |
| |
| Finley, Thomas Advisor: Joachims, Thorsten Thesis: Supervised Clustering with Structural SVMS |
| |
| Haridasan, Maya Advisor: van Renesse, Robbert Thesis: Techniques for Increasing Reliability and Scalability of Live Streaming Systems |
| |
| Hartline, Jeffrey Advisor: Kozen, Dexter Thesis: Incremental Optimization |
| |
| Irawan, Piti Advisor: Marschner, Steve Thesis: Appearance of Woven Cloth |
| |
| Kulkarni, Milind Advisor: Pingali, Keshav Thesis: The Galois System: Optimistic Parallelization of Irregular Programs |
| |
| Machanavajjhala, Ashwin Advisor: Gehrke, Johannes Thesis: Defining and Enforcing Privacy in Data Sharing |
| |
| Martin, David Advisor: Halpern, Joseph Thesis: Expressiveness, Efficiency, and Privacy in Advertising Auctions |
| |
| Niculescu-Mizil, Alexandru Advisor: Caruana, Rich Thesis: Getting the Most out of your Data: Multitask Bayesian Network Structure Learning, Predicting Good Probabilities and Ensemble Selection |
| |
| Ostrowski, Krzysztof Advisor: Birman, Kenneth Thesis: Live Distributed Objects |
| |
| Petride, Sabina Advisor: Halpern, Joseph Thesis: Aspects of Knowledge and Belief-based Programming |
| |
| Radlinski, Filip Advisor: Joachims, Thorsten Thesis: Learning to rank from implicit feedback |
| |
| Ramanarayanan, Ganesh Advisor: Bala, Kavita Thesis: Visual Equivalence: A New Standard of Image Fidelity for Computer Graphics |
| |
| Sorokina, Daria Advisor: Caruana, Rich Thesis: Modeling Additive Structure and Detecting Interactions with Groves of Trees |
| |
| Srijuntongsiri, Gun Advisor: Vavasis, Stephen Thesis: Condition Number Analyses of Line/Surface and Surface/Surface Intersection Algorithms |
| |
| Wang, Yin Advisor: Kozen, Dexter Thesis: Thesis title not recorded |
| |
| Yang, Fan Advisor: Gehrke, Johannes Thesis: Developing, Optimizing and Hosting Data-driven Web Applications |
| |
| |
| 2007 | |
| Bronevetsky, Grigory Advisor: Pingali, Keshav Thesis: Portable checkpointing for parallel applications |
| |
| Fluet, Matthew Advisor: Morrisett, Greg Thesis: Monadic and Substructural Type Systems For Region-Based Memory Management |
| |
| Guo, Lin Advisor: Shanmugasundaram, Jayavel Thesis: Ranked Search Over Structured and Semi-Structured Data |
| |
| Hayrapetyan, Ara Advisor: Tardos, Eva Thesis: The Effects of Selfish Pricing and Collusion in Network Routing Games |
| |
| Lan, Xiangyang Advisor: Huttenlocher, Daniel Thesis: Building tractable probabilistic graphical models for computer vision problems |
| |
| Linga, Prakash Advisor: Shanmugasundaram, Jayavel Thesis: Indexing in Peer-to-Peer Systems |
| |
| Meyerguz, Leonid Advisor: Elber, Ron Thesis: Sequence Capacity and Flow in Protein Structures: A Computational Framework |
| |
| Moczydlowski, Wojciech Advisor: Constable, Robert Thesis: Investigations on Sets and Types |
| |
| Nagarajan, Niranjan Advisor: Keich, Uri Thesis: Statistical Techniques for Biological Motif Discovery |
| |
| Nystrom, Nathaniel Advisor: Myers, Andrew Thesis: Programming Languages for Scalable Software Extension and Composition |
| |
| Ramasubramanian, Venugopalan Advisor: Sirer, E. Gun Thesis: Cost-aware resource management for decentralized internet services |
| |
| Shao, Feng Advisor: Shanmugasundaram, Jayavel Thesis: Triggers and Ranked Keyword Searches over Virtual XML Views |
| |
| Sharp, Alexa Advisor: Kozen, Dexter Thesis: Incremental Algorithms: Solving Problems in a Changing World |
| |
| Svitkina, Zoya Advisor: Tardos, Eva Thesis: Approximation Algorithms for new graph partitioning and facility location problems |
| |
| Weissman, Victoria Advisor: Halpern, Joseph Thesis: Reasoning about authorization policies |
| |
| Yao, Yong Advisor: Gehrke, Johannes Thesis: Efficient Data Retrieval in Wireless Sensor Networks |
| |
| Zheng, Lantian Advisor: Myers, Andrew Thesis: Making Distributed Computation Secure by Construction |
| |
| |
| 2006 | |
| Allavena, Andre Advisor: Hopcroft, John Thesis: On the Correctness of Gossip-based Membership Protocols |
| |
| Barzilay, Eliyahu Advisor: Constable, Robert Thesis: Implementing Reflection in Nuprl |
| |
| Crainiceanu, Adina Advisor: Gehrke, Johannes Thesis: Answering Complex Queries in Peer-to-Peer Systems |
| |
| DasGupta, Anirban Advisor: Hopcroft, John Thesis: Learning Using Spectral Methods |
| |
| Fernandes, Rohit Advisor: Pingali, Keshav Thesis: Mobile MPI Programs on Heterogeneous Computational Grids |
| |
| Hamlen, Kevin Advisor: Morrisett, Greg Thesis: Security Policy Enforcement by Automated Program-rewriting |
| |
| Kifer, Dan Advisor: Gehrke, Johannes Thesis: Graphs and Privacy |
| |
| Kurland, Oren Advisor: Lee, Lillian Thesis: Inter-Document Similiarities, Language Models, and Ad Hoc Information Retrieval |
| |
| Marques, Daniel Advisor: Pingali, Keshav Thesis: Automatic Application-Level Checkpointing for High Performance Computing Systems |
| |
| O'Neill, Kevin Advisor: Halpern, Joseph Thesis: Secrecy and Anonymity in Interactive Systems |
| |
| Pang, Bo Advisor: Lee, Lillian Thesis: Automatic Analysis of Document Sentiment |
| |
| Sandler, Mark Advisor: Kleinberg, Jon Thesis: Algorithms for Mixture Models |
| |
| Singh, Manpreet Advisor: Francis, Paul Thesis: End-to-end techniques for network resource management |
| |
| Slivkins, Aleksandrs Advisor: Kleinberg, Jon Thesis: Embedding, Distance Estimation and Object Location in Networks |
| |
| Wexler, Thomas Advisor: Tardos, Eva Thesis: Selfish Behavior in Network-Based Games |
| |
| |
| 2005 | |
| Anshelevich, Elliot Advisor: Kleinberg, Jon Thesis: Network Design and Management with Strategic Agents |
| |
| Chandra, Ranveer Advisor: Birman, Kenneth Thesis: A virtualization architecture for wireless network cards |
| |
| Das, Abhinandan Advisor: Gehrke, Johannes Thesis: Approximate Query Answering Over Data Streams |
| |
| Pal, Martin Advisor: Tardos, Eva Thesis: Cost Sharing and Approximation |
| |
| Qiu, Jian Advisor: Elber, Ron Thesis: Protein Structure Prediction:Sequence to structure alignment generation and atomic potential development |
| |
| Vetsikas, Ioannis Advisor: Selman, Bart Thesis: A principled methodology for the design of autonomous trading agents with cominatorial preferences in the presence of tradeoffs |
| |
| Wei, Wei Advisor: Selman, Bart Thesis: Exploiting Random Walk Strategies in Automated Reasoning |
| |
| Yotov, Kamen Advisor: Pingali, Keshav Thesis: On the Role of Search in Generating High-Performance BLAS Libraries |
| |
| |
| 2004 | |
| Atkin, Benjamin Advisor: Birman, Kenneth Thesis: Network-Aware Adaptation in Mobile File Systems |
| |
| Barr, Rimon Advisor: Haas, Zygmunt Thesis: An Efficient, Unifying Approach to Simulation Using Virtual Machines |
| |
| Bozdog, Adrian Advisor: van Renesse, Robbert Thesis: A Routing Infastructure for Wide-Area Multicast Applications |
| |
| Chen, Hubert Advisor: Kozen, Dexter Thesis: The Computational Complexity of Quantified Constraint Satisfaction |
| |
| Cheney, James Advisor: Morrisett, Greg Thesis: Nominal Logic Programming |
| |
| Erlingsson, Ulfar Advisor: Schneider, Fred Thesis: The Inlined Reference Monitor Approach to Security Policy Enforcement |
| |
| Evfimievski, Alexandre Advisor: Gehrke, Johannes Thesis: Privacy Preserving Information Sharing |
| |
| Ezick, James Advisor: Pingali, Keshav Thesis: An End-to-End System for Model Checking Over Context-Sensitive Analyses |
| |
| Fernandez, Sebastian Advisor: Greenberg, Donald Thesis: Interactive Direct Illumination in Complex Environments |
| |
| Gupta, Indranil Advisor: Birman, Kenneth Thesis: Building Scalable Solutions to Distributed Computing Problems Using Probabilistic Components |
| |
| Holland-Minkley, Amanda Advisor: Constable, Robert Thesis: Restructuring Formal Mathematics for Natural Texts |
| |
| Hopkinson, Kenneth Advisor: Birman, Kenneth Thesis: Overcoming Communication, Distributed Systems, and Simulation Challenges: A case study involving the protection and control of the electric power grid using a utility intranet based on internet tech |
| |
| Janosi, Tibor Advisor: Birman, Kenneth Thesis: Arbitrage-Free Forward Rate Curves and Applications |
| |
| Kolmogorov, Vladimir Advisor: Zabih, Ramin Thesis: Graph Based Algorithms for Scene Reconstruction from Two or More Views |
| |
| Kopylov, Alexei Advisor: Constable, Robert Thesis: Type Theoretical Foundations for Data Structures, Classes, and Objects |
| |
| Ng, Yu-Chung Advisor: Cardie, Claire Thesis: Improving Machine Learning Approaches to Noun Phrase Coreference Resolution |
| |
| Pucella, Riccardo Advisor: Halpern, Joseph Thesis: Reasoning about Resource-bounded Knowledge: Theory and Application to Security Protocol Analysis |
| |
| Swamy, Chaitanya Advisor: Shmoys, David Thesis: Approximation Algorithms for Clustering Problems |
| |
| |
| 2003 | |
| Chu, Francis Advisor: Halpern, Joseph Thesis: Applications of Decision Theory in Computer Systems |
| |
| Dobra, Alin Advisor: Gehrke, Johannes Thesis: Scalable Classification and Regression Tree Construction |
| |
| Grossman, Daniel Advisor: Morrisett, Greg Thesis: Safe Programming at the C Level of Abstraction |
| |
| Huang, Yi-cheng Advisor: Selman, Bart Thesis: Learning Control Knowledge for Planning |
| |
| Kempe, David Advisor: Kleinberg, Jon Thesis: Gossip and Information Flow in Networks |
| |
| Kim, Junhwan Advisor: Zabih, Ramin Thesis: Computer Vision Algorithms for Magnetic Resonance Imaging |
| |
| Pierce, David Advisor: Cardie, Claire Thesis: Cost-Effective machine Learning Strategies for Shallow Parsing |
| |
| Tole, Parag Advisor: Greenberg, Donald Thesis: Two Algorithms for Progressive Computation for Accurate Global Illumination |
| |
| |
| 2002 | |
| Chen, Zhiyuan Advisor: Johannes Gehrke Thesis: Building Compressed Database Systems |
| |
| Kumar, Amit Advisor: Kleinberg, Jon Thesis: Algorithms for Network Management |
| |
| Minsky, Yaron Advisor: Schneider, Fred Thesis: Spreading Rumors Cheaply, Quickly & Reliabily |
| |
| Nogin, Aleksey Advisor: Constable, Robert Thesis: Theory and Implementation of an Efficient Tactic-Based Logical Framework |
| |
| Pellacini, Fabio Advisor: Greenberg, Donald Thesis: A perceptually-based decision theoretic framework for interactive rendering |
| |
| Roughgarden, Timothy Advisor: Tardos, Eva Thesis: Selfish Routing |
| |
| Smith, Frederick Advisor: Morrisett, Greg Thesis: Certified Run-Time Code Generation |
| |
| Wagstaff, Kiri Advisor: Cardie, Claire Thesis: Intelligent Clustering with Instance-Level Constraints |
| |
| Weirich, Stephanie Advisor: Morrisett, Greg Thesis: Programming with Types |
| |
| Zdancewic, Stephan Advisor: Myers, Andrew Thesis: Programming Languages for Information Security |
| |
| |
| 2001 | |
| Ando, Rie Advisor: Lee, Lillian Thesis: The Document Representation Problem: An Analysis of LSI and Iterative Residual Rescaling |
| |
| Batu, Tugkan Advisor: Rubenfeld, Rohit Thesis: Testing Properties of Distributions |
| |
| Benzinger, Ralph Advisor: Constable, Robert Thesis: Automated Complexity Analysis of NuPRL Extracts |
| |
| Florence, Adam Advisor: Van Loan, Charles Thesis: Some Computational Problems in Multilinear Algebra |
| |
| Hafizogullari, Ozan Advisor: Constable, Robert Thesis: A Typed Framework for Program Analysis |
| |
| Howe, Nicholas Read Advisor: Cardie, Claire Thesis: Analysis and Representations for Automatic Comparison, Classification, and Retrieval of Digital Images |
| |
| Li, Li Advisor: Halpern, Joseph Thesis: Routing and Topology Control in Multihop Wireless Ad Hoc Networks |
| |
| Liu, Xiaoming Advisor: van Renesse, Robbert Thesis: Building High Performance Adaptive Communication Systems for Components |
| |
| Mayr, Stefan Tobias Advisor: Seshadri, Praveen Thesis: Heterogeneous Relational Query Processing for Extensibility and Scalability |
| |
| Ooi, Wei Tsang Advisor: Smith, Brian Thesis: Design and Implementation of Distributed Programmable Media Gateways |
| |
| Qiu, Lili Advisor: van Renesse, Robbert Thesis: An Integrated Approach to Improving Web Performance |
| |
| Wang, Jia Advisor: Trefethen, Nick Thesis: Network-Aware Client Clustering and Applications |
| |
| Xiao, Zhen Advisor: Birman, Kenneth Thesis: Efficient Error Recovery for Reliable Multicast |
| |
| Zhang, Yin Advisor: van Renesse, Robbert Thesis: Characterizing End-to-end Internet Performance |
| |
| Zhou, Li-Dong Advisor: Schneider, Fred Thesis: Towards Fault-Tolerant and Secure On-Line Services |
| |
| |
| 2000 | |
| Aaron, Eric Advisor: Gries, David Thesis: Tactic-Based Modeling of Cxognitive Inference on Logically Structured Notation |
| |
| Aguilera, Marcos Kawazoe Advisor: Toueg, Sam Thesis: Broadening the Applicability of Failure Detectors |
| |
| Ahmed, Nawaaz Advisor: Pingali, Keshav Thesis: Locality Enhancement of Imperfectly-Nested Loop Nests |
| |
| Brown, Daniel G Advisor: Shmoys, David Thesis: Algorithmic Methods in Genetic Mapping |
| |
| Chen, Wei Advisor: Toueg, Sam Thesis: On the Quality of Service of Failure Detectors |
| |
| Freimer, Robert Wilson Advisor: Vavasis, Stephen Thesis: Investigations in Geometric Subdivisions: Linear Shattering and Cartographic Map Coloring |
| |
| Hawblitzel, Chistopher Kirk Advisor: von Eicken, Thorsten Thesis: Adding Operating System Structure to Language-Based Protection |
| |
| Hickey, Jason J Advisor: Constable, Robert Thesis: The MetaPRL Logical Programming Environment |
| |
| Hunter, Scott Burten Advisor: Subramanian, Devika Thesis: Safety Markov Decision Processes: Their Solution and Appication to Agent Design |
| |
| Kartch, Daniel Advisor: Greenberg, Donald Thesis: Efficient Rendering and Compression for Full-Parallex Computer-Generated Holographic Stereograms |
| |
| Kettnaker, Vera Maria Advisor: Zabih, Ramin Thesis: Stochastic Models for the Analysis of Traffic Video |
| |
| Mardis, Scott Anthony Advisor: Cardie, Claire Thesis: Partial Parsing for Linguistic Relationship Identification |
| |
| Menon, Vijay S Advisor: Pingali, Keshav Thesis: Symbolic Compilation Techniques for Array Computations |
| |
| Walker, David Patrick Advisor: Morrisett, Greg Thesis: Typed Memory Management |
| |
| |
| 1999 | |
| Chang, Chi-Chao Advisor: von Eicken, Thorsten Thesis: Safe and Efficient Cluster Communication in Java using Explicit Memory Management |
| |
| Czajkowski, Grzegorz Advisor: von Eicken, Thorsten Thesis: Resource Control for Internet Servers |
| |
| Glew, Arthur Neal Advisor: Kozen, Dexter Thesis: Low-Level Type Systems for Modularity and Object-Oriented Constructs |
| |
| Kotlyar, Vladimir Advisor: Pingali, Keshav Thesis: Relational Algebraic Techniques for the Synthesis of Sparse Matrix Programs |
| |
| Mitra, Mandar Advisor: Cardie, Claire Thesis: High-Precision Information Retrieval |
| |
| Veksler, Olga Advisor: Zabih, Ramin Thesis: Efficient Graph-Based Energy Minimization Methods in Computer Vision |
| |
| |
| 1998 | |
| Caldwell, James Advisor: Constable, Robert Thesis: Decidability Extracted: Synthesizing "Correct-by-Construction" Decision Procedures form Constructive Proofs |
| |
| Crary, Karl Advisor: Constable, Robert Thesis: Type-Theoretic Methodology for Practical Programming Languages |
| |
| Ergun, Ayse Advisor: Rubinfeld, Ronitt Thesis: General methods for extending the scope of program testing |
| |
| Hayden, Mark Advisor: Birman, Kenneth Thesis: The Ensemble System |
| |
| Heng, Wee-Liang Advisor: Tardos, Eva Thesis: Approximately Optimal Elimination Orderings for Sparce Matrices |
| |
| Hickey, Takako Advisor: Schneider, Fred Thesis: Availability and Consistency in a Partitionable Low Bandwidth Network |
| |
| Huang, Jing Advisor: Zabih, Ramin Thesis: Color-Spatial Image Indexing and Applications |
| |
| Kodukula, Induprakas Advisor: Pingali, Keshav Thesis: Data-Centric Compilation |
| |
| Marschner, Stephen Advisor: Greenberg, Donald Thesis: Inverse Rendering for Computer Graphics |
| |
| Naumov, Pavel Advisor: Constable, Robert Thesis: Formalizing Reference Types in NuPRL |
| |
| Ravikumar, S Advisor: Rubinfeld, Ronitt Thesis: New Methods in Program Checking |
| |
| Sharma, Rosen Advisor: Keshav, Srinivasan Thesis: Internet TV |
| |
| Summers, Kristen Advisor: Hopcroft, John Thesis: Automatic Discovery of Logical Document Structure |
| |
| van den Berg, Aswin Advisor: Teitelbaum, Tim Thesis: Data Abstraction by Program Transformation in a Higher-Order Attribute-Grammar Framework |
| |
| Viswanath, Divakar Advisor: Trefethen, Nick Thesis: Lyapunov Exponents from Random Fibonacci Sequences to the Lorenz Equations |
| |
| Walter, Bruce Advisor: Greenberg, Donald Thesis: Density Estimation Techniques fro Global Illumination |
| |
| |
| 1997 | |
| Basu, Anindya Advisor: von Eicken, Thorsten Thesis: A Language-Based Approach to Protocol Construction |
| |
| Bohringer, Karl-Friedrich Advisor: Donald, Bruce Thesis: Programmable Force Fields for Distributed Manipulation, and Their Implementation Using Micro-fabricated Actuator Arrays |
| |
| Dean, Dawson Advisor: Zippel, Richard Thesis: Integrating Compound Documents, File Systems, and Object Stores IN A Microstorage Architecture |
| |
| Hunter, Scott Advisor: Subramanian, Devika Thesis: The Solution and Application of Safety MDPs |
| |
| Jennings, James Advisor: Donald, Bruce Thesis: Distributed Manipulation with Mobile Robots |
| |
| Karr, David Advisor: Birman, Kenneth Thesis: Specification, Composition, and Automated Verification of Layered Communication Protocols |
| |
| Moten, Roderick Advisor: Constable, Robert Thesis: Concurrent Refinement in Nuprl |
| |
| Pitsianis, Nikos Advisor: Van Loan, Charles Thesis: The Kronecker Product in Approximation and Fast Transform Geration |
| |
| Scharstein, Daniel Advisor: Huttenlocher, Daniel Thesis: View Synthesis Using Sterio Vision |
| |
| Singhal, Amitabh Advisor: Cardie, Claire Thesis: Term Weighting Revisited |
| |
| Stodghill, Paul Advisor: Pingali, Keshav Thesis: A Relational Approach to the Automatic Generation of Sequential Sparse matrix Codes |
| |
| Stoller, Scott Advisor: Schneider, Fred Thesis: A Method and Tool for Analyzing Faulty-Tolerance in Systems |
| |
| Sturgill, David Advisor: Segre, Alberto Thesis: Nagging: A General, Fault-Tolerant Approach to Parallel Search Pruning |
| |
| |
| 1996 | |
| Alvisi, Lorenzo Advisor: Toueg, Sam Thesis: Understanding the Message Logging Paradigm for Masking Process Crashes |
| |
| Branch, Mary Ann Advisor: Coleman, Thomas Thesis: Inexact Reflective Newton Methods for Large-Scale Optimization Subject to Bound Constraints |
| |
| Bressoud, Thomas Advisor: Schneider, Fred Thesis: Building a Virtually Fault-Tolerant System |
| |
| Dsourza, Ashvin Advisor: Bloom, Bard Thesis: Model Checking and Expressiveness for First Order Process Algebras |
| |
| Glade, Bradford Advisor: Birman, Kenneth Thesis: A Scalable Architecture for Publish/Subscribe Communication in Distributed Systems |
| |
| Kopke, Peter Advisor: Henzinger, Tom Thesis: The Theory of Rectangular Hybrid Automata |
| |
| Liu, Yanhong Advisor: Teitelbaum, Tim Thesis: Incremental Computation: A Semantics-Based Systematic Transformational Approach |
| |
| Sabel, Laura Advisor: Marzullo, Keith Thesis: Approximating Perfect Failure Detectors in Asynchronous Distributed Systems |
| |
| |
| 1995 | |
| Allan, James Advisor: Salton, Gerard Thesis: Automatic Hypertext Construction |
| |
| Briggs, Amy Advisor: Donald, Bruce Thesis: Efficient Geometric Algorithms for Robot Sensing and Control |
| |
| Brown, Russell Advisor: Donald, Bruce Thesis: Localization, Mapmaking, and Distributed Manipulation wiht Flexible, Robust Mobile Robots |
| |
| Buckley, Christopher Advisor: Salton, Gerard Thesis: Massive Query Expansion for Relevance Feedback |
| |
| Cooper, David Advisor: Birman, Kenneth Thesis: The Design and Implementation of a Private Message Service for Mobile Computers |
| |
| Ho, Pei-Hsin Advisor: Henzinger, Tom Thesis: Automatic Analysis of Hybrid Systems |
| |
| Hopcroft, Michael Advisor: Huttenlocher, Daniel Thesis: A Geometrical Approach to Model-Based Vision |
| |
| Hoppe, Bruce Advisor: Tardos, Eva Thesis: Efficient Dynamic Network Flow Algorithms |
| |
| Hunt, Guerney Advisor: Birman, Kenneth Thesis: Multicast Flow Control on Local Area Networks |
| |
| Jackson, Paul Advisor: Constable, Robert Thesis: Enhancing the NUPRL Proof Development System and Applying it to Computational Abstract Algebra |
| |
| Kalantar, Michael Advisor: Birman, Kenneth Thesis: Issues in Ordered Multicast Performance: A Simulation Study |
| |
| Rucklidge, William Advisor: Huttenlocher, Daniel Thesis: Efficient Computation of the Minimum Hausdorff Distance for Visual Recognition |
| |
| Stefansson, Kjartan Advisor: Kozen, Dexter Thesis: Newtonian Graphs, Riemann Surfaces and Computation |
| |
| Weber, Samuel Advisor: Bloom, Bard Thesis: Process Algebras and Meta-algebras: Theory and Practice |
| |
| |
| 1994 | |
| Chapman, Richard Advisor: Brown, Geoffrey Thesis: Verified High Level Synthesis |
| |
| Chari, Suresh Advisor: Hartmanis, Juris Thesis: Randomness as a Computational Resource: Issues in Efficient Computation |
| |
| Chen, Ze-Wei Advisor: Constable, Robert Thesis: Efficient Access to Knowledge Via Forward Chaining Tactics |
| |
| Efremidis, Sofoklis Advisor: Gries, David Thesis: On Program Transformations |
| |
| Jayanti, Prasad Advisor: Toueg, Sam Thesis: Fault-Tolerant Wait-Free Implementations and Robust Wait-Free Hierarchies |
| |
| Johnson, Richard Advisor: Pingali, Keshav Thesis: Efficient Program Analysis Using Dependence Flow Graphs |
| |
| Lischinski, Daniel Advisor: Greenberg, Donald Thesis: Accurate and Reliable Algorithms for Global Illumination |
| |
| Moudgill, Mayan Advisor: Pingali, Keshav Thesis: Implementing and Exploiting Static Speculation on Multiple Instruction Issue Processors. |
| |
| Novins, Kevin Advisor: Greenberg, Donald Thesis: Towards Accurate and Efficient Volume Rendering |
| |
| Rohatgi, Pankaj Advisor: Hartmanis, Juris Thesis: On Properties of Random Reductions |
| |
| Smits, Brian Advisor: Greenberg, Donald Thesis: Efficient Hierarchical Radiosity in Complex Environments |
| |
| Underwood, Judith Advisor: Constable, Robert Thesis: Aspects of the Computational Content of Proofs |
| |
| |
| 1993 | |
| Budhiraja, Navin Advisor: Marzullo, Keith Thesis: The Primary Backup Approach: Lower and Upper Bounds. |
| |
| Chandra, Tushar Advisor: Toueg, Sam Thesis: Unreliable Failure Detectors for Asynchronous Distributed Systems |
| |
| Feldman, Ronen Advisor: Segre, Alberto Thesis: Probabilistic Revision of Logical Doman Theories |
| |
| Krumvieda, Clifford Advisor: Bloom, Bard Thesis: Distributed ML: Abstractions for Efficient & Fault-Tolerant Programming |
| |
| Li, Wei Advisor: Pingali, Keshav Thesis: Compiling for NUMA Parallel Machines |
| |
| Panconesi, Alessandro Advisor: Shmoys, David Thesis: Locality in distributed computing |
| |
| Piatko, Christine Advisor: Mitchell, Joseph Thesis: Geometric Bicriteria Optimal Path Problems |
| |
| Reiter, Michael Advisor: Birman, Kenneth Thesis: A Security Architecture for Fault-Tolerant Systems |
| |
| Ressler, Eugene Advisor: Kozen, Dexter Thesis: ALEX --- A Paradigm for Expressing and Compiling Matrix Functions |
| |
| Ricciardi, Aleta Advisor: Birman, Kenneth Thesis: The Group Membership Problem in Asynchronous Systems |
| |
| Srinivasan, Aravind Advisor: Shmoys, David Thesis: Techniques for Probabilistic Analysis and Randomness-Efficient Computation |
| |
| Sundaram, Sridhar Advisor: Hopcroft, John Thesis: Fast Algorithms for N-Body Simulation |
| |
| Tampieri, Filippo Advisor: Greenberg, Donald Thesis: Discontinuity Meshing for Radiosity Image Synthesis |
| |
| Wayner, Peter Advisor: Huttenlocher, Daniel Thesis: Using Algebraic Invariants and Grouping to Speed Object Recognition in a Single, Two-dimensional Image |
| |
| Webber, Adam Advisor: Subramanian, Devika Thesis: Principled Optimization of Functional Programs |
| |
| |
| 1992 | |
| Baraff, David Advisor: Greenberg, Donald Thesis: Dynamic Simulation of Non-penetrating Rigid Bodies |
| |
| Bay, Paul Advisor: Bilardi, Gianfranco Thesis: Area-Universal Interconnection Networks for VLSI Parallel Computers |
| |
| Beck, Micah Advisor: Pingali, Keshav Thesis: Translating FORTRAN to Dataflow Graphs |
| |
| Dubhashi, Devdatt Advisor: Kozen, Dexter Thesis: Algorithmic Investigations In P-adic Fields |
| |
| Gopal, Ajei Advisor: Toueg, Sam Thesis: Fault-tolerant Broadcasts and Multicasts: The Problem of Inconsistency and Contamination |
| |
| Kapur, Shyam Advisor: Bilardi, Gianfranco Thesis: Computational Learning of Languages |
| |
| Moore, Douglas Advisor: Vavasis, Stephen Thesis: Simplicial Mesh Generation with Applications |
| |
| Ranjan, Desh Advisor: Hartmanis, Juris Thesis: Issues in NP-optimization and Approximation |
| |
| Reppy, John Advisor: Teitelbaum, Tim Thesis: Higher-Order Concurrency |
| |
| Rus, Daniela Advisor: Hopcroft, John Thesis: Fine Motion Planning for Dexterous Manipulation |
| |
| Siegel, Alexander Advisor: Marzullo, Keith Thesis: Performance in Flexible Distributed File Systems |
| |
| Wilk, Michael Advisor: Hopcroft, John Thesis: Efficient Object-Oriented Constraint Solving for Complex Models |
| |
| Wood, Mark Advisor: Marzullo, Keith Thesis: Fault-Tolerant Management of Distributed Applications Using the Reactive System Architecture |
| |
| Xavier, Patrick Advisor: Donald, Bruce Thesis: Provably-Good Approximation Algorithms For Optimal Kinodynamic Robot Motion Plans |
| |
| |
| 1991 | |
| Chang, Richard Advisor: Hartmanis, Juris Thesis: On the Structure of NP Computations under Boolean Operators |
| |
| Field, John Advisor: Teitelbaum, Tim Thesis: Incremental Reduction and Semantics |
| |
| Hendrickson, Bruce Advisor: Coleman, Thomas Thesis: The Molecule Problem: Combinatorial Ideas in a Continuous Setting |
| |
| Jagadeesan, Radhakrishnan Advisor: Panangaden, Prakash Thesis: Investigations Into Abstraction And Concurrency |
| |
| Lutz, Earlin Advisor: Ingraffea, Anthony Thesis: Numerical Methods for Hypersingular and Near-Singular Boundary Integrals in Fracture Mechanics |
| |
| Smith, Geoffrey Advisor: Gries, David Thesis: Polymorphic Type Inference for Languages with Overloading and Subtyping |
| |
| Stephenson, Patrick Advisor: Birman, Kenneth Thesis: Fast Ordered Multicast |
| |
| Stewart, James Advisor: Hopcroft, John Thesis: The Theory and Practice of Robust Geometric Computation, or, How To Build Robust Solid Modelers |
| |
| |
| 1990 | |
| Aizikowitz, Jacob Advisor: Schneider, Fred Thesis: Replicated Objects-Design and Verification |
| |
| Araya, Jose Advisor: Salton, Gerard Thesis: Interactive Query Formulation and Feedback Experiments in Information Retrieval |
| |
| Basin, David Advisor: Constable, Robert Thesis: Building Problem Solving Environments in Constructive Type Theory |
| |
| Elkan, Charles Advisor: Panangaden, Prakash Thesis: Automated Inductive Reasoning about Logic Programs |
| |
| Hendren, Laurie Advisor: Nicolau, Alexandru Thesis: Parallelizing Programs with Recursive Data Structures |
| |
| Herley, Kieran Advisor: Bilardi, Gianfranco Thesis: Simulating Shared Memory on Distributed Models of Parallel Computation |
| |
| Kane, Kenneth Advisor: Birman, Kenneth Thesis: Log-Based Recovery in Asynchronous Distributed Systems |
| |
| Khuller, Samir Advisor: Vazirani, Vijay Thesis: Efficient Parallel Algorithms for Disjoint Paths and Connectivity |
| |
| Klarlund, Nils Advisor: Kozen, Dexter Thesis: Progress Measures and Finite Arguments for Infinite Computations |
| |
| Murthy, Chetan Advisor: Constable, Robert Thesis: Extracting Constructive Content From Classical Proofs |
| |
| Novick, Mark Advisor: Kozen, Dexter Thesis: Parallel Algorithms for Intersection Graphs |
| |
| Peckham, Stephen Advisor: Teitelbaum, Tim Thesis: Incremental Attribute Evaluation and Multiple Subtree Replacements |
| |
| Rogers, Anne Advisor: Pingali, Keshav Thesis: Process Decomposition through Locality of Reference |
| |
| Russell, James Advisor: Panangaden, Prakash Thesis: Full Abstraction and Fixed-Point Principles for Indeterminate Computation |
| |
| Shah, Amitabh Advisor: Marzullo, Keith Thesis: Exploiting Trade-Offs in the Design of Fault-Tolerant Distributed Databases |
| |
| Shanbhogue, Vasant Advisor: Panangaden, Prakash Thesis: The Expressiveness of Indeterminate Dataflow Primitives |
| |
| Smith, Marla Advisor: Salton, Gerard Thesis: Aspects of the P-Norm Model of Information Retrieval: Syntactic Query Generation, Efficiency, And Theoretical |
| |
| Taylor, Kimberly Advisor: Panangaden, Prakash Thesis: Knowledge and Inhibition in Asynchronous Distributed Systems |
| |
| Zaring, Alan Advisor: Teitelbaum, Tim Thesis: Parallel Evaluation in Attribute Grammar-Based Systems |
| |
| |
| 1989 | |
| Cremer, James Advisor: Hopcroft, John Thesis: An Architecture for General Purpose Physical System Simulation-Integrating Geometry, Dynamics, and Control |
| |
| Curtis, Pavel Advisor: Demers, Alan Thesis: Constrained Quantification in Polymorphic Type Analysis |
| |
| Dickerson, Matthew Advisor: Kozen, Dexter Thesis: The Functional Decomposition of Polynomials |
| |
| Hafsteinsson, Hjaimtyr Advisor: Gilbert, John Thesis: Parallel Sparse Cholesky Factorization |
| |
| Ierardi, Douglas Advisor: Kozen, Dexter Thesis: Solving systems of polynomial equations, with applications to computational algebraic geometry |
| |
| Kochevar, Peter Advisor: Greenberg, Donald Thesis: Computer Graphics on Massively Parallel Machines |
| |
| Moitra, Dipen Advisor: Bilardi, Gianfranco Thesis: Parallel Algorithms for Image Processing |
| |
| Smith, Scott Advisor: Constable, Robert Thesis: Partial Objects in Type Theory |
| |
| Torgersen, Solveig Advisor: Torgersen, Solveig Thesis: Automatic Design of Relational Databases |
| |
| Vander Zanden, Bradley Advisor: Kozen, Dexter Thesis: Incremental Constraint Satisfaction & its Application to Graphical Interface |
| |
| Walz, Janet Advisor: Johnson, Greg Thesis: Extending Attribute Grammar and Type Inference Algorithms |
| |
| |
| 1988 | |
| Aiken, Alexander Advisor: Nicolau, Alexandru Thesis: Compaction-Based Parallelization |
| |
| Bischof, Christian Advisor: Van Loan, Charles Thesis: QR Factorization Algorithms for Coarse-Grained Distributed Systems |
| |
| Griffin, Timothy Advisor: Constable, Robert Thesis: Notational Definition and Top-Down Refinement for Interactive Proof Development Systems |
| |
| Hook, James Advisor: Demers, Alan Thesis: Abstract Types & Dependence in Programming Languages |
| |
| Howe, Douglas Advisor: Constable, Robert Thesis: Automating Reasoning in an Implementation of Constructive Type Theory |
| |
| Kadin, James Advisor: Hartmanis, Juris Thesis: Restricted Turing Reducibilities & the Structure of the Polynomial Time Hierarchy |
| |
| Knoblock, Todd Advisor: Constable, Robert Thesis: Metamathematical Extensibility in Type Theory |
| |
| Mc Curley, Ernest Advisor: Schneider, Fred Thesis: An Assertional Characterization of Serializability and Locking |
| |
| Neiger, Gilbert Advisor: Toueg, Sam Thesis: Techniques for Simplifying the Design of Distributed Systems |
| |
| Neirnyck, Anne Advisor: Panangaden, Prakash Thesis: Static Analysis of Aliases & Side Effects in Higher Order Languages |
| |
| Pugh, William Advisor: Teitelbaum, Tim Thesis: Incremental Computation and the Incremental Evaluation of Functional Programs |
| |
| Schmuck, Frank Advisor: Birman, Kenneth Thesis: The Use of Efficient Broadcast Protocols in Asynchronous Distributed Systems |
| |
| Turbyfill, Carolyn Advisor: Bitton, Dina Thesis: Comparative Benchmarking of Relational Database Systems |
| |
| |
| 1987 | |
| Allen, Stuart Advisor: Constable, Robert Thesis: A Non-Type-Theoretic Semantics for Type-Theoretic Language |
| |
| Barford, Lee Advisor: Hopcroft, John Thesis: A Graphical, Language-Based Editor for Generic Solid Models Represented by Constraints |
| |
| Cleaveland, Walter Advisor: Constable, Robert Thesis: Type-Theoretic Models of Concurrency |
| |
| El Abbadi, Amr Advisor: Toueg, Sam Thesis: A Paradigm for Concurrency Control Protocol for Distributed Databases |
| |
| Hemachandra, Lane Advisor: Hartmanis, Juris Thesis: Counting in Structural Complexity Theory |
| |
| Hoover, Roger Advisor: Teitelbaum, Tim Thesis: Incremental Graph Evaluation |
| |
| Johnson, Ralph Advisor: Schneider, Fred Thesis: Symmetry in Distributed Systems |
| |
| Johnstone, John Advisor: Hopcroft, John Thesis: The Sorting of Points Along an Algebraic Curve |
| |
| Koo, Richard Advisor: Toueg, Sam Thesis: Techniques for Simplifying the programming of Distributed Systems |
| |
| Krentel, Mark Advisor: Vazirani, Vijay Thesis: The Complexity of Optimization Problems |
| |
| Mendler, Paul Advisor: Constable, Robert Thesis: Inductive Definition in Type Theory |
| |
| Palmer, Richard Advisor: Demers, Alan Thesis: Computational Complexity of Motion and Stability of Polygons |
| |
| Park, Haesun Advisor: Luk, Franklin Thesis: On the equivalence and convergence of parallel Jacobi SVD algorithms |
| |
| Prins, Jan Advisor: Gries, David Thesis: Partial Implementations in Program Derivation |
| |
| Schwartzbach, Michael Advisor: Panangaden, Prakash Thesis: A Category Theoretic Analysis of Predicative Type Theory |
| |
| Seidel, Raimund Advisor: Gilbert, John Thesis: Output-Size Sensitive Algorithms For Constructive Problems In Computational Geometry |
| |
| Widom, Jennifer Advisor: Gries, David Thesis: Trace-based Networks Proof Systems: Expressiveness & Completeness |
| |
| Zmijewski, Earl Advisor: Gilbert, John Thesis: Sparse Cholesky Factorization on a Multiprocessor |
| |
| |
| 1986 | |
| Alpern, Bowen Advisor: Schneider, Fred Thesis: Proving Temporal Properties of Concurrent ProgramsP: A Non-Temporal Approach |
| |
| Cai, Jing-Yi Advisor: Hartmanis, Juris Thesis: On Some Most Probable Separations of Complexity Classes |
| |
| Drummond, Rogerio Advisor: Babaoglu, Ozalp Thesis: Impact of Communication Networks on Fault-Tolerant Distributed Computing |
| |
| Joseph, Thomas Advisor: Birman, Kenneth Thesis: Low Cost Management of Replicated Data |
| |
| Longpre, Luc Advisor: Hartmanis, Juris Thesis: Resource Bounded Kolmogorov Complexity, A Link between Computational Complexity & Information Theory |
| |
| Natarajan, Balas Advisor: Hopcroft, John Thesis: On Moving and Orienting Objects |
| |
| Raeuchle, Thomas Advisor: Birman, Kenneth Thesis: Efficient Concurrency Control for Libraries of Typed Objects |
| |
| Sasaki, James Advisor: Constable, Robert Thesis: Extracting Efficient Programs From Constructive Proofs |
| |
| Srikanth, T. Advisor: Toueg, Sam Thesis: Designing Fault-tolerant Algorithms for Distributed Systems using Communication Primitives |
| |
| Voorhees, Ellen Advisor: Salton, Gerard Thesis: The Effectiveness & Efficiency of Agglomerative Hierarchic Clustering in Document Retrieval |
| |
| Warren, Joe Advisor: Hopcroft, John Thesis: On Algebraic Surfaces Meeting with Geometric Continuity |
| |
| |
| 1985 | |
| Bracha, Gabriel Advisor: Toueg, Sam Thesis: Randomized Agreement Protocols & Distributed Deadlock Detection |
| |
| Edenbrandt, Anders Advisor: Gilbert, John Thesis: Combinatorial Problems in Matrix Computation |
| |
| Harper, Robert Advisor: Constable, Robert Thesis: Aspects of the Implementation of Type Theory |
| |
| Horowtiz, Susan Advisor: Teitelbaum, Tim Thesis: Generating Language-Based Editors: A Relationally-Attributed Approach |
| |
| Jacobs, Dean Advisor: Gries, David Thesis: General Correctness: A Unification of Partial and Total Correctness |
| |
| Li, Ming Advisor: Hartmanis, Juris Thesis: Lower Bounds in Computational Complexity |
| |
| Nguyen, Van Advisor: Gries, David Thesis: A Theory of Processes |
| |
| Perry, Kenneth Advisor: Toueg, Sam Thesis: Early Stopping Protocols for Fault-Tolerant Distributed Agreement |
| |
| Stansifer, Ryan Advisor: Constable, Robert Thesis: Representing Constructive Theories in High-Level Programming Languages |
| |
| |
| 1984 | |
| Bajaj, Chanderjit Advisor: Hopcroft, John Thesis: Geometric Optimization and Computational Complexity |
| |
| Boehm, Hans-Juerge Advisor: Demers, Alan Thesis: A Logic for the Russell Programming Language |
| |
| Dietz, Paul Advisor: Hopcroft, John Thesis: Intersection Graph Algorithms |
| |
| Wilfong, Gordon Advisor: Hopcroft, John Thesis: Multiple Object Motion Planning |
| |
| Wright, David Advisor: Skeen, Dale Thesis: Managing Distributed Databases in Partitioned Networks |
| |
| |
| 1983 | |
| Dwork, Cynthia Advisor: Hopcroft, John Thesis: Bounds on Fundamental Problems in Parallel and Distributed Computation |
| |
| Fox, Edward Advisor: Salton, Gerard Thesis: Extending the Boolean & Vector Space Models of Information Retrieval w/P-Norm Queries & Multiple Concept Types |
| |
| Murtagh, Thomas Advisor: Andrews, Gregory Thesis: A Data Abstraction Language for Concurrent Programming |
| |
| Sewelson, Vivian Advisor: Hartmanis, Juris Thesis: A Study of the Structure N |
| |
| |
| 1982 | |
| Cole, Richard Advisor: Hopcroft, John Thesis: Two Problems in Graph Theory |
| |
| Hood, Robert Advisor: Cartwright, Robert Thesis: The Efficient Implementation of Very-high-level Programming Language Constructs |
| |
| Reps, Thomas Advisor: Teitelbaum, Tim Thesis: Generating Language-Based Environments |
| |
| Schlichting, Richard Advisor: Schneider, Fred Thesis: Axiomatic Verification to Enhance Software Reliability |
| |
| |
| 1981 | |
| Archer, James Advisor: Conway, Richard Thesis: The Design and Implementation of a Cooperative Program Development Environment |
| |
| Johnson, Scott Advisor: Constable, Robert Thesis: A Computer System for Checking Proofs |
| |
| Kraftt, Dean Advisor: Constable, Robert Thesis: Avid: A System for the Interactive Development of Verifiably Correct Programs |
| |
| Mahaney, Stephen Advisor: Hartmanis, Juris Thesis: Sparse NP-Complete Sets |
| |
| Melville, Robert Advisor: Gries, David Thesis: Asymptotic Complexity of Iterative Computation |
| |
| Smith, Douglas Advisor: Salton, Gerard Thesis: Switched Broadcast Communication Networks |
| |
| Wu, Harry Advisor: Salton, Gerard Thesis: On Query Formulation in Information Retrieval |
| |
| |
| 1980 | |
| Chan, Tat-Hung Advisor: Constable, Robert Thesis: Reversal-Bounded Computations |
| |
| Furst, Merrick Advisor: Hopcroft, John Thesis: A Subexponential Algorithm for Trivalent Graph Isomorphism |
| |
| Hauser, Carl Advisor: Constable, Robert Thesis: Specification and Verification of Communication in Parallel Systems |
| |
| Holm, John Advisor: Gries, David Thesis: Floating-Point Arithmetic and Program Correctness Proofs |
| |
| Immerman, Neil Advisor: Hartmanis, Juris Thesis: First Order Expressibility as a New Complexity Measure |
| |
| Levin, Gary Advisor: Gries, David Thesis: Proof rules for Communicating Sequential Processes |
| |
| Siegel, Morris Advisor: Donahue, James Thesis: Proving Properties of Snobol4 Patterns |
| |
| Vanderbilt, Peter Advisor: Gries, David Thesis: Program Development Using Refinement Logic |
| |
| |
| 1979 | |
| Bates, Joseph Advisor: Demers, Alan Thesis: A Logic for Correct Program Development |
| |
| Brassard, Gilles Advisor: Hopcroft, John Thesis: Relativized Cryptography |
| |
| Fortune, Steven Advisor: Hopcroft, John Thesis: Topics in Computational Complexity |
| |
| Liu, Lishing Advisor: Demers, Alan Thesis: Essential Uses of Expressions in Set-Oriented Languages |
| |
| Orr, Patrick Advisor: Donahue, James Thesis: Verification of Encapsulated Implementations of Algebraically Specified Data Types |
| |
| Wyllie, James Advisor: Hopcroft, John Thesis: The Complexity of Parallel Computations |
| |
| |
| 1978 | |
| Eland, Nancy Advisor: Conway, Richard Thesis: Language-Based Access Control Mechanisms for Shared Databases |
| |
| Reitman, Richard Advisor: Andrews, Gregory Thesis: Information Flow in Parallel Programs: An Axiomatic Approach |
| |
| Schmidt, Erik Advisor: Hartmanis, Juris Thesis: Succinctness of Descriptions of Context-Free, Regular and Finite Languages |
| |
| Wong, Yinchun Advisor: Salton, Gerard Thesis: Studies on Clustered Files |
| |
| |
| 1977 | |
| McGraw, James Advisor: Andrews, Gregory Thesis: Language Features for Process Interaction and Access Control |
| |
| Mei, Howell Advisor: Dennis, John Thesis: An Analysis & Implementation of Davidon's Techniques for Unconstrained Optimization |
| |
| Schnabel, Robert Advisor: Dennis, John Thesis: Analyzing and Improving Quasi-Newton Methods for Unconstrained Optimization |
| |
| Solomon, Marvin Advisor: Demers, Alan Thesis: Theoretical Issues in the Implementation of Programming Languages |
| |
| Tai, Kuo-chung Advisor: Gries, David Thesis: Syntactic Error Correction In Programming Languages |
| |
| |
| 1976 | |
| Clarke, Edmund Advisor: Constable, Robert Thesis: Completeness and Incompleteness Theorems for Hoare-like Axiom Systems |
| |
| Crawford, Robert Advisor: Salton, Gerard Thesis: Automatic Dictionary Construction & Updating |
| |
| Howell, Thomas Advisor: Hopcroft, John Thesis: Tensor Rank and the Complexity of Bilinear Forms |
| |
| Lafuente, Juan Advisor: Gries, David Thesis: The Specification of Data-Directed Interactive User-Computer Dialogues |
| |
| Pansiot, Jean-Jacques Advisor: Hopcroft, John Thesis: Some Decidable Cases of the Reachability Problem for Vector Addition Systems |
| |
| Yang, Chung-shu Advisor: Salton, Gerard Thesis: Directory Design and Record Allocation for List and Cluster Files |
| |
| |
| 1975 | |
| Fischer, Charles Advisor: Conway, Richard Thesis: On Parsing Context Free Languages in Parallel Environments |
| |
| Galil, Zvi Advisor: Hopcroft, John Thesis: The Complexity of Resolution Procedures for Theorem Proving in the Propositional Calculus |
| |
| Owicki, Susan Advisor: Gries, David Thesis: Axiomatic Proof Techniques for Parallel Programs |
| |
| Simon, Janos Advisor: Hartmanis, Juris Thesis: On some central problems in computational complexity |
| |
| Ting, Dennis Advisor: Moore Thesis: On the Problem of Dynamic Memory Management |
| |
| Wetherell, Charl Advisor: Williams, John Thesis: Problems of Error Correction for Programming Languages |
| |
| Wong, Jin-Kue Advisor: Hopcroft, John Thesis: Isomorphism Problems Involving Planar Graphs |
| |
| |
| 1974 | |
| Chien, Ann-sheng Advisor: Dennis, John Thesis: A class of derivative-free algorithms for unconstrained minimization |
| |
| Gay, David Advisor: Dennis, John Thesis: Brown's Method & Some Generalizations, with Applications to Minimization Problems |
| |
| Gehani, Narain Advisor: Gries, David Thesis: Data Types for Very High Level Programming Languages |
| |
| Mehlhorn, Kurt Advisor: Constable, Robert Thesis: Polynomial and Abstract Subrecursive Classes |
| |
| Muchnick, Steven Advisor: Constable, Robert Thesis: Structure and Complexity in Subrecursive Computation |
| |
| Williamson, Robert Advisor: Salton, Gerard Thesis: Real-Time Document Retrieval |
| |
| |
| 1973 | |
| Baker, Theodore Advisor: Hartmanis, Juris Thesis: Computational Complexity & Nondeterminism in Flowchart Programs |
| |
| Dattola, Robert Advisor: Salton, Gerard Thesis: Automatic Classification in Document Retrieval Systems |
| |
| Hunt, Harry Advisor: Hopcroft, John Thesis: On the Time and Tape Complexity of Languages |
| |
| Johnson, Donald Advisor: Gries, David Thesis: Algorithms for Shortest Paths |
| |
| Musinski, Jean Advisor: Hopcroft, John Thesis: Determining the Complexity of Matrix Multiplication & Other Bilinear Forms |
| |
| Sahni, Sartaj Advisor: Horowitz, Ellis Thesis: On The Knapsack And Other Computationally Related Problems |
| |
| Szymanski, Tom Advisor: Williams, John Thesis: Generalized Bottom-Up Parsing |
| |
| Yu, Clement Advisor: Salton, Gerard Thesis: Theory of Indexing and Classification |
| |
| |
| 1972 | |
| Brown, John Advisor: Gries, David Thesis: Program Schemata & Information Flow: A Study of Some Aspects of the Schema Power of Data Structures |
| |
| Cherniavsky, John Advisor: Constable, Robert Thesis: Logical Theories for Representing Flowchart Schemata |
| |
| Harris, Larry Advisor: Block, Henry Thesis: A Model for Adaptive Problem Solving Applied to Natural Language Acquisition |
| |
| Kerchner, Marcia Advisor: Salton, Gerard Thesis: Dynamic Document Processing in Clustered Collections |
| |
| Levy, Jean Advisor: Gries, David Thesis: Automatic Correction of Syntax Errors in Programming Languages |
| |
| Murray, Daniel Advisor: Salton, Gerard Thesis: Document Retrieval Based on Clustered Files |
| |
| Tenney, Richard Advisor: Nerode, Anil Thesis: Decidable Pairing Functions |
| |
| |
| 1971 | |
| Holt, Richard Advisor: Shaw, Alan Thesis: On Deadlock in Computer Science |
| |
| Lewis, David Advisor: Hopcroft, John Thesis: Closure of Classes of Formal Languages under Substitution Operators |
| |
| McGowan,Clement Advisor: Hartmanis, Juris Thesis: Correctness Results For Lambda Calculus Interpreters |
| |
| Reingold, Edward Advisor: Hartmanis, Juris Thesis: On Some Optimal Algorithms |
| |
| Weiderman, Nelson Advisor: Shaw, Alan Thesis: Synchronization & Simulation in Operating System Construction |
| |
| Wilcox, Thomas Advisor: Shaw, Alan Thesis: Generating Machine Code for High Level Programming Languages |
| |
| Worley, William Advisor: Conway, Richard Thesis: Toward Automatic Debugging of Low Level Code |
| |
| Zelkowitz, Marvin Advisor: Conway, Richard Thesis: Reversible Execution as a Diagnostic Tool |
| |
| |
| 1970 | |
| Boggs, Paul Advisor: Dennis, John Thesis: The Solution of Nonlinear Operator Equations by A-stable Integration Techniques |
| |
| Kerr, Leslie Advisor: Hopcroft, John Thesis: The Effect of Algebraic Structure on the Computational Complexity of Matrix Multiplication |
| |
| Lewis, Forbes Advisor: Hartmanis, Juris Thesis: Unsolvability Considerations in Computational Complexity |
| |
| Weiss, Stephen Advisor: Salton, Gerard Thesis: A Template Approach to Natural Language Analysis for Information Retrieval |
| |
| |
| 1969 | |
| Borodin, Allan Advisor: Hartmanis, Juris Thesis: Computational Complexity and the Existence of Complexity Gaps |
| |
| Elder, Howard Advisor: Pottle, Christopher Thesis: On the Feasibility of Voice Input to an On-line Computer Processing System |
| |
| |
| 1966 | |
| Sturman, Joel Advisor: Pottle, Christopher Thesis: An Iteratively Structured Computer |
| |