College of Computing Theses and Dissertations
All materials in SMARTech are protected under U.S. Copyright Law and all rights are reserved. Such materials may be used, quoted or reproduced for educational purposes only with prior permission, provided proper attribution is given. Any redistribution, reproduction or use of the materials, in whole or in part, is prohibited without prior permission of the author.
Recent Submissions
-
Symbolic Reasoning for Query Verification and Optimization
(Georgia Institute of Technology, 2020-12-10)Structured Query Language (SQL) is the most widely used language for interacting with many database management systems (DBMS). Thus, the problems of optimizing and verifying SQL queries are two of the most studied problems ... -
Smart Storage for Smart Mobile Devices
(Georgia Institute of Technology, 2020-12-17)Smart mobile devices have largely evolved as primary tools for personal computing needs. There are millions of applications (or apps) for everyday tasks, such as social networking, entertainment, healthcare, and home ... -
Compiler-Assisted Resilience Framework for Recovery from Transient Faults
(Georgia Institute of Technology, 2020-12-06)Due to system scaling trends toward smaller transistor size, higher circuit density and the use of near-threshold voltage (NTV) techniques, transient hardware faults introduced by external noises, e.g., heat fluxes and ... -
Augmenting Graphic Design Practices for Expressive Visualization Authoring
(Georgia Institute of Technology, 2020-12-08)Data visualization provides an effective method to tell stories, simplify complex concepts, support arguments, and make boring facts exciting. As communicative data visualization matures as a field in the computer graphics ... -
ROBUST COUNTERFACTUAL LEARNING FOR CLINICAL DECISION-MAKING USING ELECTRONIC HEALTH RECORDS
(Georgia Institute of Technology, 2020-12-07)Building clinical decision support systems, which includes diagnosing patient’s disease states and formulating a treatment plan, is an important step toward personalized medicine. The counterfactual nature of clinical ... -
Runtime Approaches to Improve the Efficiency of Hybrid and Irregular Applications
(Georgia Institute of Technology, 2020-12-06)On-node parallelism has increased significantly in high-performance computing systems. This huge amount of parallelism can be used to speed up regular paral- lel applications relatively easily because straightforward ... -
Addressing Logical Deadlocks through Task-Parallel Language Design
(Georgia Institute of Technology, 2020-12-04)Task-parallel programming languages offer a variety of high-level mechanisms for synchronization that trade off between flexibility and deadlock safety. Some approaches are deadlock-free by construction but support limited ... -
Characterizing Network Infrastructure Using the Domain Name System
(Georgia Institute of Technology, 2020-12-02)From the early 90’s until the recent years we have seen a significant amount of protocols and applications being built on top of the Internet Protocol (IP). The ever growing use of off-the-shelf solutions and vertically ... -
Prokaryotic Gene Start Prediction: Algorithms for Genomes and Metagenomes
(Georgia Institute of Technology, 2020-12-01)Prokaryotic gene-prediction is the task of finding genes in archaeal or bacterial DNA sequences. These genomes consist of alternating gene-coding and non-coding regions, meaning the task is solved by determining the start ... -
Concolic Execution Tailored for Hybrid Fuzzing
(Georgia Institute of Technology, 2020-12-01)Recently, hybrid fuzzing, which combines fuzzing and concolic execution, has been highlighted to overcome limitations of both techniques. Despite its success in contrived programs such as DARPA Cyber Grand Challenge (CGC), ... -
Interactive Scalable Interfaces for Machine Learning Interpretability
(Georgia Institute of Technology, 2020-12-01)Data-driven paradigms now solve the world's hardest problems by automatically learning from data. Unfortunately, what is learned is often unknown to both the people who train the models and the people they impact. This has ... -
A Grassroots Praxis of Technology: View from The South
(Georgia Institute of Technology, 2020-10-29)Grassroots social movements led by Black, Indigenous, People of Color (BIPOC) in the southeastern United States have survived and fought through centuries of systemic oppression. In the recent age of Information Communication ... -
Reasoning about programs in statistically modeled first-order environments
(Georgia Institute of Technology, 2020-12-01)The objects of study in this dissertation are programs and algorithms that reason about programs using their syntactic structure. Such algorithms, referred to as program verification algorithms in the literature, are ... -
Maker-Oriented Curriculum for Human-Centered Design and Prototyping Instruction
(Georgia Institute of Technology, 2020-10-16)As the role of human-centered design and human-computer interaction continues to expand its role in undergraduate and graduate computer science and engineering programs, the demand for tools and technologies to study these ... -
ADVANCING COMPILER OPTIMIZATIONS FOR GENERAL-PURPOSE & DOMAIN-SPECIFIC PARALLEL ARCHITECTURES
(Georgia Institute of Technology, 2020-08-21)Computer hardware is undergoing a major disruption as we approach the end of Moore’s law, in the form of new advancements to general-purpose and domain-specific parallel architectures. Contemporaneously, the demand for ... -
Compiler Guided Scheduling : A Cross-Stack Approach For Performance Elicitation
(Georgia Institute of Technology, 2020-08-19)Modern software executes on multi-core systems that share resources like several levels of memory hierarchy (caches, main memory, secondary storage), I/O devices, and network interfaces. In such a co-execution environment, ... -
Combining Natural Language and Direct Manipulation for Human-Data Interaction through Visualizations
(Georgia Institute of Technology, 2020-08-19)Visualization is an indispensable tool for human-data interaction, enabling people to better understand their data, identify patterns, and discover insights. Interaction plays a critical role in data visualization tools ... -
User’s role in shaping WeChat as an infrastructure: practice, appropriation, creation
(Georgia Institute of Technology, 2020-08-17)The past decade has seen the rapid development of information and communication technologies, particularly online social platforms such as Twitter and Facebook. While online social platforms have existed since the early ... -
Making Crypto Libraries Robust Against Physical Side-channel Attacks
(Georgia Institute of Technology, 2019-10-30)The connection between theoretical and applied cryptography is often not well established due to difficulties in translating the theoretical security proofs to real world software and hardware implementations. Physical ... -
VISUAL DENSE THREE-DIMENSIONAL MOTION ESTIMATION IN THE WILD
(Georgia Institute of Technology, 2019-08-19)One of the most fundamental abilities of the human perception system is to seamlessly sense the changing 3D worlds from our ego-centric visual observations. Driven by the modern applications of robotics, autonomous driving, ...
RSS 1.0