GPUDrano: Detecting Uncoalesced Accesses in GPU Programs. - Rajeev Alur; Joseph Devietti; Omar S. Navarro Leija; Nimit Singhania (CAV (1), 2017)

Monadic composition for deterministic, parallel batch processing. - Ryan G. Scott; Omar S. Navarro Leija; Joseph Devietti; Ryan R. Newton (Proc. ACM Program. Lang., 2017)

Lightweight Record-and-Replay for Intermittent Tests Failures. - Omar S. Navarro Leija; Alan Jeffrey (CoRR, 2019)

Reproducible Containers. - Omar S. Navarro Leija; Kelly Shiptoski; Ryan G. Scott; Baojun Wang; Nicholas Renner; Ryan R. Newton; Joseph Devietti (ASPLOS, 2020)

The Demikernel Datapath OS Architecture for Microsecond-scale Datacenter Systems. - Irene Zhang; Amanda Raybuck; Pratyush Patel; Kirk Olynyk; Jacob Nelson 001; Omar S. Navarro Leija; Ashlie Martinez; Jing Liu; Anna Kornfeld Simpson; Sujay Jayakar; Pedro Henrique Penna; Max Demoulin; et al. (SOSP, 2021)

Static detection of uncoalesced accesses in GPU programs. - Rajeev Alur; Joseph Devietti; Omar S. Navarro Leija; Nimit Singhania (Formal Methods Syst. Des., 2022)