| 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: |
|
