| 2026 | CAV | Quokka#: Quantum Computing with #SAT. | Jingyi Mei, Dekel Zak, Muhammad Osama, Tim Coopmans, Alfons Laarman |
| 2025 | TACAS | Parallel Equivalence Checking of Stabilizer Quantum Circuits on GPUs. | Muhammad Osama, Dimitrios Thanos, Alfons Laarman |
| 2024 | CGO | Seer: Predictive Runtime Kernel Selection for Irregular Problems. | Ryan Swann, Muhammad Osama, Karthik Sangaiah, Jalal Mahmud |
| 2024 | TACAS | Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking. | Muhammad Osama, Anton Wijs |
| 2023 | PPoPP | Stream-K: Work-Centric Parallel Decomposition for Dense Matrix-Matrix Multiplication on the GPU. | Muhammad Osama, Duane Merrill, Cris Cecka, Michael Garland, John D. Owens |
| 2023 | PPoPP | A Programming Model for GPU Load Balancing. | Muhammad Osama, Serban D. Porumbescu, John D. Owens |
| 2023 | TACAS | A GPU Tree Database for Many-Core Explicit State Space Exploration. | Anton Wijs, Muhammad Osama |
| 2021 | CAV | GPU Acceleration of Bounded Model Checking with ParaFROST. | Muhammad Osama, Anton Wijs |
| 2021 | TACAS | SAT Solving with GPU Accelerated Inprocessing. | Muhammad Osama, Anton Wijs, Armin Biere |
| 2020 | ICTAI | Multiple Decision Making in Conflict-Driven Clause Learning. | Muhammad Osama, Anton Wijs |
| 2019 | EMNLP | DENS: A Dataset for Multi-class Emotion Analysis. | Chen Liu, Muhammad Osama, Anderson de Andrade |
| 2019 | ICML | Inferring Heterogeneous Causal Effects in Presence of Spatial Confounding. | Muhammad Osama, Dave Zachariah, Thomas B. Schn |
| 2019 | IFM | SIGmA: GPU Accelerated Simplification of SAT Formulas. | Muhammad Osama, Anton Wijs |
| 2019 | TACAS | Parallel SAT Simplification on GPU Architectures. | Muhammad Osama, Anton Wijs |
| 2018 | ICLR | Unsupervised Cipher Cracking Using Discrete GANs. | Aidan N. Gomez, Sicong Huang, Ivan Zhang, Bryan M. Li, Muhammad Osama, Lukasz Kaiser |
| 2018 | ICML | Learning Localized Spatio-Temporal Models From Streaming Data. | Muhammad Osama, Dave Zachariah, Thomas B. Schn |
| 2015 | PDP | An Efficient Implementation of Ant Colony Optimization on GPU for the Satisfiability Problem. | Hassan A. Youness, Aziza Ibraheim, Mohammed Moness, Muhammad Osama |