PhD Alumni

Last First Year Dissertation Advisor
Arisha Khaled 2001 Fault management in networks using passive testing Raymond Miller
Banerjee Ishan 2016 Event-Code Interaction Directed Test Cases Atif Memon
Eaton Cyntrica 2007 A Framework for Detecting, Diagnosing, and Correcting Environment-Specific Faults in Web Applications Atif Memon
Elsaka Ethar 2016 Automated Software Debugging Using Hybrid Static/Dynamic Analysis Atif Memon
Strecker Jaymie 2009 Accounting for Defect Characteristics in Emprical Studies of Software Testing Atif Memon
Nguyen Bao 2013 Testing GUI-Based Software with Undetermined Input Spaces Atif Memon
Milton Leslie 2016 User Behavioral Modeling of Web-based Systems for Continuous User Authentication Atif Memon
Brooks Penelope 2009 Defining and Evaluating Test Suite Consolidation for Event-Sequence-Based Test Cases Atif Memon
McMaster Scott 2008 A Context-Sensitive Coverage Criterion for Test Suite Reduction Atif Memon
Xie Qing 2006 Developing Cost-Effective Model-Based Techniques for GUI Testing Atif Memon
Yuan Xun 2008 Feedback-Directed Model-Based GUI Test Case Generation Atif Memon
Robbins Bryan 2016 A Binary Classifier for Test Case Feasibility Applied to Automatically Generated Tests Atif Memon
Rappoport Kevin 1993 Efficiency in parallel computation :!lgorithms, emulations, and VLSI pins Clyde Kruskal
Gandhi Rajiv 2003 Broadcast Scheduling Samir Khuller
Malekian Azarakhsh 2009 Combinatorial Optimization and Electronic Commerce Samir Khuller
Kashyap Srinivas 2007 Algorithms for Data Placement, Reconfiguration and Monitoring in Storage Networks Samir Khuller
Wan Yung 2005 Algorithms for Data Dissemination and Collection Samir Khuller
Alaei Saeed 2012 Mechanism Design with General Utilities Samir Khuller
Mukherjee Koyel 2013 Algorithmic Approaches to Reducing Resource Costs in Data Centers Samir Khuller
Saha Barna 2011 Approximation Algorithms for Resources Allocation Samir Khuller
Kim Yoo 2005 Algorithms for Data Migration Samir Khuller
Farach Martin 1991 Efficient Replacement Strategies in the Memory Hierarchy Samir Khuller, Amihood Amir
Sarpatwar Kanthi Kiran 2015 Allocation Algorithms for Networks with Scarce Resources Samir Khuller
Purohit Manish 2016 Data-Aware Scheduling in Datacenters Samir Khuller
Roberts Michael 2003 Detailed differential dynamic programming algorithm for bang-bang control problems Samir Khuller
Sussmann Yoram 1999 Approximation Algorithms for Facility Location Problems Samir Khuller
Bhatia Randeep 1998 Approximation Algorithms for Scheduling Problems Samir Khuller
Mestre Julian 2007 Primal-Dual Algorithms for Combinatorial Optimization Problems Samir Khuller
Thitikamol Kritchalach 2000 Dynamic Software DSM Systems Pete Keleher
Cetintemel Ugur 2001 Decentralized Data Consistency Protocols for Mobile and Wide-Area Environments Pete Keleher
Silaghi Bujor-Dorin 2003 Replication Techniques for Peer-to-Peer Networks Pete Keleher
Kumaresan Ranjit 2012 Broadcast and Verifiable Secret Sharing: New Security Models and Round Optimal Constructions Jonathan Katz
Thiruvengadam Aishwarya 2017 Improving Round Complexity of Ideal-Cipher Constructions Jonathan Katz
Yerukhimovich Arkady 2011 A Study of Separations in Cryptography: New Results and New Models Jonathan Katz
Groce Adam 2014 New Notions and Mechanisms for Statistical Privacy Jonathan Katz
Gordon Samuel 2010 Fairness in Secure Computation 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
Koo Chiu Yuen 2007 Studies on Fault-Tolerant Broadcast and Secure Computation Jonathan Katz
Morselli Ruggero 2006 Lookup Protocols and Techniques for Anonymity Jonathan Katz
Gupta Naresh 1993 Recovering shape and motion from a sequence of images 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
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
Hellstrom Benjamin 1990 Thermodynamic neural networks for the approximation of combinatorially hard packing problems Laveen Kanal