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
Structure Discovery in Bayesian Networks: Algorithms and Applications, Yetian Chen
A Framework for Selecting the Minimal Set of Preferred Responses to Counter Detected Intrusions, Maheedhar Gunasekharan
Modular and Robust Computation with Deterministic Chemical Reaction Networks, Titus Klinge
Secrecy-preserving reasoning in simple description logic knowledge bases, Gopalakrishnan Krishnasamy Sivaprakasam
Graph Data Modeling for Political Communication on Twitter, Prashant Kumar
Classification of tweets into policy agenda topics, Rihui Li
Formal foundations for hybrid effect analysis, Yuheng Long
Detecting SQLIA using execution plans, Sriram Nagarajan
Normal mode computations and applications, Hyuntae Na
Modeling technologies and methods for DNA origami, Brian Thomas Nakayama
Using node ordering to improve Structure MCMC for Bayesian Model Averaging, Abhineet Sharma
Investigating the effects of different force fields on spring-based normal mode analysis, Jaekyun Song
Benchmarking Graph Databases with Cyclone Benchmark, Yuanyuan Tang
A new framework of decentralized social networks, Ting Wu
Intrusion detection using probabilistic graphical models, Liyuan Xiao
Protein wild-type and mutant ensemble database, Ce Zhang
Data access pattern protection in cloud storage, Jinsheng Zhang
Theses/Dissertations from 2015
Design and evaluation of feedback system in design for manufacturability, Prashant Barnawal
An empirical study of communication media and issues in globally distributed software development, Ya Chen
Automated blackbox GUI specifications enhancement and test data generation, Mohammad Ali Darvish Darab
An initial matching and mapping for dense 3D object tracking in augmented reality applications, Timothy Daniel Garrett
Model of distributed software development using system dynamics, Sourajit Ghosh Dastidar
Diagram-based intelligent tutoring systems, Enruo Guo
A formal language towards the unification of model checking and performance evaluation, Yaping Jing
Agenda detector: labeling tweets with political policy agenda, Sheetal Kaul
An automated approach to program repair with semantic code search, Yalin Ke
Robot dexterity: from deformable grasping to impulsive manipulation, Huan Lin
Randomness in completeness and space-bounded computations, Debasis Mandal
