Theses/Dissertations from 2024
A Deep Learning Framework for Blockage Mitigation in mmWave Wireless, Ahmed Hazaa Almutairi (Dissertation)
Design and Test of Asynchronous Systems Using the Link and Joint Model, Ebelechukwu Esimai (Dissertation)
Automatic Measurement of Dialogue Engagingness in Multilingual Settings, Amila Ferron (Thesis)
Resource-constrained 2D Scene Recovery with Single-Photon Cameras, Daphne Ariadne Kurzenhauser (Thesis)
Concolic Testing for Scripting Languages, Zhe Li (Dissertation)
MmWave RAT Optimization: MAC Layer Initial Access Design and Transport Layer Integration, Suresh Srinivasan (Dissertation)
Designing for Deployable, Secure, and Generic Machine Learning Systems, Li-Yun Wang (Dissertation)
Theses/Dissertations from 2023
Seeing in the Dark: Towards Robust Pedestrian Detection at Nighttime, Afnan Althoupety (Dissertation)
A Deep Hierarchical Variational Autoencoder for World Models in Complex Reinforcement Learning Environments, Sriharshitha Ayyalasomayajula (Thesis)
Toward Efficient Rendering: A Neural Network Approach, Qiqi Hou (Dissertation)
Energy Auction with Non-Relational Persistence, Michael Ramez Howard (Thesis)
Implementing a Functional Logic Programming Language via the Fair Scheme, Andrew Michael Jost (Dissertation)
Multi-Agent Deep Reinforcement Learning for Radiation Localization, Benjamin Scott Totten (Thesis)
Theses/Dissertations from 2022
Using Intrinsically-Typed Definitional Interpreters to Verify Compiler Optimizations in a Monadic Intermediate Language, Dani Barrack (Thesis)
An Automated Zoom Class Session Analysis Tool to Improve Education, Jack Arlo Cannon II (Thesis)
Scaling EPA-RIMM with Multicore System Management Interrupt Handlers, Alexander K. Freed (Thesis)
Unpaired Style Transfer Conditional Generative Adversarial Network for Scanned Document Generation, David Jonathan Hawbaker (Thesis)
Toward Analyzing the Diversity of Extractive Summaries, Aaron David Hudson (Thesis)
Making Curry with Rice: An Optimizing Curry Compiler, Steven Libby (Dissertation)
Domain Knowledge as Motion-Aware Inductive Bias for Deep Video Synthesis: Two Case Studies, Long Mai (Dissertation)
Theses/Dissertations from 2021
Efficient Neuromorphic Algorithms for Gamma-Ray Spectrum Denoising and Radionuclide Identification, Merlin Phillip Carson (Thesis)
Storing Intermediate Results in Space and Time: SQL Graphs and Block Referencing, Basem Ibrahim Elazzabi (Dissertation)
Automated Test Generation for Validating SystemC Designs, Bin Lin (Dissertation)
Forecasting Optimal Parameters of the Broken Wing Butterfly Option Strategy Using Differential Evolution, David Munoz Constantine (Thesis)
Situate: An Agent-Based System for Situation Recognition, Max Henry Quinn (Dissertation)
Theses/Dissertations from 2020
Multiple Diagram Navigation, Hisham Benotman (Dissertation)
Smart Contract Vulnerabilities on the Ethereum Blockchain: a Current Perspective, Daniel Steven Connelly (Thesis)
Extensible Performance-Aware Runtime Integrity Measurement, Brian G. Delgado (Dissertation)
Novel View Synthesis - a Neural Network Approach, Hoang Le (Dissertation)
Exploring the Potential of Sparse Coding for Machine Learning, Sheng Yang Lundquist (Dissertation)
Workflow Critical Path: a Data-Oriented Path Metric for Holistic HPC Workflows, Daniel D. Nguyen (Thesis)
Novel View Synthesis in Time and Space, Simon Niklaus (Dissertation)
Balancing Security, Performance and Deployability in Encrypted Search, David Joel Pouliot (Dissertation)
Theses/Dissertations from 2019
A Secure Anti-Counterfeiting System using Near Field Communication, Public Key Cryptography, Blockchain, and Bayesian Games, Naif Saeed Alzahrani (Dissertation)
Spectral Clustering for Electrical Phase Identification Using Advanced Metering Infrastructure Voltage Time Series, Logan Blakely (Thesis)
Local Radiance, Scott Peter Britell (Dissertation)
Correct-by-Construction Typechecking with Scope Graphs, Katherine Imhoff Casamento (Thesis)
Versatile Binary-level Concolic Testing, Bo Chen (Dissertation)
Crumpled and Abraded Encryption: Implementation and Provably Secure Construction, Scott Sherlock Griffy (Thesis)
Knowing Without Knowing: Real-Time Usage Identification of Computer Systems, Leila Mohammed Hawana (Thesis)
Design and Experimental Evaluation of DeepMarket: an Edge Computing Marketplace with Distributed TensorFlow Execution Capability, Soyoung Kim (Thesis)
Localizing Little Landmarks with Transfer Learning, Sharad Kumar (Thesis)
Context-Aware Wi-Fi Infrastructure-based Indoor Positioning Systems, Huy Phuong Tran (Dissertation)
Theses/Dissertations from 2018
Bounding Box Improvement with Reinforcement Learning, Andrew Lewis Cleland (Thesis)
Sensing Building Structure Using UWB Radios for Disaster Recovery, Jeong Eun Lee (Dissertation)
Annotation-Enabled Interpretation and Analysis of Time-Series Data, Niveditha Venugopal (Thesis)
EPA-RIMM-V: Efficient Rootkit Detection for Virtualized Environments, Tejaswini Ajay Vibhute (Thesis)
Theses/Dissertations from 2017
Improved Scoring Models for Semantic Image Retrieval Using Scene Graphs, Erik Timothy Conser (Thesis)
Refining Bounding-Box Regression for Object Localization, Naomi Lynn Dickerson (Thesis)
Fully Generic Programming Over Closed Universes of Inductive-Recursive Types, Larry Diehl (Dissertation)
Communicating at Terahertz Frequencies, Farnoosh Moshirfatemi (Dissertation)
Designing In-Headset Authoring Tools for Virtual Reality Video, Cuong Nguyen (Dissertation)
Certifying Loop Pipelining Transformations in Behavioral Synthesis, Disha Puri (Dissertation)
Power-Aware Datacenter Networking and Optimization, Qing Yi (Dissertation)
Theses/Dissertations from 2016
Identifying Relationships between Scientific Datasets, Abdussalam Alawini (Dissertation)
Information Representation and Computation of Spike Trains in Reservoir Computing Systems with Spiking Neurons and Analog Neurons, Amin Almassian (Thesis)
Investigations of an "Objectness" Measure for Object Localization, Lewis Richard James Coates (Thesis)
Image Stitching: Handling Parallax, Stereopsis, and Video, Fan Zhang (Dissertation)
Theses/Dissertations from 2015
Novel Methods for Learning and Adaptation in Chemical Reaction Networks, Peter Banda (Dissertation)
Post-silicon Functional Validation with Virtual Prototypes, Kai Cong (Dissertation)
Novel Cryptographic Primitives and Protocols for Censorship Resistance, Kevin Patrick Dyer (Dissertation)
Hardware/Software Interface Assurance with Conformance Checking, Li Lei (Dissertation)
Leveraging Contextual Relationships Between Objects for Localization, Clinton Leif Olson (Thesis)
The Performance of Random Prototypes in Hierarchical Models of Vision, Kendall Lee Stewart (Thesis)
Tweakable Ciphers: Constructions and Applications, Robert Seth Terashima (Dissertation)
Scalable Equivalence Checking for Behavioral Synthesis, Zhenkun Yang (Dissertation)
Theses/Dissertations from 2014
The Nax Language: Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types, Ki Yung Ahn (Dissertation)
Using Spammers' Computing Resources for Volunteer Computing, Thai Le Quy Bui (Thesis)
Towards Constructing Interactive Virtual Worlds, Francis Chang (Dissertation)
System-wide Performance Analysis for Virtualization, Deron Eugene Jensen (Thesis)
Advances in Piecewise Smooth Image Reconstruction, Ralf Juengling (Dissertation)
Interpretable Machine Learning and Sparse Coding for Computer Vision, Will Landecker (Dissertation)
Optimizing Data Movement in Hybrid Analytic Systems, Patrick Michael Leyshock (Dissertation)
Ranked Similarity Search of Scientific Datasets: An Information Retrieval Approach, Veronika Margaret Megler (Dissertation)
Using GIST Features to Constrain Search in Object Detection, Joanna Browne Solmon (Thesis)
The Role of Prototype Learning in Hierarchical Models of Vision, Michael David Thomure (Dissertation)
Theses/Dissertations from 2013
Object Detection and Recognition in Natural Settings, George William Dittmar (Thesis)
Trust-but-Verify: Guaranteeing the Integrity of User-generated Content in Online Applications, Akshay Dua (Dissertation)
Equivalence Checking for High-Assurance Behavioral Synthesis, Kecheng Hao (Dissertation)
Type Classes and Instance Chains: A Relational Approach, John Garrett Morris (Dissertation)
Theses/Dissertations from 2012
Using Dataflow Optimization Techniques with a Monadic Intermediate Language, Justin George Bailey (Thesis)
A Survey and Analysis of Solutions to the Oblivious Memory Access Problem, Erin Elizabeth Chapman (Thesis)
A Data-Descriptive Feedback Framework for Data Stream Management Systems, Rafael J. Fernández Moctezuma (Dissertation)
Extending Relativistic Programming to Multiple Writers, Philip William Howard (Dissertation)
The Basic Scheme for the Evaluation of Functional Logic Programs, Arthur Peters (Thesis)
The Link Between Image Segmentation and Image Recognition, Karan Sharma (Thesis)
Relativistic Causal Ordering A Memory Model for Scalable Concurrent Data Structures, Josh Triplett (Dissertation)
Theses/Dissertations from 2011
Conceptual Modeling of Data with Provenance, David William Archer (Dissertation)
Low-latency Estimates for Window-Aggregate Queries over Data Streams, Amit Bhat (Thesis)
Information Processing in Two-Dimensional Cellular Automata, Martin Cenek (Dissertation)
Scalable and Efficient Tasking for Dynamic Sensor Networks, Thanh Xuan Dang (Dissertation)
On the Effect of Topology on Learning and Generalization in Random Automata Networks, Alireza Goudarzi (Thesis)
HOLCF '11: A Definitional Domain Theory for Verifying Functional Programs, Brian Charles Huffman (Dissertation)
A Functional Approach to Memory-Safe Operating Systems, Rebekah Leslie (Dissertation)
Factoring Semiprimes Using PG2N Prime Graph Multiagent Search, Keith Eirik Wilson (Thesis)
High Speed Wireless Networking for 60GHz, Candy Yiu (Dissertation)
Theses/Dissertations from 2010
Extensible Scheduling in a Haskell-based Operating System, Kenneth William Graunke (Thesis)
Addressing Automated Adversaries of Network Applications, Edward Leo Kaiser (Dissertation)
An Automata-Theoretic Approach to Hardware/Software Co-verification, Juncao Li (Dissertation)
Practical Type Inference for the GADT Type System, Chuan-kai Lin (Dissertation)