PhD Alumni

Last First Yearsort ascending Dissertation Advisor
Snover Matthew 2010 Improving Statistical Machine Translation Using Comparable Corpora Bonnie Dorr
Srivastava Saurabh 2010 Satisfiability-Based Program Reasoning and Synthesis Jeffrey Foster
Zazworka Nico 2010 Process Conformance Testing: A Methodology to Identify and Understand Process Violations in Enactment of Software Processes Victor Basili
Wang Taowei 2010 Interactive Visualization Techniques for Searching Temporal Categorical Data Ben Shneiderman
Levin David 2010 Systems-Compatible Incentives Bobby Bhattacharjee
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
Ayewah Nathaniel 2010 Static Analysis in Practice William Pugh
Gordon Samuel 2010 Fairness in Secure Computation Jonathan Katz
Schatz Michael 2010 High Performance Computing for DNA Sequence Alignment and Assembly Steven Salzberg
Phillippy Adam 2010 Whole-Genome Sequence Analysis for Pathogen Detection and Diagnostics 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
Schwartz William 2010 Looking at People Using Partial Least Squares Larry Davis
Ackermann Christopher 2010 Behavioral Reflexion Models for Software Ramalingam Chellappa
Madnani Nitin 2010 The Circle of Meaning: From Translation to Paraphrasing and Back Bonnie Dorr
Almazan Christian 2010 Rover: Architectural Support for Exposing and Using Context Ashok Agrawala
Bender Adam 2010 An Accountability Architecture for the Internet Bobby Bhattacharjee
Tas Nazif 2010 Link Adaptation in Wireless Networks: A Cross-Layer Approach Ashok Agrawala
Bilgic Mustafa 2010 Cost-Sensitive Information Acquisition in Structured Domains Lise Getoor
Trapnell Bruce 2010 Transcript Assembly and Abundance Estimation with High-Throughput RNA Sequencing Steven Salzberg
Navlaka Saket 2010 Algorithms to Explore the Structure and Evolution of Biological Networks Carl Kingsford
Friedler Sorelle 2010 Geometric Algorithms for Objects in Motion David Mount
Sen Prithviraj 2009 Representing and Querying Uncertain Data Lise Getoor
Malekian Azarakhsh 2009 Combinatorial Optimization and Electronic Commerce Samir Khuller
Lapizco Encinas Grecia 2009 Cooperative Particle Swarm Optimization for Combinatorial Problems James Reggia
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
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 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
Lopez Adam 2008 Machine Translation by Pattern Matching Philip Resnik
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 Jeffrey Foster, Michael Hicks
Sankaranarayanan Jagan 2008 Scalable Query Processing on Spatial Network Hanan Samet
Au Tsz-Chiu 2008 Synthesis of Strategies for Non-Zero-Sum Repeated Games Dana Nau
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 Jeffrey Foster, Michael Hicks
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