Audience: Faculty

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…

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…

Real-time monitoring of infectious disease outbreaks calls for statistical models that recover interpretable quantities such as the time-varying reproduction number from noisy count data, track posterior uncertainty, and run on time scales compatible with daily updates. Existing methods address these aims through separate model classes. Discretized Hawkes processes, Poisson autoregressions, and distributed lag models each…