PhD Alumni

Search Alumni

Select a year
Displaying 451 - 500 of 948
Last First Graduation Year Dissertation Advisor(s)
Adelman Ross 2016 Fast and Accurate Boundary Element Methods in Three Dimensions  Ramani Duraiswami
Raykar Vikas 2007 Scalable Machine Learning for Massive Datasets: Fast Summation Algorithms  Ramani Duraiswami
Lee Kookjin 2017 Fast and Optimal Solution Algorithms for Parameterized Partial Differential Equations  Howard Elman
Hayden Christopher 2012 Clear, Correct, and Efficient Dynamic Software Updates  Michael Hicks, Jeffrey Foster
Guria Sankha Narayan 2023 Program Synthesis with Lightweight Abstractions  Jeffrey Foster, David Van Horn
Furr Michael 2009 Combining Static and Dynamic Typing in Ruby  Jeffrey Foster
Ma Kin Keung 2011 Improving Program Testing and Understanding via Symbolic Execution  Jeffrey Foster, Michael Hicks
Jeon Jinseong 2016 Framework Synthesis for Symbolic Execution of Event-Driven Frameworks Jeffrey Foster
Pratikakis Polyvios 2008 Sound, Precise and Efficient Static Race Detection for Multi-Threaded Programs  Michael Hicks, Jeffrey Foster
Ren Brianna 2019 Type Checking and Inference for Dynamic Languages  Jeffrey Foster
Srivastava Saurabh 2010 Satisfiability-Based Program Reasoning and Synthesis Jeffrey Foster
Micinski Kristopher 2017 Interaction-Based Privacy Policies for Mobile Apps Jeffrey Foster
Hara Kotaro 2016 Scalable Methods to Collect and Visualize Sidewalk Accessibility Data for People with Mobility Impairments 
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
Zhu Shaopeng 2023 Applications of Graph Theory and Logic in Computer Science  William GasarchWilliam Laskowski
Andersen Carl 2008 Using Join Networks to Compute Satisfiability  William Gasarch
Pleszkoch Mark 1990 Machine learning with queries and oracles William Gasarch
Islamaj Rezarta 2007 Feature Construction and Selection for Splice Site Prediction  Lise Getoor
Namata Galileo 2012 Identifying Graphs from Noisy Observational Data  Lise Getoor
Ramesh Arti 2016 A Probabilistic Approach to Modeling Socio-Behavioral Interactions  Lise Getoor
Bhattacharya Indrajit 2006 Collective Entity Resolution in Relational Data  Lise Getoor
Sharara Hossam 2012 The Dynamics of Multi-Modal Networks  Lise Getoor
Bilgic Mustafa 2010 Cost-Sensitive Information Acquisition in Structured Domains  Lise Getoor
London Benjamin 2015 On the Stability of Structured Prediction  Lise Getoor
Bach Stephen 2015 Hinge-Loss Markov Random Fields and Probabilistic Soft Logic: A Scalable Approach to Structured Prediction  Lise Getoor
Pujara Jay 2016 Probabilistic Models for Scalable Knowledge Graph Construction  Lise Getoor
Fakhraei Seyed Shobeir 2017 Collective Multi-relational Network Mining  Lise Getoor
Sen Prithviraj 2009 Representing and Querying Uncertain Data  Lise Getoor
Zheleva Elena 2011 Prediction, Evolution and Privacy in Social and Affiliation Networks  Lise Getoor
Memory Alexander 2019 Collective Relational Data Integration with Diverse and Noisy Evidence  Lise Getoor
Licamele Louis 2012 Knowledge Discovery from Gene Expression Data: Novel Methods for Similarity Search, Signature Detection, and Confounder Correction  Lise Getoor
Buntain Cody 2016 Discovering Credible Events in Near Real Time from Social Media Streams  Jennifer Golbeck
Yami Hadi 2020 Fairness Guarantees in Allocation Problems  Mohammad Hajiaghayi
Saleh Mohammadabad Hamed 2023 Parallel Algorithms for Processing Massive Texts and Graphs  Mohammad Hajiaghayi
Khani Mohammadreza 2015 Revenue Efficient Mechanisms for Online Advertising  Mohammad Hajiaghayi
Esfandiari Hossein 2017 Allocations in Large Markets  Mohammad Hajiaghayi
Farhadi Alireza 2022 Memory-Restricted and Secure Algorithms For Large Datasets  Mohammad Hajiaghayi
Liaghat Vahid 2015 Primal-Dual Techniques for Online Algorithms and Mechanisms  Mohammad Hajiaghayi
Dehghani Sina 2017 Online Network Design under Uncertainty  Mohammad Hajiaghayi
Abolhassani Melika 2016 Assignment Problems with Economic Applications  Mohammad Hajiaghayi
Chitnis Rajesh 2014 Directed Graphs: Fixed-Parameter Tractability and Beyond Mohammad Hajiaghayi
Ehsani Banafati Soheil 2017 Online Decision Making via Prophet Setting  Mohammad Hajiaghayi
Magen Assaf 2019 Characterization Of Survival Associated Gene Interactions And Lymphocyte Heterogeneity In Cancer 
Sahu Avinash 2016 Data Driven Approaches to Identify Determinants of Heart Diseases and Cancer Resistance 
Hayden Christopher 2012 Clear, Correct, and Efficient Dynamic Software Updates  Michael Hicks, Jeffrey Foster
Neamtiu Iulian 2008 Practical Dynamic Software Updating  Michael Hicks
Liu Chang 2016 Trace Oblivious Program Execution  Michael HicksElaine Shi