PhD Alumni

Search Alumni

Select a year
Displaying 251 - 300 of 948
Last First Graduation Year Dissertation Advisor(s)
Ayewah Nathaniel 2010 Static Analysis in Practice  William Pugh
Wonnacott David 1995 Constraint-based array dependence analysis William Pugh
Hovemeyer David 2005 Simple and Effective Static Analysis to Find Bugs  William Pugh
Duggan Dominic 1990 A programming language and environment based on types as specifications William Pugh
Spacco Jaime 2006 Marmoset: a Programming Project Assignment Framework to Improve the Feedback Cycle for Students, Faculty and Researchers  William Pugh
Shpeisman Tatiana 1999 William Pugh
Rosser Evan 1998 Fine-Grained Analysis for Generating Better Communication and Synchronization William Pugh
Kelly Wayne 1996 Optimization within a Unified Transformation Framework  William Pugh
Manson Jeremy 2004 The Java Memory Model  William Pugh
Siy Harvey 1996 Identifying the mechanisms driving code inspection costs and benefits Adam Porter
Koc Ugur 2019 Improving the Usability of Static Analysis Tools Using Machine Learning  Adam Porter
Fouche Sandro 2010 Large Scale Automated Test Scheduling and Execution Adam Porter
Yilmaz Cemal 2005 Distributed Continuous Quality Assurance Adam Porter
Kim Jung-Min 2001 Mechanisms Driving Costs and Benefits of Regression Test Selection Techniques Adam Porter
Song Charles 2011 Understanding, Discovering and Leveraging a Software System’s Effective Configuration Space  Adam Porter
Koren Sergey 2012 Genome Assembly: Novel Applications by Harnessing Emerging Sequencing Technologies and Graph Algorithms  Mihai Pop
Hill Christopher 2015 Novel Methods for Comparing and Evaluating Single and Metagenomic Assemblies  Mihai Pop
Brubach Brian 2020 Markets, Elections, and Microbes: Data-driven Algorithms from Theory to Practice  Aravind Srinivasan, Mihai Pop
Cepeda Espinoza Victoria 2020 Mihai Pop
Wood Derrick 2014 Comparative and Computational Methods for Microbial Genomics  Mihai Pop
Javkar Kiran Gajanan 2022 Algorithms for scalable and efficient population genomics and metagenomics  Mihai Pop
Shah Nidhi 2021 Data-driven algorithms for characterizing microbial communities  Mihai Pop
Liu Bo 2012 Computational Metagenomics: Network, Classification and Assembly  Mihai Pop
Ghodsi Mohammadreza 2012 Searching, Clustering and Evaluating Biological Sequences  Mihai Pop
Drapkin Jennifer 1988 Step-logic :2easoning situated in time Don Perlis
Thomas Scott 2007 On an Apparent Limit to Verb Idiosyncrasy, given a Mapping between Argument Realization and Polysemy (or Argument Optionality)  Don Perlis
Chong Wai-Yian 2006 Reflection Reasoning  Don Perlis
Goldberg Matthew David 2022 Time-Situated Metacognitive Agency and Other Aspects of Commonsense Reasoning  Don Perlis
Miller Michael 1993 A view of one's past and other aspects of reasoned change in belief Don Perlis
Purang Khemdut 2001 Systems that detect and repair their own mistakes Don Perlis
Haidarian Shahri Hamid 2011 On the Foundations of Data Interoperability and Semantic Search on the Web  Don Perlis
Josyula Darsana 2005 A Unified Theory of Acting and Agency for A Universal Interfacing Agent  Don Perlis
Wilson Shomir 2011 A Computational Theory of the Use-Mention Distinction in Natural Language  Don Perlis
Gordon Diana 1990 Active bias adjustment for incremental, supervised concept learning Don Perlis
Sayed Mahmoud 2021 Search Among Sensitive Content  Doug Oard
Nair Suraj Rajappan 2023 Effective and Efficient Search Across Languages  Doug Oard
Bagdouri Mossaab 2017 Cross-Platform Question Answering in Social Networking Services  Doug Oard
Demner-Fushman Dina 2006 Complex Question Answering Based on Semantic Domain Model of Clinical Medicine  Doug Oard
Barrow Joseph Dacosta Albert 2023 Structural Scaffolding for Sensemaking in Document Collections  Philip Resnik, Doug Oard
Elsayed Tamer 2009 Identity Resolution in Email Collections  Doug Oard
Jung Jin Hyuk 2008 Adaptive Constraint Reduction for Convex Quadratic Programming and Training Support Vector Machine  Dianne O'Leary
Berlin Konstantin 2010 Protein-Protein Docking Using Long Range Nuclear Magnetic Resonance Constraints  Dianne O'Leary
Zotenko Elena 2007 Computational Methods in Protein Structure Comparison and Analysis of Protein Interaction Networks  Dianne O'Leary
Huang Chiou-Ming 1992 Preconditioning parallel multisplittings for solving systems of equations Dianne O'Leary
Park Sungwoo 2011 Matrix Reduction in Numerical Optimization  Dianne O'Leary
Yousefzadeh Roozbeh 2019 Interpreting Machine Learning Models and Application of Homotopy Methods  Dianne O'Leary
Yang Qiang 1989 Improving the Efficiency of Planning Dana Nau
Roos Patrick 2013 Evolutionary Game Theoretic Modeling of Decision-Making and Culture  Dana Nau
Ghosh Subrata 1994 Heuristic Search with Limited Resources Dana Nau
Alford Ronald 2014 Search Complexities for HTN Planning  Dana Nau