PhD Alumni

Displaying 251 - 300 of 806
Last First Graduation Year Dissertation Advisor
Levin David 2010 Systems-Compatible Incentives  Bobby Bhattacharjee
Zazworka Nico 2010 Process Conformance Testing: A Methodology to Identify and Understand Process Violations in Enactment of Software Processes  Victor Basili
Ayewah Nathaniel 2010 Static Analysis in Practice  William Pugh
Gordon Samuel 2010 Fairness in Secure Computation  Jonathan Katz
Simari Gerardo 2010 Stochastic Reasoning with Action Probabilistic Logic Programs  V.S. Subrahmanian
Morariu Vlad 2010 Analyzing Structured Scenarios by Tracking People and Their Limbs  Larry Davis
Yoon Ilchul 2010 Compatibility Testing for Component-based Systems  Alan Sussman
Schatz Michael 2010 High Performance Computing for DNA Sequence Alignment and Assembly  Steven Salzberg
Cho Minkyoung 2010 Approximation Algorithms for Point Pattern Matching and Searching  David Mount
Fouche Sandro 2010 Large Scale Automated Test Scheduling and Execution Adam Porter
Phillippy Adam 2010 Whole-Genome Sequence Analysis for Pathogen Detection and Diagnostics  Steven Salzberg
Ackermann Christopher 2010 Behavioral Reflexion Models for Software  Rance Cleaveland
Schwartz William 2010 Looking at People Using Partial Least Squares  Larry Davis
Kim Jik-Soo 2009 Decentralized and Scalable Resource Management for Desktop Grids  Alan Sussman
Lee Woei-Jyh 2009 A Framework for Discovering Meaningful Associations in the Annotated Life Sciences Web  Louiqa Raschid
Wu Yao 2009 Computing Customized Ranking  Louiqa Raschid
Lapizco Encinas Grecia 2009 Cooperative Particle Swarm Optimization for Combinatorial Problems  James Reggia
Sen Prithviraj 2009 Representing and Querying Uncertain Data  Lise Getoor
Malekian Azarakhsh 2009 Combinatorial Optimization and Electronic Commerce  Samir Khuller
Furr Michael 2009 Combining Static and Dynamic Typing in Ruby  Jeffrey Foster
Gupta Abnihav 2009 Beyond Nouns and Verbs  Larry Davis
Fails Jerry 2009 Mobile Collaboration for Young Children  Allison Druin
Domke Justin 2009 Tractable Learning and Inference in High Treewidth Graphical Models  John Aloimonos
Brooks Penelope 2009 Defining and Evaluating Test Suite Consolidation for Event-Sequence-Based Test Cases  Atif Memon
El-Alfy Hazem 2009 Techniques for Video Surveillance: Automatic Video Editing and Target Tracking  Larry Davis
Lumezanu Cristian 2009 Using Internet Geometry to Improve End-End Communication Performance  Neil Spring
Shin Ji Sun 2009 Enhancing Privacy in Cryptographic Protocols  Virgil Gligor
Strecker Jaymie 2009 Accounting for Defect Characteristics in Emprical Studies of Software Testing Atif Memon
Elsayed Tamer 2009 Identity Resolution in Email Collections  Doug Oard
Hussein Mohamed 2009 Algorithmic Issues in Visual Object Recognition  David Doermann
Udrea Octavian 2008 Scalable Ontology Systems  V.S. Subrahmanian
Tran Son 2008 Robust Techniques for Visual Surveillance  Larry Davis
Aggarwal Gaurav 2008 Recognizing Human Faces: Physical Modeling and Pattern Classification  Ramalingam Chellappa
Wu Xue 2008 Improving the Performance and Precision of Bioinformatics Algorithms  Chau-Wen Tseng
Andersen Carl 2008 Using Join Networks to Compute Satisfiability  William Gasarch
Sheorey Sameer 2008 Recognition and Matching in the Presence of Deformation and Lighting Change  David Jacobs
McMaster Scott 2008 A Context-Sensitive Coverage Criterion for Test Suite Reduction  Atif Memon
Neamtiu Iulian 2008 Practical Dynamic Software Updating  Michael Hicks
Wu Shang-Chieh 2008 Flexible and Efficient Control of Data Transfers for Loosely Coupled Components  Alan Sussman
Lopez Adam 2008 Machine Translation by Pattern Matching  Philip Resnik
Yuan Xun 2008 Feedback-Directed Model-Based GUI Test Case Generation  Atif Memon
Au Tsz-Chiu 2008 Synthesis of Strategies for Non-Zero-Sum Repeated Games  Dana Nau
Sherwood Robert 2008 Discovering and Securing Shared Resources on the Internet  Bobby Bhattacharjee
Pratikakis Polyvios 2008 Sound, Precise and Efficient Static Race Detection for Multi-Threaded Programs  Michael Hicks, Jeffrey Foster
Sankaranarayanan Jagan 2008 Scalable Query Processing on Spatial Network  Hanan Samet
Perer Adam 2008 Integrating Statistics and Visualization to Improve Exploratory Social Network Analysis  Ben Shneiderman
Pratikakis Polyvios 2008 Sound, Precise and Efficient Static Race Detection for Multi-Threaded Programs  Michael Hicks, Jeffrey Foster
Hui Annie 2008 Representing and Understanding Non-Manifold Objects  Leila De Floriani
Swamy Nikhil 2008 Language-Based Enforcement of User-Defined Security Policies As Applied to Multi-tier Web Programs  Michael Hicks
Vasan Arunchandar 2008 Timestepped Stochastic Simulation of 802.11 WLANS  A. Udaya Shankar