The School of Computer Science (SCS) focuses on the roots of the computing discipline. Students will be exposed to mathematical foundations and system building principles and practices. Research questions will address foundational issues such as algorithms and complexity, to systems issues of robustness and performance. SCS will naturally engage mathematics, electrical and computer engineering, systems engineering and management to collaborate on multidisciplinary problems.

Collections in this community

Recent Submissions

  • Establishing a Home Sensing Platform in the Field of Technological Healthcare 

    Link, Cooper
    This thesis explores how home sensor platforms can be leveraged in the context of care for chronic conditions. In order to understand the needs of such a system, a platform has been developed and deployed at the Georgia ...
  • Search and Rescue Dog Wearable and Mobile Interface 

    Liu, Yunqi
    Search and Rescue (SAR) dogs are important partners in SAR activities since their born talents in olfactory and auditory senses. Traditionally, the SAR dogs are usually released in the last known spot of the target person, ...
  • Investigating Sim-to-Real Transfer and Multi-Agent Learning in Assistive Gym 

    Schaffer, Holden C.
    As the world's population grows older on average and the number of available caregivers decreases, assistive robotics pose an opportunity for older adults or people with disabilities to continue receiving the care that ...
  • PeopleMap: NLP and Visualization Tool for Mapping Out Researchers 

    Saad-Falcon, Jon
    Discovering research expertise at universities can be a difficult task. Directories routinely become outdated, and few help in visually summarizing researchers' work or supporting the exploration of shared interests among ...
  • Learning Neural Networks That Can Sort 

    Dey, Arnab
    This thesis analyzes how neural networks can learn parallel sorting algorithms such as bitonic sorting networks. We discussed how neural networks perform at sorting when given no information or constraints about the allowable ...
  • Using Language Models in Causal Story Generation 

    Li, Siyan
    Story generation remains a challenge because it is still difficult to automatically generate logically coherent yet natural stories. In this thesis, we propose an approach to this problem by combining our previous pipeline ...
  • A meta-analysis on the effectiveness of collaboration in game-based learning 

    Kaufmann, Maximilian (Georgia Institute of Technology, 2020)
    Game-based learning (GBL) can be used to improve learning outcomes. A common component of GBL is collaboration. While research has shown that GBL is frequently utilized to improve student motivation and learning outcomes, ...
  • Symbolic Reasoning for Query Verification and Optimization 

    Zhou, Qi (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 

    Bijlani, Ashish (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 

    Chen, Chao (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 

    Thompson, John R. (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 ...
  • Runtime Approaches to Improve the Efficiency of Hybrid and Irregular Applications 

    Bak, Seonmyeong (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 

    Voss, Caleb A. (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 

    Kintis, Panagiotis (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 ...
  • Concolic Execution Tailored for Hybrid Fuzzing 

    Yun, Insu (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), ...
  • Reasoning about programs in statistically modeled first-order environments 

    Mangal, Ravi (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 ...
  • ADVANCING COMPILER OPTIMIZATIONS FOR GENERAL-PURPOSE & DOMAIN-SPECIFIC PARALLEL ARCHITECTURES 

    Chatarasi, Prasanth (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 

    Mururu, Girish (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 

    Srinivasan, Arjun (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 ...
  • Making Crypto Libraries Robust Against Physical Side-channel Attacks 

    Alam, Md Monjur (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 ...

View more