| 2026 | CASC | On GPU Implementation for Multi-precision Integer Division. | Martin Bom Marchioro, Aske Nord Raahauge, Marc I. Lvenskjold, Cosmin E. Oancea, Stephen M. Watt |
| 2026 | CGO | LEGO: A Layout Expression Language for Code Generation of Hierarchical Mapping. | Amir Mohammad Tavakkoli, Cosmin E. Oancea, Mary W. Hall |
| 2022 | SC | Memory Optimizations in an Array Language. | Philip Munksgaard, Troels Henriksen, Ponnuswamy Sadayappan, Cosmin E. Oancea |
| 2022 | SC | AD for an Array Language with Nested Parallelism. | Robert Schenck, Ola Rnning, Troels Henriksen, Cosmin E. Oancea |
| 2020 | ICDE | Massively-Parallel Change Detection for Satellite Time Series Data with Missing Values. | Fabian Gieseke, Sabina Rosca, Troels Henriksen, Jan Verbesselt, Cosmin E. Oancea |
| 2020 | SC | Compiling generalized histograms for GPU. | Troels Henriksen, Sune Hellfritzsch, Ponnuswamy Sadayappan, Cosmin E. Oancea |
| 2019 | PPoPP | Incremental flattening for nested data parallelism. | Troels Henriksen, Frederik Thore, Martin Elsman, Cosmin E. Oancea |
| 2018 | ICFP | Modular acceleration: tricky cases of functional high-performance computing. | Troels Henriksen, Martin Elsman, Cosmin E. Oancea |
| 2017 | PLDI | Futhark: purely functional GPU-programming with nested parallelism and in-place array updates. | Troels Henriksen, Niels G. W. Serup, Martin Elsman, Fritz Henglein, Cosmin E. Oancea |
| 2016 | ICFP | APL on GPUs: a TAIL from the past, scribbled in Futhark. | Troels Henriksen, Martin Dybdal, Henrik Urms, Anna Sofie Kiehn, Daniel Gavin, Hjalte Abelskov, Martin Elsman, Cosmin E. Oancea |
| 2016 | PLDI | Design and GPGPU performance of Futhark's redomap construct. | Troels Henriksen, Ken Friis Larsen, Cosmin E. Oancea |
| 2015 | CGO | Scalable conditional induction variables (CIV) analysis. | Cosmin E. Oancea, Lawrence Rauchwerger |
| 2014 | ICFP | Size slicing: a hybrid approach to size inference in futhark. | Troels Henriksen, Martin Elsman, Cosmin E. Oancea |
| 2014 | ICML | Buffer k-d Trees: Processing Massive Nearest Neighbor Queries on GPUs. | Fabian Gieseke, Justin Heinermann, Cosmin E. Oancea, Christian Igel |
| 2014 | PLDI | Bounds Checking: An Instance of Hybrid Analysis. | Troels Henriksen, Cosmin E. Oancea |
| 2012 | ICFP | Financial software on GPUs: between Haskell and Fortran. | Cosmin E. Oancea, Christian Andreetta, Jost Berthold, Alain Frisch, Fritz Henglein |
| 2012 | PLDI | Logical inference techniques for loop parallelization. | Cosmin E. Oancea, Lawrence Rauchwerger |
| 2009 | SPAA | A lightweight in-place implementation for software thread-level speculation. | Cosmin E. Oancea, Alan Mycroft, Tim Harris |
| 2008 | ICSE | Software thread-level speculation: an optimistic library implementation. | Cosmin E. Oancea, Alan Mycroft |
| 2005 | ISSAC | Domains and expressions: an interface between two approaches to computer algebra. | Cosmin E. Oancea, Stephen M. Watt |
| 2005 | OOPSLA | Parametric polymorphism for software component architectures. | Cosmin E. Oancea, Stephen M. Watt |
| 2005 | PDPTA | Distributed Models of Thread Level Speculation. | Cosmin E. Oancea, Jason W. A. Selby, Mark Giesbrecht, Stephen M. Watt |