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