Omar S. Navarro Leija

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 6

Top Topics

Batch Processing

Parallel Implementation

Distributed Object

Top Venues

Proc. ACM Program. Lang.

Publications

Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania
Static detection of uncoalesced accesses in GPU programs. Formal Methods Syst. Des. 60 (1) (2022)
Irene Zhang, Amanda Raybuck, Pratyush Patel, Kirk Olynyk, Jacob Nelson, Omar S. Navarro Leija, Ashlie Martinez, Jing Liu, Anna Kornfeld Simpson, Sujay Jayakar, Pedro Henrique Penna, Max Demoulin, Piali Choudhury, Anirudh Badam
The Demikernel Datapath OS Architecture for Microsecond-scale Datacenter Systems. SOSP (2021)
Omar S. Navarro Leija, Kelly Shiptoski, Ryan G. Scott, Baojun Wang, Nicholas Renner, Ryan R. Newton, Joseph Devietti
Reproducible Containers. ASPLOS (2020)
Omar S. Navarro Leija, Alan Jeffrey
Lightweight Record-and-Replay for Intermittent Tests Failures. CoRR (2019)
Ryan G. Scott, Omar S. Navarro Leija, Joseph Devietti, Ryan R. Newton
Monadic composition for deterministic, parallel batch processing. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania
GPUDrano: Detecting Uncoalesced Accesses in GPU Programs. CAV (1) (2017)