Theses/Dissertations from 2018
Disrupting diffusion: Critical nodes in network, Preeti Bhardwaj
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
Large-scale study of substitutability in the presence of effects, Jackson Lowell Maddox
Improved triangle counting in graph streams: Neighborhood multi-sampling, Kiana Mousavi Hanjani
Data augmentation for supervised learning with generative adversarial networks, Manaswi Podduturi
Graph compression using heuristic-based reordering, Pavithra Rajarathinam
Collective program analysis, Ganesha Upadhyaya
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
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
Understanding and identifying useful patterns in location-based software, Tianyu Meng
A unified design of capsules, Sean Lawrence Mooney
Monitoring students’ growth using system dynamics, Vidushi Sukhwal
Abstraction and performance, together at last: auto-tuning message-passing concurrency on the Java virtual machine, Ganesha Upadhyaya
Representing protein native states using weighted conformation ensembles, Vijay Vammi
Web service platform to provide access to maize diversity data, Abhinav Vinnakota
Towards DO-178C compatible tool design, Yijia Xu
Theses/Dissertations from 2014
Automatic Verification of Interactions in Asynchronous Systems with Unbounded Buffers, Sneha Bankar
DrAGON: A Framework for Computing Preferred Defense Policies from Logical Attack Graphs, Swapnanjan Chatterjee
Designing a molecular watchdog timer for safety critical systems, Samuel Jay Ellis
Displacement-based grasping of deformable objects, Feng Guo
Efficient satisfiability solver, Chuan Jiang
Polarity trend analysis of public sentiment on YouTube, Amar Krishna
Semi Automated User Acceptance Testing using Natural Language Techniques, Arvind Madhavan
Enabling natural interaction for virtual reality, Ryan Andrew Pavlik
Building a more sustainable sensor network via protocol innovation, Yang Peng
Implementation of a multiuser customized oblivious RAM, Priyangika Rumesh Piyasinghe
Implementing ZigBee assisted power management for delay bounded communication on mobile devices, Jinu Susan Varghese
Sequence-based prediction of RNA-protein interactions, Rasna Rani Walia
Grasping of deformable 3D objects under gravity, Feifei Wang
An XML-based framework for management of a course catalog system with zero information-loss, Xiaofeng Wang
Implementing a segmentation-based oblivious RAM, Wen Zhao
Theses/Dissertations from 2013
Discovering meaning from biological sequences: focus on predicting misannotated proteins, binding patterns, and G4-quadruplex secondary, Carson Michael Andorf
Automated analysis of Learner's Research Article writing and feedback generation through Machine Learning and Natural Language Processing, Deepan Prabhu Babu
Algorithms for constructing more accurate and inclusive phylogenetic trees, Ruchi Chaudhary
Managing and analyzing phylogenetic databases, AKSHAY DEEPAK
Human desire inference process and analysis, Jeyoun Dong
Bringing ultra-large-scale software repository mining to the masses with Boa, Robert Dyer
Identifying packet droppers in sensor networks via report analysis, Jin-Sook Kim
Identification and analysis of chunks in software projects, RACHANA S. KONERU
Evidence-based defect assessment and prediction for software product lines, Sandeep Krishnan
Learning classifiers from linked data, Harris Lin
