Computer Science and Engineering Department

Recently, a class of non-invasive hardware side-channel attacks has been discovered in field-programmable gate arrays (FPGAs). These attacks extract remnants of prior users’ activity that persist as transistor defect states within reconfigurable routing resources. These remnants are known as FPGA Pentimenti. Resistive random-access memory (ReRAM) is a compelling candidate for pentimenti-like attacks beyond FPGAs. However, […]

As quantum computing transitions from theory to practice, understanding which algorithms suit near-term devices becomes critical. Current quantum computers are severely constrained by limited qubit counts, short coherence times, and high error rates that quickly degrade computation into noise. This thesis addresses two interconnected questions: what non-trivial computational tasks can near-term devices execute and how […]

The growing complexity of high-performance computing (HPC) systems poses a fundamental challenge for domain scientists, whose primary objective is to obtain scientifically valid results rather than to optimize resource utilization. Modern leadership-class facilities combine heterogeneous CPUs, GPUs, and specialized accelerators across systems that simultaneously support traditional scientific simulations and AI-driven workloads. This creates a vast, […]

Modern software increasingly relies on distributed systems to provide accessible, scalable, and reliable services. Choreographic programming brings a global perspective to distributed system development: programmers write a single program that describes the behavior of a whole system, and a compiler projects that global description into local programs run by each node. By making distributed control […]

Edge computing and distributed AI systems increasingly operate under heterogeneous resources, dynamic workloads, and frequent failures, requiring both adaptivity and fault tolerance for efficient execution. In heterogeneous edge clusters, nodes differ significantly in CPU throughput, memory capacity, and network bandwidth, while modern distributed GPU clusters supporting agentic LLM inference must recover large amounts of runtime […]

Due to their increasing complexity, autonomous decision-making agents rely on increasingly advanced algorithms, from classical control theory to reinforcement learning (RL) and, more recently, large vision-language models. While these algorithms help automate the decision-making in complex systems, they bring newer attack vulnerabilities that an adversary can exploit. In this dissertation, we study the security of […]

Graphics Processing Units (GPUs) have become essential platforms for parallel computing, supporting applications far beyond graphics. Central to GPU programming models is its memory consistency specification (MCS), which defines the semantics of concurrent shared-memory operations and interacts with other language features to determine security guarantees such as memory safety. Understanding whether implementations conform to an […]

As datacenters scale up and become more geographically distributed, wide-area network inter-datacenter traffic, which typically consists of data-heavy tasks, has become increasingly prevalent. Some of the noteworthy challenges raised by the coexistence and interaction between inter- and intra-datacenter traffic are the differences in their QoS requirements, link utilization, and round-trip times. To the best of […]

In March 2024, a backdoor was discovered in xz Utils, a widely used open source data compression library present in nearly every major Linux distribution. The attack was discovered days before merging into major distributions, and if this had happened, it would have allowed attackers to execute arbitrary code on millions of systems worldwide via […]