PhD Alumni

Last First Year Dissertation Advisorsort descending
Ma Kin Keung 2011 Improving Program Testing and Understanding via Symbolic Execution Jeffrey Foster
Pratikakis Polyvios 2008 Sound, Precise and Efficient Static Race Detection for Multi-Threaded Programs Jeffrey Foster, Michael Hicks
Saur Karla 2015 Dynamic Upgrades for High Availability Systems Michael Hicks, Jeffrey Foster
Srivastava Saurabh 2010 Satisfiability-Based Program Reasoning and Synthesis Jeffrey Foster
Hara Kotaro 2016 Scalable Methods to Collect and Visualize Sidewalk Accessibility Data for People with Mobility Impairments Jon Froehlich
Pleszkoch Mark 1990 Machine learning with queries and oracles William Gasarch
Glenn James 1998 Implementing WSIS via Finite Automata William Gasarch
Guimaraes Katia 1992 The quality of queries William Gasarch
Golub Evan 1999 Empirical Studies in Parallel Sorting William Gasarch
Gomaa Walid 2007 Model Theory and Complexity Theory William Gasarch
Andersen Carl 2008 Using Join Networks to Compute Satisfiability William Gasarch
Sen Prithviraj 2009 Representing and Querying Uncertain Data Lise Getoor
Zheleva Elena 2011 Prediction, Evolution and Privacy in Social and Affiliation Networks Lise Getoor
London Benjamin 2015 On the Stability of Structured Prediction Lise Getoor
Ramesh Arti 2016 A Probabilistic Approach to Modeling Socio-Behavioral Interactions Lise Getoor
Licamele Louis 2012 Knowledge Discovery from Gene Expression Data: Novel Methods for Similarity Search, Signature Detection, and Confounder Correction Lise Getoor
Namata Galileo 2012 Identifying Graphs from Noisy Observational Data Lise Getoor
Islamaj Rezarta 2007 Feature Construction and Selection for Splice Site Prediction Lise Getoor
Bach Stephen 2015 Hinge-Loss Markov Random Fields and Probabilistic Soft Logic: A Scalable Approach to Structured Prediction Lise Getoor
Bhattacharya Indrajit 2006 Collective Entity Resolution in Relational Data Lise Getoor
Sharara Hossam 2012 The Dynamics of Multi-Modal Networks Lise Getoor
Pujara Jay 2016 Probabilistic Models for Scalable Knowledge Graph Construction Lise Getoor
Bilgic Mustafa 2010 Cost-Sensitive Information Acquisition in Structured Domains Lise Getoor
Buntain Cody 2016 Discovering Credible Events in Near Real Time from Social Media Streams Jennifer Golbeck
Liao Chunyuan 2008 PapierCraft: A New Paper-Based Interface to Support Interaction with Digital Documents
Chen Nicholas 2012 The Use of Multiple Slate Devices to Support Active Reading Activities
Liaghat Vahid 2015 Primal-Dual Techniques for Online Algorithms and Mechanisms Mohammad Hajiaghayi
Chitnis Rajesh 2014 Directed Graphs: Fixed-Parameter Tractability and Beyond Mohammad Hajiaghayi
Abolhassani Melika 2016 Assignment Problems with Economic Applications Mohammad Hajiaghayi
Khani Mohammadreza 2015 Revenue Efficient Mechanisms for Online Advertising Mohammad Hajiaghayi
Sahu Avinash 2016 Data Driven Approaches to Identify Determinants of Heart Diseases and Cancer Resistance Sridhar Hannenhalli
Khoo Yit Phang 2013 User-Centered Program Analysis Tools Michael Hicks, Jeffrey Foster
McCann Justin 2012 Automating Performance Diagnosis in Networked Systems Michael Hicks
Liu Chang 2016 Trace Oblivious Program Execution Michael Hicks, Elaine Shi
Hayden Christopher 2012 Clear, Correct, and Efficient Dynamic Software Updates Jeffrey Foster, Michael Hicks
Neamtiu Iulian 2008 Practical Dynamic Software Updating Michael Hicks
Mardziel Piotr 2015 Modeling, Quantifying, and Limiting Adversary Knowledge Michael Hicks
Pratikakis Polyvios 2008 Sound, Precise and Efficient Static Race Detection for Multi-Threaded Programs Jeffrey Foster, Michael Hicks
Saur Karla 2015 Dynamic Upgrades for High Availability Systems Michael Hicks, Jeffrey Foster
Swamy Nikhil 2008 Language-Based Enforcement of User-Defined Security Policies As Applied to Multi-tier Web Programs Michael Hicks
Rastogi Aseem 2016 Language-Based Techniques for Practical and Trustworthy Secure Multi- Party Computations Michael Hicks
Petroni Nick 2007 Property-Based Integrity Monitoring of Operating System Kernels William Arbaugh, Michael Hicks
Buck Bryan 2004 Data Centric Cache Measurement Using Hardware and Software Instrumentation Jeffrey K. Hollingsworth
Kang Dong-In 1999 Automated design techniques for distributed real-time embedded systems Jeffrey K. Hollingsworth
Tikir Mustafa 2005 Using Hardware Monitors to Automatically Improve Memory Performance Jeffrey K. Hollingsworth
Tiwari Ananta 2011 Turning Parallel Applications in Parallel Jeffrey K. Hollingsworth
Stoker Geoffrey 2014 Analyzing the Combined Effects of Measurement Error and Perturbation Error on Performance Announcement Jeffrey K. Hollingsworth
Chung I-Hsin 2004 Towards Automatic Performance Tuning Jeffrey K. Hollingsworth
Williams Chadd 2006 Using Historical Data from Source Code Revision Histories to Detect Source Code Properties Jeffrey K. Hollingsworth
Lam Michael 2014 Automated Floating-Point Precision Analysis Jeffrey K. Hollingsworth