PhD Alumni

Search Alumni

Select a year
Displaying 551 - 600 of 948
Last First Graduation Year Dissertation Advisor(s)
Koo Chiu Yuen 2007 Studies on Fault-Tolerant Broadcast and Secure Computation  Jonathan Katz
Thiruvengadam Aishwarya 2017 Improving Round Complexity of Ideal-Cipher Constructions  Jonathan Katz
Nayak Kartik 2018 Efficient Data-Oblivious Computation  Jonathan Katz
Morselli Ruggero 2006 Lookup Protocols and Techniques for Anonymity  Jonathan Katz
Malozemoff Alexis 2016 Efficient Secure Computation for Real-world Settings and Security Models  Jonathan Katz
Kumaresan Ranjit 2012 Broadcast and Verifiable Secret Sharing: New Security Models and Round Optimal Constructions  Jonathan Katz
Miller Andrew 2016 Provable Security for Cryptocurrencies  Jonathan Katz
Groce Adam 2014 New Notions and Mechanisms for Statistical Privacy  Jonathan Katz
Cetintemel Ugur 2001 Decentralized Data Consistency Protocols for Mobile and Wide-Area Environments Pete Keleher
Bengfort Benjamin 2019 Planetary Scale Data Storage  Pete Keleher
Thitikamol Kritchalach 2000 Dynamic Software DSM Systems Pete Keleher
Lekakis Vasileios 2018 Decoupling Consistency Determination and Trust from Underlying Distributed Data Stores  Pete Keleher
Silaghi Bujor-Dorin 2003 Replication Techniques for Peer-to-Peer Networks Pete Keleher
Mukherjee Koyel 2013 Algorithmic Approaches to Reducing Resource Costs in Data Centers  Samir Khuller
Purohit Manish 2016 Data-Aware Scheduling in Datacenters  Samir Khuller
Wan Yung 2005 Algorithms for Data Dissemination and Collection Samir Khuller
Yang Sheng 2020 ON SCHEDULING AND COMMUNICATION ISSUES IN DATA CENTERS  Samir Khuller
Sarpatwar Kanthi Kiran 2015 Allocation Algorithms for Networks with Scarce Resources  Samir Khuller
Kim Yoo 2005 Algorithms for Data Migration  Samir Khuller
Saha Barna 2011 Approximation Algorithms for Resources Allocation  Samir Khuller
Bhatia Randeep 1998 Approximation Algorithms for Scheduling Problems 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
Mestre Julian 2007 Primal-Dual Algorithms for Combinatorial Optimization Problems  Samir Khuller
Ahmadi Saba 2021 Social Aspects of Algorithms: Fairness, Diversity, and Resilience to Strategic Behavior  Samir Khuller
Gandhi Rajiv 2003 Broadcast Scheduling Samir Khuller
Alaei Saeed 2012 Mechanism Design with General Utilities  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
Bercea Ioana 2018 Approximation Algorithms for Geometric Clustering and Touring Problems Samir Khuller
Rappoport Kevin 1993 Efficiency in parallel computation :!lgorithms, emulations, and VLSI pins Clyde Kruskal
Sze Tsz Wo 2007 On Solving Univariate Polynomial Equations over Finite Fields and Some Related Problems  Clyde Kruskal
Nguyen Bao 2013 Testing GUI-Based Software with Undetermined Input Spaces 
Brooks Penelope 2009 Defining and Evaluating Test Suite Consolidation for Event-Sequence-Based Test Cases 
Robbins Bryan 2016 A Binary Classifier for Test Case Feasibility Applied to Automatically Generated Tests 
Strecker Jaymie 2009 Accounting for Defect Characteristics in Emprical Studies of Software Testing
Banerjee Ishan 2016 Event-Code Interaction Directed Test Cases 
Gao Zebao 2017 Quantifying Flakiness and Minimizing its Effects on Software Testing 
McMaster Scott 2008 A Context-Sensitive Coverage Criterion for Test Suite Reduction 
Elsaka Ethar 2016 Automated Software Debugging Using Hybrid Static/Dynamic Analysis 
Xie Qing 2006 Developing Cost-Effective Model-Based Techniques for GUI Testing 
Eaton Cyntrica 2007 A Framework for Detecting, Diagnosing, and Correcting Environment-Specific Faults in Web Applications 
Milton Leslie 2016 User Behavioral Modeling of Web-based Systems for Continuous User Authentication 
Yuan Xun 2008 Feedback-Directed Model-Based GUI Test Case Generation 
Park Jun-cheol 1998 Automatic Synthesis of Time Dependent Communication Protocols
Song Junehwa 1997 Structured multimedia documents :$esign and presentation in a distributed environment
Arisha Khaled 2001 Fault management in networks using passive testing
Liu Hong 1996 Automatic validation of multi-process communication protocols
Kasif Simon 1984 Analysis of Parallelism in Logic Programs
Kohli Madhur 1987 Controlling the Execution of Logic Programs