PhD Alumni

Last First Year Dissertation Advisorsort ascending
Groce Adam 2014 New Notions and Mechanisms for Statistical Privacy Jonathan Katz
Malozemoff Alexis 2016 Efficient Secure Computation for Real-world Settings and Security Models Jonathan Katz
Miller Andrew 2016 Provable Security for Cryptocurrencies Jonathan Katz
Morselli Ruggero 2006 Lookup Protocols and Techniques for Anonymity Jonathan Katz
Kumaresan Ranjit 2012 Broadcast and Verifiable Secret Sharing: New Security Models and Round Optimal Constructions Jonathan Katz
Stockman George 1977 A problem-reduction approach to the linguistic analysis of waveforms Laveen Kanal
Underwood William 1979 Laveen Kanal
Huang Yuangeng 1990 Dynamic scheduling problem solving Laveen Kanal
Bhatnagar Raj 1989 Construction of preferred causal hypotheses for reasoning with uncertain knowledge Laveen Kanal
Gupta Naresh 1993 Recovering shape and motion from a sequence of images Laveen Kanal
Hellstrom Benjamin 1990 Thermodynamic neural networks for the approximation of combinatorially hard packing problems Laveen Kanal
Kulkarni Ashok 1976 Optional and heuristic synthesis of hierarchical classifiers Laveen Kanal
Kumar Vipin 1982 A unified approach to problem solving search procedures Laveen Kanal
Gopalakrishnan Ponani 1986 Parellel Approximate Algorithms for Combinatorialy Hard Problems Laveen Kanal
Lemmer John 1976 Algorithms for incompletely specified distributions in a generalized graph model for medical diagnosis Laveen Kanal
Jain Rajiv 2015 Searching Heterogeneous Document Image Collections David Jacobs
Biswas Arijit 2014 Semi-Supervised and Active Image Clustering with Pairwise Constraints from Humans David Jacobs
Sheorey Sameer 2008 Recognition and Matching in the Presence of Deformation and Lighting Change David Jacobs
Chen Daozheng 2013 Resource Allocation in Computer Vision David Jacobs
Sharma Abhishek 2015 Learning from Multiple Views of Data David Jacobs
Soares Joao 2015 Efficient Image Segmentation and Segment-Based Analysis in Computer Vision Applications David Jacobs
Castillo Carlos 2012 Dense Wide-Baseline Stereo Matching and its Application to Face Recognition David Jacobs
Ryu Kwan 1990 Efficient parallel algorithms on the network model Joseph Ja' Ja'
Rutar Nickolas 2011 Foo's to Blame: Techniques for Mapping Performance Data to Program Variables Jeffrey K. Hollingsworth
Ince Tugrul 2013 Compilation and Binary Editing for Performance and Security Jeffrey K. Hollingsworth
Ryu Kyungdong 2001 Using Idle Resources from Networks of Workstations Jeffrey K. Hollingsworth
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
Petroni Nick 2007 Property-Based Integrity Monitoring of Operating System Kernels William Arbaugh, Michael Hicks
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
Sahu Avinash 2016 Data Driven Approaches to Identify Determinants of Heart Diseases and Cancer Resistance Sridhar Hannenhalli
Khani Mohammadreza 2015 Revenue Efficient Mechanisms for Online Advertising Mohammad Hajiaghayi
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