 |
| 2007 | |
| Bronevetsky, Grigory
Advisor: Pingali
Thesis: Portable checkpointing for parallel applications |
|
| Ramasubramanian, Venugopalan
Advisor: Sirer
Thesis: Cost-aware resource management for decentralized internet services |
|
| Nystrom, Nathaniel
Advisor: Myers
Thesis: Programming Languages for Scalable Software Extension and Composition |
|
| Fluet, Matthew
Advisor: Morrisett
Thesis: Monadic and Substructural Type Systems For Region-Based Memory Management |
|
| Nagarajan, Niranjan
Advisor: Keich
Thesis: Statistical Techniques for Biological Motif Discovery |
|
| Zheng, Lantian
Advisor: Myers
Thesis: Making Distributed Computation Secure by Construction |
|
| Yao, Yong
Advisor: Gehrke
Thesis: Efficient Data Retrieval in Wireless Sensor Networks |
|
| Weissman, Victoria
Advisor: Halpern
Thesis: Reasoning about authorization policies |
|
| Moczydlowski, Wojciech
Advisor: Constable
Thesis: Investigations on Sets and Types |
|
|
| 2006 | |
| Wexler, Thomas
Advisor: Tardos
Thesis: Selfish Behavior in Network-Based Games |
|
| Barzilay, Eliyahu
Advisor: Constable
Thesis: Implementing Reflection in Nuprl |
|
| Allavena, Andre
Advisor: Hopcroft
Thesis: On the Correctness of Gossip-based Membership Protocols |
|
| DasGupta, Anirban
Advisor: Hopcroft
Thesis: Learning Using Spectral Methods |
|
| Crainiceanu, Adina
Advisor: Gehrke
Thesis: Answering Complex Queries in Peer-to-Peer Systems |
|
| Marques, Daniel
Advisor: Pingali
Thesis: Automatic Application-Level Checkpointing for High Performance Computing Systems |
|
| Singh, Manpreet
Advisor: Francis
Thesis: End-to-end techniques for network resource management |
|
| Kurland, Oren
Advisor: Lee
Thesis: Inter-Document Similiarities, Language Models, and Ad Hoc Information Retrieval |
|
| Fernandes, Rohit
Advisor: Pingali
Thesis: Mobile MPI Programs on Heterogeneous Computational Grids |
|
| Pang, Bo
Advisor: Lee
Thesis: Automatic Analysis of Document Sentiment |
|
| Slivkins, Aleksandrs
Advisor: Kleinberg
Thesis: Embedding, Distance Estimation and Object Location in Networks |
|
| O'Neill, Kevin
Advisor: Halpern
Thesis: Secrecy and Anonymity in Interactive Systems |
|
| Kifer, Dan
Advisor: Gehrke
Thesis: Graphs and Privacy |
|
| Hamlen, Kevin
Advisor: Morrisett
Thesis: Security Policy Enforcement by Automated Program-rewriting |
|
| Sandler, Mark
Advisor: Kleinberg
Thesis: Algorithms for Mixture Models |
|
|
| 2005 | |
| Pal, Martin
Advisor: Tardos
Thesis: Cost Sharing and Approximation |
|
| Qiu, Jian
Advisor: Elber
Thesis: Protein Structure Prediction:Sequence to structure alignment generation and atomic potential development |
|
| Wei, Wei
Advisor: Selman
Thesis: Exploiting Random Walk Strategies in Automated Reasoning |
|
| Anshelevich, Elliot
Advisor: Kleinberg
Thesis: Network Design and Management with Strategic Agents |
|
| Vetsikas, Ioannis
Advisor: Selman
Thesis: A principled methodology for the design of autonomous trading agents with cominatorial preferences in the presence of tradeoffs |
|
| Das, Abhinandan
Advisor: Gehrke
Thesis: Approximate Query Answering Over Data Streams |
|
| Chandra, Ranveer
Advisor: Birman
Thesis: A virtualization architecture for wireless network cards |
|
| Yotov, Kamen
Advisor: Pingali
Thesis: On the Role of Search in Generating High-Performance BLAS Libraries |
|
|
| 2004 | |
| Atkin, Benjamin
Advisor: Ken Birman
Thesis: Network-Aware Adaptation in Mobile File Systems |
|
| Barr, Rimon
Advisor: Zygmunt Haas
Thesis: An Efficient, Unifying Approach to Simulation Using Virtual Machines |
|
| Bozdog, Adrian
Advisor: Robbert VanRenesee
Thesis: A Routing Infastructure for Wide-Area Multicast Applications |
|
| Chen, Hubert
Advisor: Dexter Kozen
Thesis: The Computational Complexity of Quantified Constraint Satisfaction |
|
| Cheney, James
Advisor: Greg Morrisett
Thesis: Nominal Logic Programming |
|
| Erlingsson, Ulfar
Advisor: Schneider
Thesis: The Inlined Reference Monitor Approach to Security Policy Enforcement |
|
| Evfimievski, Alexandre
Advisor: Gehrke
Thesis: Privacy Preserving Information Sharing |
|
| Ezick, James
Advisor: Pingali
Thesis: An End-to-End System for Model Checking Over Context-Sensitive Analyses |
|
| Fernandez, Sebastian
Advisor: Greenberg
Thesis: Interactive Direct Illumination in Complex Environments |
|
| Gupta, Indranil
Advisor: Birman
Thesis: Building Scalable Solutions to Distributed Computing Problems Using Probabilistic Components |
|
| Holland-Minkley, Amanda
Advisor: Constable
Thesis: Restructuring Formal Mathematics for Natural Texts |
|
| Hopkinson, Kenneth
Advisor: Birman
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
Thesis: Arbitrage-Free Forward Rate Curves and Applications |
|
| Kolmogorov, Vladimir
Advisor: Zabih
Thesis: Graph Based Algorithms for Scene Reconstruction from Two or More Views |
|
| Kopylov, Alexei
Advisor: Constable
Thesis: Type Theoretical Foundations for Data Structures, Classes, and Objects |
|
| Ng, Yu-Chung
Advisor: Cardie
Thesis: Improving Machine Learning Approaches to Noun Phrase Coreference Resolution |
|
| Pucella, Riccardo
Advisor: Halpern
Thesis: Reasoning about Resource-bounded Knowledge: Theory and Application to Security Protocol Analysis |
|
| Swamy, Chaitanya
Advisor: Shmoys
Thesis: Approximation Algorithms for Clustering Problems |
|
|
| 2003 | |
| Chu, Francis
Advisor: Halpern
Thesis: Applications of Decision Theory in Computer Systems |
|
| Dobra, Alin
Advisor: Gehrke
Thesis: Scalable Classification and Regression Tree Construction |
|
| Grossman, Daniel
Advisor: Morrisett
Thesis: Safe Programming at the C Level of Abstraction |
|
| Huang, Yi-cheng
Advisor: Selman
Thesis: Learning Control Knowledge for Planning |
|
| Kempe, David
Advisor: Kleinberg
Thesis: Gosspic and Information Flow in Networks |
|
| Kim, Junhwan
Advisor: Zabih
Thesis: Computer Vision Algorithms for Magnetic Resonance Imaging |
|
| Pierce, David
Advisor: Cardie
Thesis: Cost-Effective machine Learning Strategies for Shallow Parsing |
|
| Tole, Parag
Advisor: Greenberg
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
Thesis: Algorithms for Network Management |
|
| Minsky, Yaron
Advisor: Schneider
Thesis: Spreading Rumors Cheaply, Quickly & Reliabily |
|
| Nogin, Aleksey
Advisor: Constable
Thesis: Theory and Implementation of an Efficient Tactic-Based Logical Framework |
|
| Pellacini, Fabio
Advisor: Greenberg
Thesis: A perceptually-based decision theoretic framework for interactive rendering |
|
| Roughgarden, Timothy
Advisor: Tardos
Thesis: Selfish Routing |
|
| Smith, Frederick
Advisor: Morrisett
Thesis: Certified Run-Time Code Generation |
|
| Wagstaff. Kiri
Advisor: Cardie
Thesis: Intelligent Clustering with Instance-Level Constraints |
|
| Weirich, Stephanie
Advisor: Morrisett
Thesis: Programming with Types |
|
| Zdancewic, Stephan
Advisor: Myers
Thesis: Programming Languages for Information Security |
|
|
| 2001 | |
| Ando, Rie
Advisor: Lillian Lee
Thesis: The Document Representation Problem: An Analysis of LSI and Iterative Residual Rescaling |
|
| Batu, Tugkan
Advisor: Rohit Rubenfeld
Thesis: Testing Properties of Distributions |
|
| Benzinger, Ralph
Advisor: RL Constable
Thesis: Automated Complexity Analysis of NuPRL Extracts |
|
| Florence, Adam
Advisor: Van Loan
Thesis: Some Computational Problems in Multilinear Algebra |
|
| Hafizogullari, Ozan
Advisor: Constable
Thesis: A Typed Framework for Program Analysis |
|
| Howe, Nicholas Read
Advisor: Cardie
Thesis: Analysis and Representations for Automatic Comparison, Classification, and Retrieval of Digital Images |
|
| Li, Li
Advisor: Halpern
Thesis: Routing and Topology Control in Multihop Wireless Ad Hoc Networks |
|
| Liu, Xiaoming
Advisor: Van Renesse
Thesis: Building High Performance Adaptive Communication Systems for Components |
|
| Mayr, Stefan Tobias
Advisor: Seshadri
Thesis: Heterogeneous Relational Query Processing for Extensibility and Scalability |
|
| Ooi, Wei Tsang
Advisor: Smith
Thesis: Design and Implementation of Distributed Programmable Media Gateways |
|
| Qiu, Lili
Advisor: Van Renesee
Thesis: An Integrated Approach to Improving Web Performance |
|
| Wang, Jia
Advisor: Trefethen
Thesis: Network-Aware Client Clustering and Applications |
|
| Xiao, Zhen
Advisor: Birman
Thesis: Efficient Error Recovery for Reliable Multicast |
|
| Zhang, Yin
Advisor: van Renesse
Thesis: Characterizing End-to-end Internet Performance |
|
| Zhou, Li-Dong
Advisor: Schneider
Thesis: Towards Fault-Tolerant and Secure On-Line Services |
|
|
| 2000 | |
| Aaron, Eric
Advisor: David Gries
Thesis: Tactic-Based Modeling of Cxognitive Inference on Logically Structured Notation |
|
| Aguilera, Marcos Kawazoe
Advisor: Sam Toueg
Thesis: Broadening the Applicability of Failure Detectors |
|
| Ahmed, Nawaaz
Advisor: Keshav Pingali
Thesis: Locality Enhancement of Imperfectly-Nested Loop Nests |
|
| Brown, Daniel G
Advisor: David Shmoys
Thesis: Algorithmic Methods in Genetic Mapping |
|
| Chen, Wei
Advisor: Sam Toueg
Thesis: On the Quality of Service of Failure Detectors |
|
| Freimer, Robert Wilson
Advisor: Vavasis
Thesis: Investigations in Geometric Subdivisions: Linear Shattering and Cartographic Map Coloring |
|
| Hawblitzel, Chistopher Kirk
Advisor: van Eicken
Thesis: Adding Operating System Structure to Language-Based Protection |
|
| Hickey, Jason J
Advisor: Constable
Thesis: The MetaPRL Logical Programming Environment |
|
| Hunter, Scott Burten
Advisor: Subramanian
Thesis: Safety Markov Decision Processes: Their Solution and Appication to Agent Design |
|
| Kartch, Daniel
Advisor: Greenberg
Thesis: Efficient Rendering and Compression for Full-Parallex Computer-Generated Holographic Stereograms |
|
| Kettnaker, Vera Maria
Advisor: Zabih
Thesis: Stochastic Models for the Analysis of Traffic Video |
|
| Mardis, Scott Anthony
Advisor: Cardie
Thesis: Partial Parsing for Linguistic Relationship Identification |
|
| Menon, Vijay S
Advisor: Pingali
Thesis: Symbolic Compilation Techniques for Array Computations |
|
| Walker, David Patrick
Advisor: Morrisett
Thesis: Typed Memory Management |
|
|
| 1999 | |
| Veksler, Olga
Advisor: Zabih
Thesis: Efficient Graph-based Energy Minimization Methods in Computer Vision |
|
| Mitra, Mandar
Advisor: Cardie
Thesis: High-Precision Information Retrieval |
|
| Kotlyar, Vladimir
Advisor: Pingali
Thesis: Relational Algebraic Techniques for the Synthesis of Sparse Matrix Programs |
|
| Czajkowski, Grzegorz
Advisor: von Eicken
Thesis: Resource Control for Internet Servers |
|
| Chang, Chi-Chao
Advisor: Thorsten von Eicken
Thesis: Safe and Efficient Cluster Communication in Java using Explicit Memory Management |
|
| Czajkowski, Grzegorz
Advisor: von Eichen
Thesis: Resource Control for Internet Servers |
|
| Glew, Arthur Neal
Advisor: Kozen
Thesis: Low-Level Type Systems for Modularity and Object-Oriented Constructs |
|
| Veksler, Olga
Advisor: Zabuh
Thesis: Efficient Graph-Based Energy Minimization Methods in Computer Vision |
|
|
| 1998 | |
| Walter, Bruce
Advisor: Greenberg
Thesis: Density Estimation Techniques fro Global Illumination |
|
| Viswanath, Divakar
Advisor: Trefethen
Thesis: Lyapunov Exponents from Random Fibonacci Sequences to the Lorenz Equations |
|
| van den Berg, Aswin
Advisor: Teitelbaum
Thesis: Data Abstraction by Program Transformation in a Higher-Order Attribute-Grammar Framework |
|
| Summers, Kristen
Advisor: Hopcroft
Thesis: Automatic Discovery of Logical Document Structure |
|
| Sharma, Rosen
Advisor: S. Keshav
Thesis: Internet TV |
|
| Ravikumar, S
Advisor: Rubinfeld
Thesis: New Methods in Program Checking |
|
| Naumov, Pavel
Advisor: Constable
Thesis: Formalizing Reference Types in NuPRL |
|
| Marschner, Stephen
Advisor: Greenberg
Thesis: Inverse Rendering for Computer Graphics |
|
| Kodukula, Induprakas
Advisor: Pingali
Thesis: Data-Centric Compilation |
|
| Huang, Jing
Advisor: Zabih
Thesis: Color-Spatial Image Indexing and Applications |
|
| Hickey, Takako
Advisor: Schneider
Thesis: Availability and Consistency in a Partitionable Low Bandwidth Network |
|
| Heng, Wee-Liang
Advisor: Tardos
Thesis: Approximately Optimal Elimination Orderings for Sparce Matrices |
|
| Hayden, Mark
Advisor: Birman
Thesis: The Ensemble System |
|
| Ergun, Ayse
Advisor: Rubinfeld
Thesis: General methods for extending the scope of program testing |
|
| Crary, Carl
Advisor: Constable
Thesis: Type-Theoretic Methodology for Practical Programming Languages |
|
| Caldwell, James
Advisor: Constable
Thesis: Decidability Extracted: Synthesizing "Correct-by-Construction" Decision Procedures form Constructive Proofs |
|
|
| 1997 | |
| Sturgill, David
Advisor: Segre
Thesis: Nagging: A General, Fault-Tolerant Approach to Parallel Search Pruning |
|
| Stoller, Scott
Advisor: Schneider
Thesis: A Method and Tool for Analyzing Faulty-Tolerance in Systems |
|
| Stodghill, Paul
Advisor: Pingali
Thesis: A Relational Approach to the Automatic Generation of Sequential Sparse matrix Codes |
|
| Singhal, Amitabh
Advisor: Cardie
Thesis: Term Weighting Revisited |
|
| Scharstein, Daniel
Advisor: Huttenlocher
Thesis: View Synthesis Using Sterio Vision |
|
| Pitsianis, Nikos
Advisor: Van Loan
Thesis: The Kronecker Product in Approximation and Fast Transform Geration |
|
| Moten, Roderick
Advisor: Constable
Thesis: Concurrent Refinement in Nuprl |
|
| Karr, David
Advisor: Birman
Thesis: Specification, Composition, and Automated Verification of Layered Communication Protocols |
|
| Jennings, James
Advisor: Donald
Thesis: Distributed Manipulation with Mobile Robots |
|
| Hunter, Scott
Advisor: Subramanian
Thesis: The Solution and Application of Safety MDPs |
|
| Dean, Dawson
Advisor: Zippel
Thesis: Integrating Compound Documents, File Systems, and Object Stores IN A Microstorage Architecture |
|
| Bohringer, Karl-Friedrich
Advisor: Donald
Thesis: Programmable Force Fields for Distributed Manipulation, and Their Implementation Using Micro-fabricated Actuator Arrays |
|
| Basu, Anindya
Advisor: Von Eicken
Thesis: A Language-Based Approach to Protocol Construction |
|
|
| 1996 | |
| Sabel, Laura
Advisor: Marzullo
Thesis: Approximating Perfect Failure Detectors in Asynchronous Distributed Systems |
|
| Liu, Yanhong
Advisor: Teitelbaum
Thesis: Incremental Computation: A Semantics-Based Systematic Transformational Approach |
|
| Kopke, Peter
Advisor: Henzinger
Thesis: The Theory of Rectangular Hybrid Automata |
|
| Glade, Bradford
Advisor: Birman
Thesis: A Scalable Architecture for Publish/Subscribe Communication in Distributed Systems |
|
| Dsourza, Ashvin
Advisor: Bloom
Thesis: Model Checking and Expressiveness for First Order Process Algebras |
|
| Bressoud, Thomas
Advisor: Schneider
Thesis: Building a Virtually Fault-Tolerant System |
|
| Branch, Mary Ann
Advisor: Coleman
Thesis: Inexact Reflective Newton Methods for Large-Scale Optimization Subject to Bound Constraints |
|
| Alvisi, Lorenzo
Advisor: Toueg
Thesis: Understanding the Message Logging Paradigm for Masking Process Crashes |
|
|
| 1995 | |
| Weber, Samuel
Advisor: Bloom
Thesis: Process Algebras and Meta-algebras: Theory and Practice |
|
| Stefansson, Kjartan
Advisor: Kozen
Thesis: Newtonian Graphs, Riemann Surfaces and Computation |
|
| Rucklidge, William
Advisor: Huttenlocher
Thesis: Efficient Computation of the Minimum Hausdorff Distance for Visual Recognition |
|
| Kalanfar, Michael
Advisor: Birman
Thesis: Issues in Ordered Multicast Performance: A Simulation Study |
|
| Jackson, Paul
Advisor: Constable
Thesis: Enhancing the NUPRL Proof Development System and Applying it to Computational Abstract Algebra |
|
| Hunt, Guerney
Advisor: Birman
Thesis: Multicast Flow Control on Local Area Networks |
|
| Hoppe, Bruce
Advisor: Tardos-OR
Thesis: Efficient Dynamic Network Flow Algorithms |
|
| Hopcroft, Michael
Advisor: Huttenlocher
Thesis: A Geometrical Approach to Model-Based Vision |
|
| Ho, Pei-Hsin
Advisor: Henzinger
Thesis: Automatic Analysis of Hybrid Systems |
|
| Cooper, David
Advisor: Birman
Thesis: The Design and Implementation of a Private Message Service for Mobile Computers |
|
| Buckley, Christopher
Advisor: Salton
Thesis: Massive Query Expansion for Relevance Feedback |
|
| Brown, Russell
Advisor: Donald
Thesis: Localization, Mapmaking, and Distributed Manipulation wiht Flexible, Robust Mobile Robots |
|
| Briggs, Amy
Advisor: Donald
Thesis: Efficient Geometric Algorithms for Robot Sensing and Control |
|
| Allan, James
Advisor: Salton
Thesis: Automatic Hypertext Construction |
|
|
| 1994 | |
| Underwood, Judith
Advisor: Constable
Thesis: Aspects of the Computational Content of Proofs |
|
| Smits, Brian
Advisor: Greenberg
Thesis: Efficient Hierarchical Radiosity in Complex Environments |
|
| Rohatgi, Pankaj
Advisor: Hartmanis
Thesis: On Properties of Random Reductions |
|
| Novins, Kevin
Advisor: Greenberg
Thesis: Towards Accurate and Efficient Volume Rendering |
|
| Moudgill, Mayan
Advisor: Pingali
Thesis: Implementing and Exploiting Static Speculation on Multiple Instruction Issue Processors. |
|
| Lischinski, Daniel
Advisor: Greenberg
Thesis: Accurate and Reliable Algorithms for Global Illumination |
|
| Johnson, Richard
Advisor: Pingali
Thesis: Efficient Program Analysis Using Dependence Flow Graphs |
|
| Jayanti, Prasad
Advisor: Toueg
Thesis: Fault-Tolerant Wait-Free Implementations and Robust Wait-Free Hierarchies |
|
| Efremidis, Sofoklis
Advisor: Gries
Thesis: On Program Transformations |
|
| Chen, Ze-Wei
Advisor: Constable
Thesis: Efficient Access to Knowledge Via Forward Chaining Tactics |
|
| Chari, Suresh
Advisor: Hartmanis
Thesis: Randomness as a Computational Resource: Issues in Efficient Computation |
|
| Chapman, Richard
Advisor: Brown-EE
Thesis: Verified High Level Synthesis |
|
|
| 1993 | |
| Webber, Adam
Advisor: Subramanian
Thesis: Principled Optimization of Functional Programs |
|
| Wayner, Peter
Advisor: Huttenlocher
Thesis: Using Algebraic Invariants and Grouping to Speed Object Recognition in a Single, Two-dimensional Image |
|
| Tampieri, Filippo
Advisor: Greenberg
Thesis: Discontinuity Meshing for Radiosity Image Synthesis |
|
| Sundaram, Sridhar
Advisor: Hopcroft
Thesis: Fast Algorithms for N-Body Simulation |
|
| Srinivasan, Aravind
Advisor: Shmoys
Thesis: Techniques for Probabilistic Analysis and Randomness-Efficient Computation |
|
| Ricciardi, Aleta
Advisor: Birman
Thesis: The Group Membership Problem in Asynchronous Systems |
|
| Ressler, Eugene
Advisor: Kozen
Thesis: ALEX --- A Paradigm for Expressing and Compiling Matrix Functions |
|
| Reiter, Michael
Advisor: Birman
Thesis: A Security Architecture for Fault-Tolerant Systems |
|
| Piatko, Christine
Advisor: J. Mitchell
Thesis: Geometric Bicriteria Optimal Path Problems |
|
| Panconesi, Alessandro
Advisor: Shmoys-OR
Thesis: Locality in distributed computing |
|
| Li, Wei
Advisor: Pingali
Thesis: Compiling for NUMA Parallel Machines |
|
| Krumvieda, Clifford
Advisor: Bloom
Thesis: Distributed ML: Abstractions for Efficient & Fault-Tolerant Programming |
|
| Feldman, Ronen
Advisor: Segre
Thesis: Probabilistic Revision of Logical Doman Theories |
|
| Chandra, Tushar
Advisor: Toueg
Thesis: Unreliable Failure Detectors for Asynchronous Distributed Systems |
|
| Budhiraja, Navin
Advisor: Marzullo
Thesis: The Primary Backup Approach: Lower and Upper Bounds. |
|
| Mehlhorn, Kurt
Advisor: Constable
Thesis: Polynomial and Abstract Subrecursive Classes |
|
|
| 1992 | |
| Xavier, Patrick
Advisor: Donald
Thesis: Provably-Good Approximation Algorithms For Optimal Kinodynamic Robot Motion Plans |
|
| Wood, Mark
Advisor: Marzullo
Thesis: Fault-Tolerant Management of Distributed Applications Using the Reactive System Architecture |
|
| Wilk, Michael
Advisor: Hopcroft
Thesis: Efficient Object-Oriented Constraint Solving for Complex Models |
|
| Siegel, Alexander
Advisor: Marzullo
Thesis: Performance in Flexible Distributed File Systems |
|
| Rus, Daniela
Advisor: Hopcroft
Thesis: Fine Motion Planning for Dexterous Manipulation |
|
| Reppy, John
Advisor: Teitelbaum
Thesis: Higher-Order Concurrency |
|
| Ranjan, Desh
Advisor: Hartmanis
Thesis: Issues in NP-optimization and Approximation |
|
| Moore, Douglas
Advisor: Vavasis
Thesis: Simplicial Mesh Generation with Applications |
|
| Kapur, Shyam
Advisor: Bilardi
Thesis: Computational Learning of Languages |
|
| Gopal, Ajei
Advisor: Toueg
Thesis: Fault-tolerant Broadcasts and Multicasts: The Problem of Inconsistency and Contamination |
|
| Dubhashi, Devdatt
Advisor: Kozen
Thesis: Algorithmic Investigations In P-adic Fields |
|
| Beck, Micah
Advisor: Pingali
Thesis: Translating FORTRAN to Dataflow Graphs |
|
| Bay, Paul
Advisor: Bilardi
Thesis: Area-Universal Interconnection Networks for VLSI Parallel Computers |
|
| Baraff, David
Advisor: Greenberg
Thesis: Dynamic Simulation of Non-penetrating Rigid Bodies |
|
|
| 1991 | |
| Stewart, James
Advisor: Hopcroft
Thesis: The Theory and Practice of Robust Geometric Computation, or, How To Build Robust Solid Modelers |
|
| Stephenson, Patrick
Advisor: Birman
Thesis: Fast Ordered Multicast |
|
| Smith, Geoffrey
Advisor: Gries
Thesis: Polymorphic Type Inference for Languages with Overloading and Subtyping |
|
| Lutz, Earlin
Advisor: Ingraffea-CEE
Thesis: Numerical Methods for Hypersingular and Near-Singular Boundary Integrals in Fracture Mechanics |
|
| Jagadeesan, Radhakrishnan
Advisor: Panangaden
Thesis: Investigations Into Abstraction And Concurrency |
|
| Hendrickson, Bruce
Advisor: Coleman
Thesis: The Molecule Problem: Combinatorial Ideas in a Continuous Setting |
|
| Field, John
Advisor: Teitelbaum
Thesis: Incremental Reduction and Semantics |
|
| Chang, Richard
Advisor: Hartmanis
Thesis: On the Structure of NP Computations under Boolean Operators |
|
|
| 1990 | |
| Zaring, Alan
Advisor: Teiltelbaum
Thesis: Parallel Evaluation in Attribute Grammar-Based Systems |
|
| Taylor, Kimberly
Advisor: Panangaden
Thesis: Knowledge and Inhibition in Asynchronous Distributed Systems |
|
| Smith, Marla
Advisor: Salton
Thesis: Aspects of the P-Norm Model of Information Retrieval: Syntactic Query Generation, Efficiency, And Theoretical |
|
| Shanbhogue, Vasant
Advisor: Panandaden
Thesis: The Expressiveness of Indeterminate Dataflow Primitives |
|
| Shah, Amitabh
Advisor: Marzullo
Thesis: Exploiting Trade-Offs in the Design of Fault-Tolerant Distributed Databases |
|
| Russell, James
Advisor: Panangaden
Thesis: Full Abstraction and Fixed-Point Principles for Indeterminate Computation |
|
| Rogers, Anne
Advisor: Pingali
Thesis: Process Decomposition through Locality of Reference |
|
| Peckhan, Stephen
Advisor: Teitelbaum
Thesis: Incremental Attribute Evaluation and Multiple Subtree Replacements |
|
| Novick, Mark
Advisor: Kozen
Thesis: Parallel Algorithms for Intersection Graphs |
|
| Murthy, Chetan
Advisor: Constable
Thesis: Extracting Constructive Content From Classical Proofs |
|
| Klarlund, Nils
Advisor: Kozen
Thesis: Progress Measures and Finite Arguments for Infinite Computations |
|
| Khuller, Samir
Advisor: Vazirani
Thesis: Efficient Parallel Algorithms for Disjoint Paths and Connectivity |
|
| Kane, Kenneth
Advisor: Birman
Thesis: Log-Based Recovery in Asynchronous Distributed Systems |
|
| Herley, Kieran
Advisor: Bilardi
Thesis: Simulating Shared Memory on Distributed Models of Parallel Computation |
|
| Hendren, Laurie
Advisor: Nicolau
Thesis: Parallelizing Programs with Recursive Data Structures |
|
| Elkan, Charles
Advisor: Panangaden
Thesis: Automated Inductive Reasoning about Logic Programs |
|
| Basin, David
Advisor: Constable
Thesis: Building Problem Solving Environments in Constructive Type Theory |
|
| Araya, Jose
Advisor: Salton
Thesis: Interactive Query Formulation and Feedback Experiments in Information Retrieval |
|
| Aizikowitz, Jacob
Advisor: Schneider
Thesis: Replicated Objects-Design and Verification |
|
|
| 1989 | |
| Walz, Janet
Advisor: Johnson
Thesis: Extending Attribute Grammar and Type Inference Algorithms |
|
| Vander Zanden, Bradley
Advisor: Kozen
Thesis: Incremental Constraint Satisfaction & its Application to Graphical Interface |
|
| Torgersen, Solveig
Advisor: Torgersen, Solveig
Thesis: Automatic Design of Relational Databases |
|
| Smith, Scott
Advisor: Constable
Thesis: Partial Objects in Type Theory |
|
| Moitra, Dipen
Advisor: Bilardi
Thesis: Parallel Algorithms for Image Processing |
|
| Kochevar, Peter
Advisor: Greenberg
Thesis: Computer Graphics on Massively Parallel Machines |
|
| Ierardi, Douglas
Advisor: Kozen
Thesis: Solving systems of polynomial equations, with applications to computational algebraic geometry |
|
| Hafsteinsson, Hjaimtyr
Advisor: Gilbert
Thesis: Parallel Sparse Cholesky Factorization |
|
| Dickerson, Matthew
Advisor: Kozen
Thesis: The Functional Decomposition of Polynomials |
|
| Curtis, Pavel
Advisor: Demers
Thesis: Constrained Quantification in Polymorphic Type Analysis |
|
| Cremer, James
Advisor: Hopcroft
Thesis: An Architecture for General Purpose Physical System Simulation-Integrating Geometry, Dynamics, and Control |
|
|
| 1988 | |
| Turbyfill, Carolyn
Advisor: Biffon
Thesis: Turbyfill, Carolyn |
|
| Schmuck, Frank
Advisor: Birman
Thesis: The Use of Efficient Broadcast Protocols in Asynchronous Distributed Systems |
|
| Pugh, William
Advisor: Teitelbaum
Thesis: Incremental Computation and the Incremental Evaluation of Functional Programs |
|
| Neirnyck, Anne
Advisor: Panangaden
Thesis: Static Analysis of Aliases & Side Effects in Higher Order Languages |
|
| Neiger, Gilbert
Advisor: Toueg
Thesis: Techniques for Simplifying the Design of Distributed Systems |
|
| Mc Curley, Ernest
Advisor: Schneider
Thesis: An Assertional Characterization of Serializability and Locking |
|
| Knoblock, Todd
Advisor: Constable
Thesis: Metamathematical Extensibility in Type Theory |
|
| Kadin, James
Advisor: Hartmanis
Thesis: Restricted Turing Reducibilities & the Structure of the Polynomial Time Hierarchy |
|
| Howe, Douglas
Advisor: Constable
Thesis: Automating Reasoning in an Implementation of Constructive Type Theory |
|
| Hook, James
Advisor: Demers
Thesis: Abstract Types & Dependence in Programming Languages |
|
| Griffin, Timothy
Advisor: Constable
Thesis: Notational Definition and Top-Down Refinement for Interactive Proof Development Systems |
|
| Bischof, Christian
Advisor: Van Loan
Thesis: QR Factorization Algorithms for Coarse-Grained Distributed Systems |
|
| Aiken, Alexander
Advisor: Nicolau
Thesis: Compaction-Based Parallelization |
|
|
| 1987 | |
| Zmijewski, Earl
Advisor: Gilbert
Thesis: Sparse Cholesky Factorization on a Multiprocessor |
|
| Widom, Jennifer
Advisor: Gries
Thesis: Trace-based Networks Proof Systems: Expressiveness & Completeness |
|
| Seidel, Raimund
Advisor: Gilbert
Thesis: Output-Size Sensitive Algorithms For Constructive Problems In Computational Geometry |
|
| Schwartzbach, Michael
Advisor: Panangaden
Thesis: A Category Theoretic Analysis of Predicative Type Theory |
|
| Prins, Jan
Advisor: Gries
Thesis: Partial Implementations in Program Derivation |
|
| Park, Haesun
Advisor: Luk
Thesis: On the equivalence and convergence of parallel Jacobi SVD algorithms |
|
| Palmer, Richard
Advisor: Demers
Thesis: Computational Complexity of Motion and Stability of Polygons |
|
| Mendler, Paul
Advisor: Constable
Thesis: Inductive Definition in Type Theory |
|
| Krentel, Mark
Advisor: Vazirani
Thesis: The Complexity of Optimization Problems |
|
| Koo, Richard
Advisor: Toueg
Thesis: Techniques for Simplifying the programming of Distributed Systems |
|
| Johnstone, John
Advisor: Hopcroft
Thesis: The Sorting of Points Along an Algebraic Curve |
|
| Johnson, Edward
Advisor: Schneider
Thesis: Symmetry in Distributed Systems |
|
| Hoover, Roger
Advisor: Teitelbaum
Thesis: Incremental Graph Evaluation |
|
| Hemachandra, Lane
Advisor: Hartmanis
Thesis: Counting in Structural Complexity Theory |
|
| El Abbadi, Amr
Advisor: Toueg
Thesis: A Paradigm for Concurrency Control Protocol for Distributed Databases |
|
| Cleaveland, Walter
Advisor: Constable
Thesis: Type-Theoretic Models of Concurrency |
|
| Barford, Lee
Advisor: Hopcroft
Thesis: A Graphical, Language-Based Editor for Generic Solid Models Represented by Constraints |
|
| Allen, Stuart
Advisor: Constable
Thesis: A Non-Type-Theoretic Semantics for Type-Theoretic Language |
|
|
| 1986 | |
| Warren, Joe
Advisor: Hopcroft
Thesis: On Algebraic Surfaces Meeting with Geometric Continuity |
|
| Voorhees, Ellen
Advisor: Salton
Thesis: The Effectiveness & Efficiency of Agglomerative Hierarchic Clustering in Document Retrieval |
|
| Srikanth, T.
Advisor: Toueg
Thesis: Designing Fault-tolerant Algorithms for Distributed Systems using Communication Primitives |
|
| Sasaki, James
Advisor: Constable
Thesis: Extracting Efficient Programs From Constructive Proofs |
|
| Raeuchle, Thomas
Advisor: Birman
Thesis: Efficient Concurrency Control for Libraries of Typed Objects |
|
| Natatajan, Balas
Advisor: Hopcroft
Thesis: On Moving and Orienting Objects |
|
| Longpre, Luc
Advisor: Hartmanis
Thesis: Resource Bounded Kolmogorov Complexity, A Link between Computational Complexity & Information Theory |
|
| Joseph, Thomas
Advisor: Birman
Thesis: Impact of Communication Networks on Fault-Tolerant Distributed Computing |
|
| Drummond, Rogerio
Advisor: Babaoglu
Thesis: Impact of Communication Networks on Fault-Tolerant Distributed Computing |
|
| Cai, Jing-Yi
Advisor: Hartmanis
Thesis: On Some Most Probable Separations of Complexity Classes |
|
| Alpern, Bowen
Advisor: Schneider
Thesis: Proving Temporal Properties of Concurrent ProgramsP: A Non-Temporal Approach |
|
|
| 1985 | |
| Stansifer, Ryan
Advisor: Constable
Thesis: Representing Constructive Theories in High-Level Programming Languages |
|
| Perry, Kenneth
Advisor: Toueg
Thesis: Early Stopping Protocols for Fault-Tolerant Distributed Agreement |
|
| Nguyen, Van
Advisor: Gries
Thesis: A Theory of Processes |
|
| Li, Ming
Advisor: Hartmanis
Thesis: Lower Bounds in Computational Complexity |
|
| Jacobs, Dean
Advisor: Gries
Thesis: General Correctness: A Unification of Partial and Total Correctness |
|
| Horowtiz, Susan
Advisor: Teitelbaum
Thesis: Generating Language-Based Editors: A Relationally-Attributed Approach |
|
| Harper, Robert
Advisor: Constable
Thesis: Aspects of the Implementation of Type Theory |
|
| Edenbrandt, Anders
Advisor: Gilbert
Thesis: Combinatorial Problems in Matrix Computation |
|
| Bracha, Gabriel
Advisor: Toueg
Thesis: Randomized Agreement Protocols & Distributed Deadlock Detection |
|
|
| 1984 | |
| Wright, David
Advisor: Skeen
Thesis: Databases |
|
| Wilfong, Gordon
Advisor: Hopcroft
Thesis: Multiple Object Motion Planning |
|
| Vanderbilt, Peter
Advisor: Gries
Thesis: Program Development Using Refinement Logic |
|
| Dietz, Paul
Advisor: Hopcroft
Thesis: Intersection Graph Algorithms |
|
| Boehm, Hans-Juerge
Advisor: Demers
Thesis: A Logic for the Russell Programming Language |
|
| Bajaj, Chanderjit
Advisor: Hopcroft
Thesis: Geometric Optimization and Computational Complexity |
|
|
| 1983 | |
| Sewelson, Vivian
Advisor: Hartmanis
Thesis: A Study of the Structure N |
|
| Murtagh, Thomas
Advisor: Andrews
Thesis: A Data Abstraction Language for Concurrent Programming |
|
| Fox, Edward
Advisor: Salton
Thesis: Extending the Boolean & Vector Space Models of Information Retrieval w/P-Norm Queries & Multiple Concept Types |
|
| Dwork, Cynthia
Advisor: Hopcroft
Thesis: Bounds on Fundamental Problems in Parallel and Distributed Computation |
|
|
| 1982 | |
| Schlichting, Richard
Advisor: Schneider
Thesis: Axiomatic Verification to Enhance Software Reliability |
|
| Reps, Thomas
Advisor: Teitelbaum
Thesis: Generating Language-Based Environments |
|
| Hood, Robert
Advisor: Cartwright
Thesis: The Efficient Implementation of Very-high-level Programming Language Constructs |
|
| Cole, Richard
Advisor: Hopcroft
Thesis: Two Problems in Graph Theory |
|
|
| 1981 | |
| Wu, Harry
Advisor: Salton
Thesis: On Query Formulation in Information Retrieval |
|
| Smith, Douglas
Advisor: Salton
Thesis: Switched Broadcast Communication Networks |
|
| Melville, Robert
Advisor: Gries
Thesis: Asymptotic Complexity of Iterative Computation |
|
| Mahaney, Stephen
Advisor: Hartmanis
Thesis: Sparse NP-Complete Sets |
|
| Kraftt, Dean
Advisor: Constable
Thesis: Avid: A System for the Interactive Development of Verifiably Correct Programs |
|
| Johnson, Scott
Advisor: Constable
Thesis: A Computer System for Checking Proofs |
|
| Archer, James
Advisor: Conway
Thesis: The Design and Implementation of a Cooperative Program Development Environment |
|
|
| 1980 | |
| Siegel, Morris
Advisor: Donahue
Thesis: Proving Properties of Snobol4 Patterns |
|
| Levin, Gary
Advisor: Gries
Thesis: Proof rules for Communicating Sequential Processes |
|
| Immerman, Neil
Advisor: Hartmanis
Thesis: First Order Expressibility as a New Complexity Measure |
|
| Holm, John
Advisor: Gries
Thesis: Floating-Point Arithmetic and Program Correctness Proofs |
|
| Hauser, Carl
Advisor: Constable
Thesis: Specification and Verification of Communication in Parallel Systems |
|
| Furst, Merrick
Advisor: Hopcroft
Thesis: A Subexponential Algorithm for Trivalent Graph Isomorphism |
|
| Chan, Tat-Hung
Advisor: Constable
Thesis: Reversal-Bounded Computations |
|
|
| 1979 | |
| Wyllie, James
Advisor: Hopcroft
Thesis: The Complexity of Parallel Computations |
|
| Orr, Patrick
Advisor: Donahue
Thesis: Verification of Encapsulated Implementations of Algebraically Specified Data Types |
|
| Liu, Lishing
Advisor: Demers
Thesis: Essential Uses of Expressions in Set-Oriented Languages |
|
| Fortune, Steven
Advisor: Hopcroft
Thesis: Topics in Computational Complexity |
|
| Brassard, Gilles
Advisor: Hopcroft
Thesis: Relativized Cryptography |
|
| Bates, Joseph |
