Domains and expressions: an interface between two approaches to computer algebra. - Cosmin E. Oancea; Stephen M. Watt (ISSAC, 2005)

Parametric polymorphism for software component architectures. - Cosmin E. Oancea; Stephen M. Watt (OOPSLA, 2005)

Distributed Models of Thread Level Speculation. - Cosmin E. Oancea; Jason W. A. Selby; Mark Giesbrecht; Stephen M. Watt (PDPTA, 2005)

A Lightweight Model for Software Thread-Level Speculation (TLS). - Cosmin E. Oancea; Alan Mycroft (PACT, 2007)

Software thread-level speculation: an optimistic library implementation. - Cosmin E. Oancea; Alan Mycroft (IWMSE@ICSE, 2008)

Set-Congruence Dynamic Analysis for Thread-Level Speculation (TLS). - Cosmin E. Oancea; Alan Mycroft (LCPC, 2008)

A new approach to parallelising tracing algorithms. - Cosmin E. Oancea; Alan Mycroft; Stephen M. Watt (ISMM, 2009)

A lightweight in-place implementation for software thread-level speculation. - Cosmin E. Oancea; Alan Mycroft; Tim Harris 001 (SPAA, 2009)

A Hybrid Approach to Proving Memory Reference Monotonicity. - Cosmin E. Oancea; Lawrence Rauchwerger (LCPC, 2011)

An architecture for generic extensions. - Cosmin E. Oancea; Stephen M. Watt (Sci. Comput. Program., 2011)

Financial software on GPUs: between Haskell and Fortran. - Cosmin E. Oancea; Christian Andreetta; Jost Berthold; Alain Frisch; Fritz Henglein (FHPC@ICFP, 2012)

Logical inference techniques for loop parallelization. - Cosmin E. Oancea; Lawrence Rauchwerger (PLDI, 2012)

A T2 graph-reduction approach to fusion. - Troels Henriksen; Cosmin Eugen Oancea (FHPC@ICFP, 2013)

Speedy greedy feature selection: Better redshift estimation via massive parallelism. - Fabian Gieseke; Kai Lars Polsterer; Cosmin Eugen Oancea; Christian Igel (ESANN, 2014)

Size slicing: a hybrid approach to size inference in futhark. - Troels Henriksen; Martin Elsman; Cosmin E. Oancea (FHPC@ICFP, 2014)

Buffer k-d Trees: Processing Massive Nearest Neighbor Queries on GPUs. - Fabian Gieseke; Justin Heinermann; Cosmin E. Oancea; Christian Igel (ICML, 2014)

Bounds Checking: An Instance of Hybrid Analysis. - Troels Henriksen; Cosmin E. Oancea (ARRAY@PLDI, 2014)

Scalable conditional induction variables (CIV) analysis. - Cosmin E. Oancea; Lawrence Rauchwerger (CGO, 2015)

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 (FHPC@ICFP, 2016)

Design and GPGPU performance of Futhark's redomap construct. - Troels Henriksen; Ken Friis Larsen; Cosmin E. Oancea (ARRAY@PLDI, 2016)

FinPar: A Parallel Financial Benchmark. - Christian Andreetta; Vivien Bégot; Jost Berthold; Martin Elsman; Fritz Henglein; Troels Henriksen; Maj-Britt Nordfang; Cosmin E. Oancea (ACM Trans. Archit. Code Optim., 2016)

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 (PLDI, 2017)

bufferkdtree: A Python library for massive nearest neighbor queries on multi-many-core devices. - Fabian Gieseke; Cosmin E. Oancea; Christian Igel (Knowl. Based Syst., 2017)

Modular acceleration: tricky cases of functional high-performance computing. - Troels Henriksen; Martin Elsman; Cosmin E. Oancea (FHPC@ICFP, 2018)

Bigger Buffer k-d Trees on Multi-Many-Core Systems. - Fabian Gieseke; Cosmin Eugen Oancea; Ashish Mahabal; Christian Igel; Tom Heskes (VECPAR, 2018)

Static interpretation of higher-order modules in Futhark: functional GPU programming in the large. - Martin Elsman; Troels Henriksen; Danil Annenkov; Cosmin E. Oancea (Proc. ACM Program. Lang., 2018)

A functional approach to accelerating Monte Carlo based american option pricing. - Wojciech Michal Pawlak; Martin Elsman; Cosmin Eugen Oancea (IFL, 2019)

Incremental flattening for nested data parallelism. - Troels Henriksen; Frederik Thorøe; Martin Elsman; Cosmin E. Oancea (PPoPP, 2019)

Approximate Nearest-Neighbour Fields via Massively-Parallel Propagation-Assisted K-D Trees. - Cosmin Eugen Oancea; Ties Robroek; Fabian Gieseke (IEEE BigData, 2020)

Massively-Parallel Change Detection for Satellite Time Series Data with Missing Values. - Fabian Gieseke; Sabina Rosca; Troels Henriksen; Jan Verbesselt; Cosmin E. Oancea (ICDE, 2020)

Compiling generalized histograms for GPU. - Troels Henriksen; Sune Hellfritzsch; Ponnuswamy Sadayappan; Cosmin E. Oancea (SC, 2020)

Acceleration of lattice models for pricing portfolios of fixed-income derivatives. - Wojciech Michal Pawlak; Marek Hlava; Martin Metaksov; Cosmin Eugen Oancea (ARRAY@PLDI, 2021)

Dataset Sensitive Autotuning of Multi-versioned Code Based on Monotonic Properties - Autotuning in Futhark. - Philip Munksgaard; Svend Lund Breddam; Troels Henriksen; Fabian Gieseke; Cosmin E. Oancea (TFP, 2021)

Compiling a functional array language with non-semantic memory information. - Philip Munksgaard; Cosmin E. Oancea; Troels Henriksen (IFL, 2022)

Memory Optimizations in an Array Language. - Philip Munksgaard; Troels Henriksen; Ponnuswamy Sadayappan; Cosmin E. Oancea (SC, 2022)

AD for an Array Language with Nested Parallelism. - Robert Schenck 001; Ola Rønning; Troels Henriksen; Cosmin E. Oancea (SC, 2022)

futhark-mem-sc22. - Philip Munksgaard; Troels Henriksen; Ponnuswamy Sadayappan; Cosmin E. Oancea (Zenodo, 2022)

futhark-mem-sc22. - Philip Munksgaard; Troels Henriksen; Ponnuswamy Sadayappan; Cosmin E. Oancea (Zenodo, 2022)

futhark-mem-sc22. - Philip Munksgaard; Troels Henriksen; Ponnuswamy Sadayappan; Cosmin E. Oancea (Zenodo, 2022)

futhark-mem-sc22. - Philip Munksgaard; Troels Henriksen; Ponnuswamy Sadayappan; Cosmin E. Oancea (Zenodo, 2022)

Seasonal-Trend Time Series Decomposition on Graphics Processing Units. - Dmitry Serykh; Stefan Oehmcke; Cosmin E. Oancea; Dainius Masiliunas; Jan Verbesselt; Yan Cheng; Stéphanie Horion; Fabian Gieseke; Nikolaj Hinnerskov (IEEE Big Data, 2023)

Reverse-Mode AD of Multi-Reduce and Scan in Futhark. - Lotte Maria Bruun; Ulrik Stuhr Larsen; Nikolaj Hey Hinnerskov; Cosmin Eugen Oancea (IFL, 2023)

Reverse-Mode AD of Reduce-by-Index and Scan in Futhark. - Lotte Maria Bruun; Ulrik Stuhr Larsen; Nikolaj Hinnerskov; Cosmin E. Oancea (CoRR, 2023)

GPU Implementations for Midsize Integer Addition and Multiplication. - Cosmin E. Oancea; Stephen M. Watt (CoRR, 2024)

Scheduling Languages: A Past, Present, and Future Taxonomy. - Mary W. Hall; Cosmin E. Oancea; Anne C. Elster; Ari Rasch; Sameeran Joshi; Amir Mohammad Tavakkoli; Richard Schulze (CoRR, 2024)

Comparing Parallel Functional Array Languages: Programming and Performance. - David P. van Balen; Tiziano De Matteis; Clemens Grelck; Troels Henriksen; Aaron W. Hsu; Gabriele K. Keller; Thomas Koopman; Trevor L. McDonell; Cosmin E. Oancea; Sven-Bodo Scholz; Artjoms Sinkarovs; Tom Smeding; et al. (CoRR, 2025)

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language. - Nikolaj Hey Hinnerskov; Robert Schenck 001; Cosmin E. Oancea (CoRR, 2025)