Switch to Alphabetical Listing
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