Cosmin E. Oancea

CoRR, 2024

2023

Reverse-Mode AD of Reduce-by-Index and Scan in Futhark.

[BibT_eX]

[DOI]

CoRR, 2023

Reverse-Mode AD of Multi-Reduce and Scan in Futhark.

[BibT_eX]

[DOI]

Lotte Maria Bruun

Ulrik Stuhr Larsen

Nikolaj Hey Hinnerskov

Proceedings of the 35th Symposium on Implementation and Application of Functional Languages, 2023

Seasonal-Trend Time Series Decomposition on Graphics Processing Units.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data, 2023

2022

futhark-mem-sc22.

[BibT_eX]

[DOI]

Dataset, June, 2022

futhark-mem-sc22.

[BibT_eX]

[DOI]

Dataset, June, 2022

futhark-mem-sc22.

[BibT_eX]

[DOI]

Dataset, April, 2022

futhark-mem-sc22.

[BibT_eX]

[DOI]

Dataset, April, 2022

AD for an Array Language with Nested Parallelism.

[BibT_eX]

[DOI]

Proceedings of the SC22: International Conference for High Performance Computing, 2022

Memory Optimizations in an Array Language.

[BibT_eX]

[DOI]

Proceedings of the SC22: International Conference for High Performance Computing, 2022

Compiling a functional array language with non-semantic memory information.

[BibT_eX]

[DOI]

Proceedings of the 34th Symposium on Implementation and Application of Functional Languages, 2022

2021

Dataset Sensitive Autotuning of Multi-versioned Code Based on Monotonic Properties - Autotuning in Futhark.

[BibT_eX]

[DOI]

Proceedings of the Trends in Functional Programming - 22nd International Symposium, 2021

Acceleration of lattice models for pricing portfolios of fixed-income derivatives.

[BibT_eX]

[DOI]

Wojciech Michal Pawlak

Marek Hlava

Martin Metaksov

Proceedings of the ARRAY 2021: Proceedings of the 7th ACM SIGPLAN International Workshop on Libraries, 2021

2020

Compiling generalized histograms for GPU.

[BibT_eX]

[DOI]

Sune Hellfritzsch

Proceedings of the International Conference for High Performance Computing, 2020

Massively-Parallel Change Detection for Satellite Time Series Data with Missing Values.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE International Conference on Data Engineering, 2020

Approximate Nearest-Neighbour Fields via Massively-Parallel Propagation-Assisted K-D Trees.

[BibT_eX]

[DOI]

Ties Robroek

Fabian Gieseke

Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

2019

Incremental flattening for nested data parallelism.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

A functional approach to accelerating Monte Carlo based american option pricing.

[BibT_eX]

[DOI]

Wojciech Michal Pawlak

Martin Elsman

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

2018

Static interpretation of higher-order modules in Futhark: functional GPU programming in the large.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Bigger Buffer k-d Trees on Multi-Many-Core Systems.

[BibT_eX]

[DOI]

Proceedings of the High Performance Computing for Computational Science - VECPAR 2018, 2018

Modular acceleration: tricky cases of functional high-performance computing.

[BibT_eX]

[DOI]

Martin Elsman

Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing, 2018

2017

bufferkdtree: A Python library for massive nearest neighbor queries on multi-many-core devices.

[BibT_eX]

[DOI]

Fabian Gieseke

Christian Igel

Knowl. Based Syst., 2017

Futhark: purely functional GPU-programming with nested parallelism and in-place array updates.

[BibT_eX]

[DOI]

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

FinPar: A Parallel Financial Benchmark.

[BibT_eX]

[DOI]

ACM Trans. Archit. Code Optim., 2016

Design and GPGPU performance of Futhark's redomap construct.

[BibT_eX]

[DOI]

Ken Friis Larsen

Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, 2016

APL on GPUs: a TAIL from the past, scribbled in Futhark.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Functional High-Performance Computing, 2016

2015

Scalable conditional induction variables (CIV) analysis.

[BibT_eX]

[DOI]

Lawrence Rauchwerger

Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2015

2014

Bounds Checking: An Instance of Hybrid Analysis.

[BibT_eX]

[DOI]

Proceedings of the ARRAY'14: Proceedings of the 2014 ACM SIGPLAN International Workshop on Libraries, 2014

Buffer k-d Trees: Processing Massive Nearest Neighbor Queries on GPUs.

[BibT_eX]

[DOI]

Proceedings of the 31th International Conference on Machine Learning, 2014

Size slicing: a hybrid approach to size inference in futhark.

[BibT_eX]

[DOI]

Martin Elsman

Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014

Speedy greedy feature selection: Better redshift estimation via massive parallelism.

[BibT_eX]

[DOI]

Proceedings of the 22th European Symposium on Artificial Neural Networks, 2014

2013

A T2 graph-reduction approach to fusion.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013

2012

Logical inference techniques for loop parallelization.

[BibT_eX]

[DOI]

Lawrence Rauchwerger

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Financial software on GPUs: between Haskell and Fortran.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, 2012

2011

An architecture for generic extensions.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2011

A Hybrid Approach to Proving Memory Reference Monotonicity.

[BibT_eX]

[DOI]

Lawrence Rauchwerger

Proceedings of the Languages and Compilers for Parallel Computing, 2011

2009

A lightweight in-place implementation for software thread-level speculation.

[BibT_eX]

[DOI]

Tim Harris

Proceedings of the SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2009

A new approach to parallelising tracing algorithms.

[BibT_eX]

[DOI]

Proceedings of the 8th International Symposium on Memory Management, 2009

2008

Set-Congruence Dynamic Analysis for Thread-Level Speculation (TLS).

[BibT_eX]

[DOI]

Proceedings of the Languages and Compilers for Parallel Computing, 2008

Software thread-level speculation: an optimistic library implementation.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Multicore Software Engineering, 2008

2007

A Lightweight Model for Software Thread-Level Speculation (TLS).

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Parallel Architectures and Compilation Techniques (PACT 2007), 2007

2005

Distributed Models of Thread Level Speculation.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2005

Parametric polymorphism for software component architectures.

[BibT_eX]

[DOI]

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Domains and expressions: an interface between two approaches to computer algebra.

[BibT_eX]

[DOI]