Theses/Dissertations from 2020
Parallelizing unit test execution on GPU, Taghreed Bagies
Evaluation of GPU-specific device directives and multi-dimensional data structures in OpenMP, Arijit Bhattacharjee
Refactoring an existing code base to improve modularity and quality, Souradeep Bhowmik
Stacked generative adversarial networks for learning additional features of image segmentation maps, Matthew John Burke
Compatibility testing for rooted phylogenetic trees, Yun Deng
Understanding intuitive gestures in wearable mixed reality environments, Karen Marie Doty
Model checking large design spaces: Theory, tools, and experiments, Rohit Dureja
Robotic batting and motion estimation of objects in free flight, Matthew Gardner
Chemical reaction networks: Computability, complexity, and randomness, Xiang Huang
Towards understanding the challenges faced by machine learning software developers and enabling automated solutions, Md Johirul Islam
Understanding the internet AS topology and its applications, Jinu Susan Kabala
Reprogramming of neural networks: A new and improved machine learning technique, Eliska Kloberdanz
Visual object tracking for UAVs using deep reinforcement learning, Kyungtae Ko
Phylogenetic comparison measurements and their application towards the accurate inference of evolutionary histories, Alexey Markin
Interpretability of configurable software in the biosciences, Mikaela Cashman McDevitt
PhyloVirus: Inferring virus reassortment, and a visualization tool for phylogenetic networks (Development and Usability Study), Fathi Mubaraki
Evolution of gene blocks in bacteria using an event-based model, Huy Nguyen
A situation-driven framework for relearning of activities of daily living in smart home environments, Oluwafemi Richard Oyeleke
Activity recognition and animation of activities of daily living, Mohammed Shaiqur Rahman
Spreading information in social networks containing adversarial users, Madhavan Rajagopal Padmanabhan
Using Automatic Vehicle Location (AVL) for real-time maintenance identification and tracking, Varsha Ravichandra Mouli
A vision based DQN exploration algorithm for collision avoidance, Jeremy Roghair
Adjustment criteria for recovering causal effects from missing data, Mojdeh Saadati
Automated analysis and indexing of lecture videos, Gayathri Sreepathy
Optimizing parallel sequence alignment sorting and epistasis detection, and parallel Fortran application resilience, Nathan Weeks
Mounting a screwdriver onto a screw using hybrid control, Shengwen Xie
Design-time detection of physical-unit changes in product lines, Wandi Xiong
Methods for correcting and analyzing gene families, Akshay Yadav
Can we improve information freshness with predictions in mobile crowd-learning?, Zhengxiong Yuan
Theses/Dissertations from 2019
Data compression based cost optimization for a multi-cloud data storage system, Abdullah
Network-aware energy saving techniques in cloud data centers, Motassem Al-Tarazi
Situation-oriented requirements engineering, Nimanthi Atukorala
Decision diagrams: Extensions and applications to reachability analysis, Junaid Babar
Domain-specific language and infrastructure for genomics, Hamid Bagheri
Hierarchical phylogeny construction, Anindya Das
Political-advertisement video classification using deep learning methods, Aashish Dhakal
The construction and applications of callback control flow graphs for event-driven and framework-based mobile apps, Danilo Dominguez Perez
Physics-constrained deterministic solution of time-dependent partial differential equations using deep convolutional encoder-decoders, Sambuddha Ghosal
Finding the minimum illuminating direction set for a polyhedron, Guangyu Hou
BoaT: A domain specific language and shared data science infrastructure for large scale transportation data analysis, Md Johirul Islam
Witness generation in existential CTL model checking, Chuan Jiang
The role of similarity in detecting feature interaction in software product lines, Seyedehzahra Khoshmanesh
Evaluating the role of critical nodes in disrupting diffusion in independent cascade diffusion model, Raj Gaurav Ballabh Kumar
Identify algorithms from code, Stroh John Leslie
Nonparametric curve estimation and applications, Yu Liu
Cross-layer wireless networking emulation in EMANE, Zehua Li
Data-driven approaches for peer-to-peer botnet detection and forecasting, Priyangika Piyasinghe
Training and evaluation in a large-scale virtual environment for a location-based mobile application, Adel Sulaiman
Automatic repair and type binding of undeclared variables using neural networks, Venkatesh Theru Mohan
Efficient object detection model for real-time UAV applications, Subrahmanyam Vaddi
End-to-end learning of local point cloud feature descriptors, David Ambrose Wehr
Using a system dynamics simulation model to explore the effect of information delays on software development, Xinxin Yang
Predicting injury outcomes in mining industry - a machine learning approach, Anurag Desai Yedla
Toward efficient online scheduling for large-scale distributed machine learning system, Menglu Yu
Medical image classification under class imbalance, Chuanhai Zhang
Theses/Dissertations from 2018
Automatic incident detection, Lakshay Ahuja
Enhancing users' experiences with mobile app stores: What do users see? What should they see?, Omar Ibrahim Y. Asiri
Disrupting diffusion: Critical nodes in network, Preeti Bhardwaj
Recognition of activities of daily living, Yunfei Feng
A data-driven situation-aware framework for predictive analysis in smart environments, Hoda Gholami
Effectiveness of classification approach in recovering pairwise causal relations from data., Kristima Guha Thakurta
A study of interpretability mechanisms for deep networks, Apurva Dilip Kokate
Large-scale study of substitutability in the presence of effects, Jackson Lowell Maddox
Towards efficient and accountable oblivious cloud storage, Qiumao Ma
Improved triangle counting in graph streams: Neighborhood multi-sampling, Kiana Mousavi Hanjani
High performance computing applications: Inter-process communication, workflow optimization, and deep learning for computational nuclear physics, Gianina Alina Negoita
Data augmentation for supervised learning with generative adversarial networks, Manaswi Podduturi
Graph compression using heuristic-based reordering, Pavithra Rajarathinam
Collective program analysis, Ganesha Upadhyaya
GraphTrack: An unsupervised graph-based cross-device tracking framework, Tianchen Zhou
Theses/Dissertations from 2017
Improving testing performance by dynamic prioritization of tests based on method invocation orders, Sriram Balasubramanian
Computer detection of spatial visualization in a location-based task, Georgi Iliev Batinov
A User Configurable B-tree Implementation as a Utility, Sheng Bi
Devices for safety-critical molecular programmed systems, Samuel Jay Ellis
A testbed for multi-robot systems, Tianshuang Gao
Many-to-one private set intersection, Keji Hu
Parity-based Data Outsourcing: Extension, Implementation, and Evaluation, Zhenbi Hu
Computing change of invariants to support software evolution, Ashwin Kallingal Joshy
Triangle counting in graph streams: Power of multi-sampling, Neeraj Kavassery Parakkat
Exploiting implicit belief to resolve sparse usage problem in usage-based specification mining, Samantha Syeda Khairunnesa
Synthesizing species trees from gene trees using the parameterized and graph-theoretic approaches, Ju Cheol Moon
Verification of Well-formedness in Message-Passing Asynchronous Systems modeled as Communicating Finite-State Machines, Shiva Shankar Nalla
Negotiation Based Resource Allocation to Control Information Diffusion, Sai Sravanthi Nudurupati
Flattening methods for adaptive location-based software to user abilities, Thitivatr Patanasakpinyo
λir : A language with intensional receive, Swarn Priya
A hybrid approach for selecting and optimizing graph traversal strategy for analyzing big code, Ramanathan Ramu
Targeted Influence Maximization In Labeled Social Networks with Non-Target Constraints, Naresh Somisetty
Algorithmic randomness and analysis, Donald M. Stull
The design and implementation of Candoia: A platform for building and sharing mining software repositories tools as apps, Nitin Mukesh Tiwari
Learning Markov Logic Network Structure by Template Constructing, Yingbei Tong
Computational modeling of impact and deformation, Feifei Wang
Execution and authentication of function queries, Guolei Yang
A situation-centric, knowledge-driven requirements elicitation approach, Jingwei Yang
Theses/Dissertations from 2016
Syntax errors identification from compiler error messages using ML techniques, Shubham K. Agrawal
Toward a Concurrent Programming Model with Modular Reasoning, Mehdi Bagherzadeh
Integration of lifetime-balancing schemes in wireless sensor networks, Rui Bai
Mutual dimension, data processing inequalities, and randomness, Adam Case
Usage and refactoring studies of python regular expressions, Carl Allen Chapman
A Bayesian network approach to county-level corn yield prediction using historical data and expert knowledge, Vikas Chawla
