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

  • 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 ...
  • Productize ML: A Machine Learning in Production Course 

    Romero, Adria (Georgia Institute of Technology, 2020-08)
    This document presents the project paper for the CS6460 course for which a Content track was chosen to teach a Machine Learning in Production course using Cognitive Emotional Pedagogy and Distance learning and framed around ...
  • CS-6460 EdTech Final Project 

    Hartnell, Edwin Geoffrey (Georgia Institute of Technology, 2020-12-06)
    This project develops a set of Problem-Based Learning (PBL) modules called "Case Simulations" for economics and business students. Case Simulations are Case Studies with matching Market Simulations. Together, they provide ...
  • The Effect of Gamification Elements on MOOCs 

    El-Sawy, Hussien (Georgia Institute of Technology, 2020-12-07)
    Gamification is the use of game elements in non-game subjects. MOOCs are Massive Open Online Courses, as it became widely used worldwide specially after the covid-19 pandemic, it is still facing some challenges on retaining ...
  • Enumerating Acyclic Orientations 

    Hathcock, Daniel Cullen
    An acyclic orientation (AO) of an undirected graph is an assignment of direction to each of its edges without introducing a directed cycle. We study enumeration problems regarding AOs. Our results include: an explicit ...
  • Automated Vulnerability Discovery in Botnet Command and Control Infrastructure 

    Asdar, Ehsan Muzaffar
    Systems infected with botnet malware often communicate with command and control (C&C) infrastructure, from which attackers can launch coordinated malicious attacks. Our research explores techniques for discovering ...
  • Deterministic Volume Approximation of Polytopes 

    Cristian, Rares
    Computing the volume of a polytope is an important longstudied question, with applications ranging from combinatorics to machine learning. While there are numerous randomized algorithms that efficiently approximate the ...

View more