The College of Computing formed the School of Computer Science (SCS) in 2007. SCS is defining the foundations and advancing the frontiers of computing. Its mission is to invent the intellectual and architectural basis for computing; to educate students in the foundations and future of the field; to understand and realize the potential of computation, in algorithms, systems, software, architecture and networks; to invent and enable networks, computers and platforms that advance our knowledge and benefit society; to educate practitioners and future leaders of computer science; and to be at the forefront of research, education and service based on computer science.

Recent Submissions

  • 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 ...
  • The hourglass effect in source-target dependency networks 

    Sabrin, Kaeser M. (Georgia Institute of Technology, 2018-11-13)
    Many hierarchically modular systems are structured in a way that resembles the shape of an hourglass: the system generates many outputs from many inputs through a relatively small number of intermediate modules that are ...
  • Optimization-driven emergence of deep hierarchies with applications in data mining and evolution 

    Siyari, Payam (Georgia Institute of Technology, 2018-11-09)
    It is well known that many complex systems, in both nature and technology, exhibit hierarchical modularity: smaller modules, each of them providing a certain function, are used within larger modules that perform more complex ...
  • Constructing and evaluating executable models of collective behavior 

    Hrolenok, Brian Paul (Georgia Institute of Technology, 2018-10-19)
    Multiagent simulation (MAS) can be a valuable tool for biologists and ethologists studying collective animal behavior. However, constructing models for simulation is often a time-consuming manual task. Current state-of-the-art ...
  • EvalAI: Evaluating AI systems at scale 

    Deshraj (Georgia Institute of Technology, 2018-12-06)
    Artificial Intelligence research has progressed tremendously in the last few years. There has been the introduction of several new multi-modal datasets and tasks due to which it is becoming much harder to compare new ...
  • Hardness and tractability for structured numerical problems 

    Zhang, Peng (Georgia Institute of Technology, 2018-08-24)
    We study structured linear systems and structured linear programs (LPs) from both algorithm and complexity perspectives. These structured problems commonly arise in combinatorial optimization, machine learning, and operation ...
  • Mobile device clusters as edge compute resources: Design, deployment, and role in the computing ecosystem 

    Habak, Karim (Georgia Institute of Technology, 2018-07-27)
    Edge computing offers an alternative to centralized, in-the-cloud compute services. Among the potential advantages of edge-computing are lower latency that improves responsiveness, reduced wide-area network congestion, and ...
  • An image-based approach for 3D reconstruction of urban scenes using architectural symmetries 

    Srinivasan, Natesh (Georgia Institute of Technology, 2018-07-23)
    In this dissertation, I focus on an important, generalizable and freely available sub-category of semantic information in addressing modern reconstruction challenges: the notion of symmetry. The emphasis in the 3D modeling ...

View more