# Computer Science Department Dissertations

Name | Date | |
---|---|---|

Huan Ke | ||

Title: Data Survival under Catastrophic Failures | ||

Min Xu | December 2020 | |

Title: Towards Better Data Privacy and Utility in the Untrusted Cloud | ||

Dissertation: PDF | ||

Mingzhe Hao | ||

Title: Fast and Stable Data and Storage Systems in Milli/Micro-second Era | ||

Dissertation: PDF | ||

Yi Ding | December 2020 | |

Title: Learning Structure for Computer Systems Management | ||

Dissertation: PDF | ||

Kavon Farvardin | ||

Title: A Compiler-Based Online Adaptive Optimizer | ||

Dissertation: PDF | ||

Anne Farrell | December 2020 | |

Title: Integrating Machine Learning into Storage Performance Solutions | ||

Dissertation: PDF | ||

Guangpu Li | ||

Title: Detecting and Fixing Concurrency Bugs in Cloud System | ||

Dissertation: PDF | ||

Adam Holmes | ||

Title: Quantum and Classical Algorithms and Optimizations Enabling Practical Quantum Computation | ||

Dissertation: PDF | ||

Huaicheng Li | ||

Title: Evolving Storage Stack for Predictability and Efficiency | ||

Dissertation: PDF | ||

Adam Dziedzic | ||

Title: Input and Model Compression for Adaptive and Robust Neural Networks | ||

Dissertation: PDF | ||

Bernard Dickens | ||

Title: Capitalizing on Security, Performance, and Energy Tradeoffs in Full Drive Encryption Schemes for Fun and Profit | ||

Dissertation: PDF | ||

Michael (Hao) Tong | ||

Title: Improving the Performance of Long Running Scientific Pipelines in a Bioinformatics Pipeline Platform | ||

Dissertation: PDF | ||

Jeffrey Lukman | ||

Title: Algorithmic, Heuristic, and Systemic Approaches for Software Model Checking of Distributed Systems | ||

Dissertation: PDF | ||

Yuanshun Yao | ||

Title: Practical Backdoor Attacks on Deep Learning Systems | ||

Dissertation: PDF | ||

Zewei Chu | December 2020 | |

Title: On Learning and Applying Text Representations | ||

Dissertation: PDF | ||

Saeid Barati | ||

Title: Cross-layer Approximate Computing: From Circuits to Algorithms | ||

Dissertation: PDF | ||

Yuxi Chen | ||

Title: Performance-friendly Concurrency Bug Failure Recovery and Fixing | ||

Dissertation: PDF | ||

Riza Suminto | ||

Title: MITIGATING CASCADING PERFORMANCE FAILURES AND OUTAGES IN CLOUD SYSTEMS | ||

Dissertation: PDF | ||

Timothy Black | ||

Title: Group-Theoretic Aspects of Complexity Theory and Coding Theory | ||

Dissertation: PDF | ||

Pramod Kaushik Mudrakarta | ||

Title: Challenges in Modern Machine Learning: Multiresolution Structure, Model Understanding and Transfer Learning | ||

Dissertation: PDF | ||

Roselyne Tchoua | ||

Title: HYBRID HUMAN-MACHINE SCIENTIFIC INFORMATION EXTRACTION FRAMEWORKS | ||

Dissertation: PDF | ||

Haopeng Liu | ||

Title: MODELING AND TACKLING TIMING BUG IN MULTI-THREADED SYSTEMS AND DISTRIBUTED SYSTEMS | ||

Dissertation: PDF | ||

Gokalp Demirci | ||

Title: APPROXIMATION ALGORITHMS FOR CAPACITATED K-MEDIAN AND SCHEDULING WITH RESOURCE AND PRECEDENCE CONSTRAINTS | ||

Dissertation: PDF | ||

Yuanwei Fang | ||

Title: Extreme Acceleration and Seamless Integration of Raw Data Processing | ||

Dissertation: PDF | ||

Huazhe Zhang | ||

Title: Maximizing Performance in Power Constrained Computing Systems | ||

Dissertation: PDF | ||

Aiman Fang | ||

Title: APPLICATION-BASED FOCUSED RECOVERY (ABFR): CONVENIENT MANAGEMENT OF LATENT ERROR RESILIENCE USING APPLICATION KNOWLEDGE | ||

Dissertation: PDF | ||

Liwen Zhang | ||

Title: Tropical Geometry, Neural Networks, and Low-Coherence Frames | ||

Dissertation: PDF | ||

Hong Kyun (David) Kim | ||

Title: Approximation and Hardness of Routing on Disjoint Paths | ||

Dissertation: PDF | ||

Jialei Wang | ||

Title: Homogeneous and Coupled Distributed Learning | ||

Dissertation: PDF | ||

Connor Imes | ||

Title: Balancing Performance and Energy in Computing Systems | ||

Dissertation: PDF | ||

Hannah Morgan | ||

Title: Critical Points in Simulation Technology | ||

Dissertation: PDF | ||

Zhixuan Zhou | ||

Title: NEW METHODS FOR GRAPH COMPUTATION ON SINGLE NODES | ||

Dissertation: PDF | ||

John Santerre | ||

Title: Machine Learning for the Phenotype to Genotype Problem | ||

Dissertation: PDF | ||

Jiajun Shen | ||

Title: Transformation Invariance and Equivariance in Deep Learning | ||

Dissertation: PDF | ||

Qinqing Zheng | ||

Title: First Order Methods for Nonconvex Optimization via Symmetric Factorization | ||

Dissertation: PDF | ||

Nedelina Teneva | ||

Title: Multiresolution matrix factorization | ||

Dissertation: PDF | ||

Yuan Li | ||

Title: Some Results in Low-Depth Circuit Complexity | ||

Dissertation: PDF | ||

Gustav Larsson | ||

Title: Discovery of Visual Semantics by Unsupervised and Self-Supervised Representation Learning | ||

Dissertation: PDF | ||

Tanakorn Leesatapornwongsa | ||

Title: Unearthing concurrency and scalability bugs in cloud-scale distributed systems | ||

Dissertation: PDF | ||

Nikita Mishra | ||

Title: Statistical Methods for Performance Estimation for Improving Scheduling and Energy Minimization | ||

Dissertation: PDF | ||

Charisee Chiw | ||

Title: DEVELOPING DIDEROT | ||

Dissertation: PDF | ||

Tatiana Orlova | ||

Title: Solvation Signature in Hydrogen Bond Geometry of Protein Helices | ||

Dissertation: PDF | ||

Christopher Bun | ||

Title: Integrative Methods for Reference-Independent Genome Assembly and Error Detection | ||

Dissertation: PDF | ||

Lamont Samuels | ||

Title: Declarative Computer Graphics using Functional Reactive Programming | ||

Dissertation: PDF | ||

Tim Armstrong | ||

Title: Implicitly Parallel Scripting as a Practical and Massively Scalable Programming Model for High-Performance Computing | ||

Dissertation: PDF | ||

Pooya Hatami | ||

Title: Higher-order Fourier Analysis over Finite Fields and Applications | ||

Dissertation: PDF | ||

Denis Pankratov | ||

Title: Communication Complexity and Information Complexity | ||

Dissertation: PDF | ||

Quan Pham | August 2014 | |

Title: A Reproducible Framework for Computational Research | ||

Dissertation: PDF | ||

Zhao Zhang | ||

Title: Enabling Efficient Parallel Scripting on Large-scale Computers | ||

Dissertation: PDF | ||

Atilla Soner Balkir | ||

Title: APPROXIMATING GEODESIC DISTANCE AND GRAPH CENTRALITY ON SHARED NOTHING ARCHITECTURES | ||

Dissertation: PDF | ||

Matthew Rocklin | ||

Title: Modular Generation of Scientific Software | ||

Dissertation: PDF | ||

Maia Fraser | ||

Title: Group Actions in Topological Data Analysis and Hierarchical Learning | ||

Dissertation: PDF | ||

Ankan Saha | ||

Title: Optimization Methods in Machine Learning: Theory and Applications | ||

Dissertation: PDF | ||

Pratik Worah | ||

Title: Approximation Resistance in Optimization Hierarchies: Beyond Linear Predicates | ||

Dissertation: PDF | ||

Lars Bergstrom | ||

Title: Parallel Functional Programming with Mutable State | ||

Dissertation: PDF | ||

Matthew Hammer | ||

Title: Self-Adjusting Machines | ||

Dissertation: PDF | ||

Sravana Reddy | ||

Title: Learning Pronunciations from Unlabeled Evidence | ||

Dissertation: PDF | ||

Morgan Sonderegger | ||

Title: Phonetic and phonological dynamics on reality television | ||

Dissertation: PDF | ||

Parinya Chalermsook | June 2012 | |

Title: Approximation Algorithms for Integral Concurrent Flow, Independent Set of Rectangles, and Fire Containment Problems | ||

First Position: Postdoc at IDSIA Institute (Switzerland) and Max-Planck Institute (Germany). In 2013-14, he will spend another year at Max-Planck. | ||

Dissertation: PDF | ||

Ross Girshick | June 2012 | |

Title: From Rigid Templates to Grammars: Object Detection with Structured Models | ||

First Position: 2-year postdoc position with Prof. Jitendra Malik at UC Berkeley | ||

Dissertation: PDF | ||

Joshua Grochow | June 2012 | |

Title: Symmetry and equivalence relations in classical and geometry complexity theory | ||

First Position: Postdoc at Univ of Toronto | ||

Dissertation: PDF | ||

Xueyuan Zhou | ||

Title: Learning Functions on Unknown Manifolds | ||

Dissertation: PDF | ||

Adam Shaw | ||

Title: Implementation Techniques for Nested Data-Parallel Languages | ||

Dissertation: PDF | ||

Sonjia Waxmonsky | ||

Title: Natural Language Processing for Named Entities with Word-internal Information | ||

Dissertation: PDF | ||

Peter Brune | ||

Title: Fast Numerical Methods and Biological Problems | ||

Dissertation: PDF | ||

Paolo Codenotti | ||

Title: Testing Isomorphism of Combinatorial and Algebraic Structures | ||

Dissertation: PDF | ||

Nick Trebon | ||

Title: Enabling Urgent Computing within the Existing Distributed Computing Infrastructure | ||

Dissertation: PDF | ||

Ozgur Sumer | March 2012 | |

Title: Adaptive Inference for Graphical Models | ||

Dissertation: PDF | ||

Duru Turkoglu | March 2012 | |

Title: Stable Algorithms and Kinetic Mesh Refinement | ||

Dissertation: PDF | ||

Gulriz Kurban | ||

Title: Computational Analysis of Protein Modular Domain Architectures | ||

Dissertation: PDF | ||

Gohar Margaryan | ||

Title: PARALLEL MULTI-OBJECTIVE OPTIMIZATION ALGORITHM FOR DE NOVO DESIGN OF TARGET FOCUSED LIGAND LIBRARIES | ||

Dissertation: PDF | ||

Siwei Wang | August 2010 | |

Title: Improving Tone Recognition with Nucleus Modeling and Sequential Learning | ||

Dissertation: PDF | ||

Michael Rainey | August 2010 | |

Title: Effective scheduling techniques for high-level parallel languages | ||

Dissertation: PDF | ||

Borja Sotomayor | August 2010 | |

Title: Provisioning Computational Resources Using Virtual Machines and Leases | ||

First Position: Scientific Writer, Computation Institute, University of Chicago & Argonne National Laboratory | ||

Dissertation: PDF | ||

Yingqi Xiao | August 2010 | |

Title: Abstract Trace Analysis for Concurrent Programs | ||

Dissertation: PDF | ||

George Kuan | June 2010 | |

Title: A True Higher-Order Module System | ||

Dissertation: PDF | ||

Raghav Kulkarni | August 2010 | |

Title: Computational Complexity: Counting, Evasiveness, and Isolation | ||

First Position: Postdoctoral Fellow, Laboratory of Research in Informatics (LRI) - University of Paris 7, Paris. | ||

Dissertation: PDF | ||

Andy Terrel | August 2010 | |

Title: Finite element method automation for non-Newtonian fluid models | ||

First Position: Postdoctoral fellow, Texas Advanced Computing Center, University of Texas at Austin | ||

Dissertation: PDF | ||

Fangfang Xia | March 2010 | |

Title: Inference of Evolutionary Trees and Horizontal Gene Transfer | ||

First Position: Computational postdoctoral fellow at Argonne National Laboratory | ||

Dissertation: PDF | ||

Hariharan Narayanan | August 2009 | |

Title: Diffusion in Computer Science and Statistics | ||

First Position: Postdoctoral Fellow, Laboratory for Information and Decision Systems, Massachusetts Institute of Technology | ||

Dissertation: PDF | ||

Ioan Raicu | March 2009 | |

Title: Many-Task Computing: Bridging the Gap between High Throughput Computing and High Performance Computing | ||

First Position: NSF/CRA Computing Innovation Fellow, Department of Electrical Enginerring and Computer Science, Northwestern University | ||

Dissertation: PDF | ||

Michael Papka | ||

Title: Visualization and Collaboration Technologies to Support High-Performance Computing Research | ||

Dissertation: PDF | ||

Leandro Cortés | ||

Title: Detection and Tracking of Multiple Objects in Fluorescence Microscopy | ||

Dissertation: PDF | ||

Xinghua Shi | ||

Title: System and Tools to Support a Bayesian Approach to Improving Large-Scale Metabolic Models | ||

Negarsadat Mirsattari | ||

Title: | ||

Fan Yang | ||

Title: | ||

Brian Hempel | ||

Title: | ||

Ivana Marincic | ||

Title: | ||