Computer Science Department Masters's Papers

Name Date
Chengcheng Wan 27 September 2019
Title: ALERT: Accurate Anytime Learning for Energy and Timeliness
Master's Paper: PDF

Hai Nguyen 09 July 2019
Title: Cloud Resource Management for Bursty, Real-time Workloads
Master's Paper: PDF

Minhaj Us Salam Khan 20 June 2019
Title: JAVASCRIPT CLASSIFICATION: AN EMPIRICAL ANALYSIS OF UNTRUSTED CLIENT-SIDE JAVASCRIPT
Master's Paper: PDF

Xiaoan Ding 13 June 2019
Title: Latent-Variable Generative Text Classifiers for Data-Efficient NLP
Master's Paper: PDF

Lefan Zhang 05 June 2019
Title: AutoTap: Synthesizing and Repairing Trigger-Action Programs Using LTL Properties
Master's Paper: PDF

Chunwei Liu 04 June 2019
Title: Mostly Order Preserving Dictionaries
Master's Paper: PDF

Chen Zou 30 April 2019
Title: MEMORY HIERARCHY DESIGNS FOR TILED HETEROGENEOUS ARCHITECTURES
Master's Paper: PDF

Ahsan Pervaiz 26 April 2019
Title: DDS: Analytics-Oriented Video Streaming Stack
Master's Paper: PDF

Xin-Chuan (Ryan) Wu 26 April 2019
Title: Intermediate-Scale Full State Quantum Circuit Simulation by Using Data Compression
Master's Paper: PDF

Pranav Gokhale 10 April 2019
Title: Between Ancilla and Charybdis: Asymptotic Improvements to Quantum Circuits via Qutrits
Master's Paper: PDF

Yuanshun Yao 05 April 2019
Title: Empirical Analysis of Machine Learning as a Service
Master's Paper: PDF

Cesar Stuardo 19 March 2019
Title: ScaleCheck: A Single-Machine Approach for Discovering Scalability Bugs in Large Distributed Systems
Master's Paper: PDF

Aritra Sen 28 February 2019
Title: Lower bounds for Shallow Arithmetic circuits: A Survey
Master's Paper: PDF

Mohammad Reza Jokar 01 February 2019
Title: A High-Performance and Energy-Efficient Optical Network Using Transistor Laser
Master's Paper: PDF

Lang Yu 28 January 2019
Title: Unsupervised Vocabulary Expansion with Hierarchical Signature Structure
Master's Paper: PDF

Brian Hempel 05 December 2018
Title: Output-Directed SVG Programming
Master's Paper: PDF

Tyler Skluzacek 19 November 2018
Title: Automated Workflows for Deriving and Extracting Metadata from Disorganized Data Swamps
Master's Paper: PDF

Leonardo Coregliano 19 November 2018
Title: Semantic Limits of Combinatorial Objects
Master's Paper: PDF

Truong Son Hy 01 November 2018
Title: Covariant Compositional Networks for Learning Graphs and GraphFlow Deep Learning framework in C++/CUDA
Master's Paper: PDF

Adam Holmes 10 October 2018
Title: Mapping and Scheduling Magic State Distillation Circuits for Fault-Tolerant Quantum Architectures
Master's Paper: PDF

Yongshan Ding 10 October 2018
Title: Resource Optimized Quantum Architectures for Surface Code Implementations of Magic-State Distillation
Master's Paper: PDF

Zihan Tan 05 October 2018
Title: Excluded Grid Theorem: Improved Bounds
Master's Paper: PDF

Chaojie Zhang 06 August 2018
Title: MANAGING THE VALUE OF VOLATILE CLOUD RESOURCES: INFORMATION DISCLOSURE AND GUARANTEE-PRESERVING MANAGEMENT
Master's Paper: PDF

Huan Ke 25 June 2018
Title: A Concurrent Perspective on Blockchain
Master's Paper: PDF

Hao Jiang 05 June 2018
Title: Optimizing Lightweight Encoding In Columnar Store
Master's Paper: PDF

Goutham Rajendran 25 May 2018
Title: Combinatorial Optimization via the Sum of Squares hierarchy
Master's Paper: PDF

Junwen Yang 14 May 2018
Title: How not to structure your database-backed web applications: a study of performance bugs in the wild
Master's Paper: PDF

Huaicheng Li 09 May 2018
Title: The CASE of FEMU: Cheap, Accurate, Scalable and Extensible Flash Emulator
Master's Paper: PDF

Ivana Marincic 30 April 2018
Title: Application-Level Power Monitoring and Management in High Performance Computing
Master's Paper: PDF

Pramod Kaushik Mudrakarta 20 April 2018
Title: A GENERIC MULTIRESOLUTION PRECONDITIONER FOR SPARSE SYMMETRIC SYSTEMS
Master's Paper: PDF

Steven Basart 23 February 2018
Title: Analysis of Generative Adversarial Models
Master's Paper: PDF

Yi Ding 26 January 2018
Title: Multiresolution Kernel Approximation for Gaussian Process Regression
Master's Paper: PDF

Tri Huynh 14 December 2017
Title: Visualizing Trajectories and their Contexts in 5D Data: A Study of Facial Branchiomotor Neuron Pioneers from Light-sheet Microscopy Images
Master's Paper: PDF

Jeffrey Lukman 05 December 2017
Title: AMC: Deep Exploration of Distributed Concurrency Bugs with a Highly Scalable Model Checker
Master's Paper: PDF

Guangpu Li 05 December 2017
Title: DFix: Automate Distributed Concurrency Bug Fixing
Master's Paper: PDF

Maria Hyun 01 December 2017
Title: Retrospective File Management for Privacy and Security in Cloud Storage Services
Master's Paper: PDF

Dixin Tang 01 December 2017
Title: Toward Coordination-free and Reconfigurable Mixed Concurrency Control
Master's Paper: PDF

Shu Wang 08 November 2017
Title: Understanding and Auto-Adjusting Performance-Related Configurations
Master's Paper: PDF

Hing Yin Tsang 06 November 2017
Title: Polynomial representation, Fourier transform and complexity of Boolean functions
Master's Paper: PDF

Adam Dziedzic 06 November 2017
Title: Data Loading, Transformation and Migration for Database Management Systems
Master's Paper: PDF

Bernard Dickens 21 July 2017
Title: Strongbox: Confidentiality, Integrity, and Performance Using Stream Ciphers for Full-Disk Encryption
Master's Paper: PDF

Stephen Fitz 12 June 2017
Title: Context Dependent Natural Language Understanding with Deep Neural Networks
Master's Paper: PDF

Min Xu 12 June 2017
Title: HERMETIC: PRIVACY-PRESERVING DISTRIBUTED ANALYTICS WITHOUT (MOST) SIDE CHANNELS
Master's Paper: PDF

Joseph Wingerter 07 June 2017
Title: Lambda cu An Intermediate Representation for Compiling Nested Data Parallelism
Master's Paper: PDF

Zewei Chu 26 May 2017
Title: Broad Context Language Modeling with Reading Comprehension
Master's Paper: PDF

Kavon Farvardin 31 March 2017
Title: Weighing Continuations for Concurrency
Master's Paper: PDF

Samira Sheikhi 23 November 2016
Title: Practical Newton-Type Distributed Learning using Gradient Based Approximations
Master's Paper: PDF

Sean Laguna 26 October 2016
Title: Using Persistent Data Models to Automate Parallelism under Synchronization Requirements
Master's Paper: PDF

Haopeng Liu 24 October 2016
Title: UNDERSTANDING AND GENERATING HIGH QUALITY PATCHES FOR CONCURRENCY BUGS
Master's Paper: PDF

Yuxi Chen 29 September 2016
Title: Transactional Memory Support for Concurrency-Bug Failure Recovery in Production Runs
Master's Paper: PDF

Severin Thaler 28 September 2016
Title: Storing NetCDF in a relational database
Master's Paper: PDF

Anne Farrell 15 September 2016
Title: MEANTIME: Achieving Both Minimal Energy and Timeliness with Approximate Computing
Master's Paper: PDF

Mingzhe Hao 12 September 2016
Title: The Tail at Store: A Revelation of Storage Tail Latencies from Millions of Hours of Disk and SSD Deployments
Master's Paper: PDF

Yun Li 23 June 2016
Title: An Analytical Performance Model for Simultaneous Localization and Mapping
Master's Paper: PDF

Gokalp Demirci 13 June 2016
Title: Constant Approximation for Capacitated k-Median with (1+epsilon)-Capacity Violation
Master's Paper: PDF

Michael (Hao) Tong 09 June 2016
Title: Tail-Tolerant SSD Array
Master's Paper: PDF

Shiqin Yan 09 June 2016
Title: TTFLASH: ELIMINATING GC INDUCED TAIL LATENCY IN SSD
Master's Paper: PDF

Kai Li 19 April 2016
Title: Connections Between Bandwidth Selection in Kernel Density Estimation and Mode Stability in Scale Space
Master's Paper: PDF

Roselyne Tchoua 04 February 2016
Title: A Hybrid Human-Computer Approach to the Extraction of Scientific Facts from the Literature
Master's Paper: PDF

Saeid Barati 23 November 2015
Title: PROVIDING FAIRNESS IN HETEROGENEOUS MULTICORES WITH A PREDICTIVE, ADAPTIVE SCHEDULER
Master's Paper: PDF

Yuanwei Fang 03 November 2015
Title: EFFCLIP + UAP: UNIFIED, EFFICIENT REPRESENTATION AND ARCHITECTURE FOR AUTOMATA PROCESSING
Master's Paper: PDF

Riza Suminto 28 September 2015
Title: TOWARDS PRE-DEPLOYMENT DETECTION OF PERFORMANCE FAILURES IN CLOUD DISTRIBUTED SYSTEMS
Master's Paper: PDF

Hong Kyun (David) Kim 08 June 2015
Title: On Approximating Node Disjoint Paths in Grids
Master's Paper: PDF

Huazhe Zhang 28 May 2015
Title: Maximizing Performance Under a Power Cap
Master's Paper: PDF

Hannah Morgan 25 May 2015
Title: Numerical Solutions to the KdV Equation
Master's Paper: PDF

Jialei Wang 22 May 2015
Title: Inference for Sparse Conditional Precision Matrices
Master's Paper: PDF

Zhixuan Zhou 11 May 2015
Title: GraphZ: Faster Graph Computing for Commodity PCs
Master's Paper: PDF

Aiman Fang 11 May 2015
Title: How Much SSD Is Useful For Resilience In Supercomputers
Master's Paper: PDF

Qinqing Zheng 01 May 2015
Title: First-Order Algorithms for Rank Minimization
Master's Paper: PDF

Fan Yang 24 April 2015
Title:  
Master's Paper: PDF

Jiajun Shen 23 April 2015
Title: HIERARCHICAL STATISTICAL MODEL FOR UNSUPERVISED REPRESENTATION LEARNING
Master's Paper: PDF

Liwen Zhang 31 March 2015
Title:  
Master's Paper: PDF

Connor Imes 20 February 2015
Title: Managing Diversity in Performance and Energy Characteristics on Embedded Systems
Master's Paper: PDF

Nikita Mishra 13 February 2015
Title: A Statistical Approach for Minimizing Energy Under Performance Constraints
Master's Paper: PDF

Tanakorn Leesatapornwongsa 02 December 2014
Title: SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems
Master's Paper: PDF

Nedelina Teneva 30 September 2014
Title: Multiresolution matrix factorization
Master's Paper: PDF

John Santerre 10 September 2014
Title: Rank Aggregation
Master's Paper: PDF

Anna Olson 22 August 2014
Title: Modified Bootstrapping and K-Means Clustering for Taxonomic Binning
Master's Paper: PDF

Gustav Larsson 08 April 2014
Title: Object detection with CAD-trained statistical models
Master's Paper: PDF

Charisee Chiw 13 March 2014
Title:  
Master's Paper: PDF

Sneha Popley 20 February 2014
Title: Modules and the Global Environment in Type Classes
Master's Paper: PDF

Yuan Li 17 February 2014
Title: Some results in circuit complexity
Master's Paper: PDF

Zachary Rubenstein 13 February 2014
Title: Error Checking and Snapshot-Based Recovery in a Preconditioned Conjugate Gradient Solver
Master's Paper: PDF

Tatiana Orlova 25 November 2013
Title: Hydrogen Bond Geometry in Protein Helices
Master's Paper: PDF

Christopher Bun 26 July 2013
Title: Optimizations of De Novo Genome and Metagenome Assembly
Master's Paper: PDF

Nicholas Seltzer 03 June 2013
Title: Granular Rigid Body Pose Detection on a Budget
Master's Paper: PDF

Mark Stoehr 10 May 2013
Title: Binary-Feature Detection Cascades for Speech Recognition
Master's Paper: PDF

Erik Bodzsar 09 May 2013
Title: Limitations of Data Reuse in Streaming Iterative Algorithms
Master's Paper: PDF

Lamont Samuels 11 March 2013
Title: Strand Communication in Diderot
Master's Paper: PDF

Zhihao Lou 15 November 2012
Title: The 100-Processor Barrier in Parallel Simulated Annealing Algorithms
Master's Paper: PDF

Sven Auhagen 13 April 2012
Title: Hybrid Chunking
Master's Paper: PDF

Denis Pankratov 07 March 2012
Title:  
Master's Paper: PDF

Sobhan Naderi Parizi 10 February 2012
Title: Image Classification with Reconfigurable Spatial Structures
Master's Paper: PDF

Pooya Hatami 19 January 2012
Title: Testing Properties of Boolean Functions: Lower Bounds on Testing Fourier Degree
Master's Paper: PDF

Maia Fraser 10 November 2011
Title: Structural Observations on Neural Networks for Hierarchically Derived Reproducing Kernels
Master's Paper: PDF

Zhao Zhang 02 June 2011
Title: Bridging the Gaps between Many-task Computing and Supercomputers
Master's Paper: PDF

Tim Armstrong 24 May 2011
Title:  
Master's Paper: PDF

Matthew Rocklin 18 May 2011
Title: Uncertainty Quantification and Sensitivity Analysis
Master's Paper: PDF

Pratik Worah 05 May 2011
Title: Some Problems related to Proof Complexity and Optimization
Master's Paper: PDF

Allan Espinosa 22 February 2011
Title: Cybershake on opportunistic cyberinfrastructures
Master's Paper: PDF

Negarsadat Mirsattari 15 February 2011
Title: Properties of Degree Sequences of k-Uniform Hypergraphs
Master's Paper: PDF

Quan Pham 07 October 2010
Title: Using a rule engine for distributed systems management: An exploration using data replication
Master's Paper: PDF

Ankan Saha 09 June 2010
Title: Topics on Structured Prediction: Problems and Approaches
Master's Paper: PDF

Atilla Soner Balkir 16 February 2010
Title: Statistical Sentence Chunking with Map Reduce
Master's Paper: PDF

Lars Bergstrom 20 October 2009
Title: Arity Raising and Control-Flow Analysis in Manticore
Master's Paper: PDF

Morgan Sonderegger 28 September 2009
Title: Dynamical systems models of language variation and change: An application to an English stress shift
Master's Paper: PDF

Jing Tie 03 August 2009
Title: Clustering and Recognizing Job Failures in Large-scale Distributed Systems
Master's Paper: PDF

Casey Klein 17 July 2009
Title: Experience with Randomized Testing in Programming Languages Metatheory
Master's Paper: PDF

Ross Girshick 29 May 2009
Title: Object Detection with Heuristic Coarse-to-Fine Search
Master's Paper: PDF

Sravana Reddy 20 May 2009
Title: Part of Speech Induction using Non-negative Matrix Factorization
Master's Paper: PDF

Xueyuan Zhou 05 November 2008
Title: Exploiting Geometric Structure of High Dimensional Data for Learning:An Empirical Study
Master's Paper: PDF

Joshua Grochow 04 November 2008
Title: The Complexity of Equivalence Relations
Master's Paper: PDF

Gulriz Kurban  
Title:  

Zhihao Liu  
Title:  

Sonjia Waxmonsky  
Title:  

Hoang Trinh  
Title:  

Matthew Hammer  
Title:  

Nicolas Laignel  
Title:  

Anne Panthani  
Title:  

Ronald Lai  
Title:  

Tong Hu  
Title:  

Tiratat Patana-anake  
Title:  

Yan Liu  
Title: REAL-TIME ADAPTIVE FRAME RATE AND RESOLUTION FOR 3D SLAM ON MOBILE DEVICE ENSEMBLES

Ricardo Barros Lourenco  
Title: Atmospheric Cloud Characterization with Deep Learning

Sam Nickolay  
Title:  

Areej Khoury  
Title:  

Mikita Vedzeneyeu  
Title:  

Timothy Black  
Title: