Omar S. Navarro Leija

According to our database, Omar S. Navarro Leija authored at least 6 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Static detection of uncoalesced accesses in GPU programs.

Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania

Formal Methods Syst. Des., February, 2022

2021

The Demikernel Datapath OS Architecture for Microsecond-scale Datacenter Systems.

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

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

2020

Reproducible Containers.

Omar S. Navarro Leija, Kelly Shiptoski, Ryan G. Scott, Baojun Wang, Nicholas Renner, Ryan R. Newton, Joseph Devietti

Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

2019

Lightweight Record-and-Replay for Intermittent Tests Failures.

Omar S. Navarro Leija, Alan Jeffrey

CoRR, 2019

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

GPUDrano: Detecting Uncoalesced Accesses in GPU Programs.

Rajeev Alur, Joseph Devietti, Omar S. Navarro Leija, Nimit Singhania

Proceedings of the Computer Aided Verification - 29th International Conference, 2017