Sven-Bodo Scholz

Thomas Koopman

Proceedings of the 11th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing, 2023

2022

Parallel scan as a multidimensional array problem.

[BibT_eX]

[DOI]

Proceedings of the ARRAY '22: 8th ACM SIGPLAN International Workshop on Libraries, 2022

2021

Array languages make neural networks fast.

[BibT_eX]

[DOI]

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

On Mapping N-Dimensional Data-Parallelism Efficiently into GPU-Thread-Spaces.

[BibT_eX]

[DOI]

Niek Janssen

Proceedings of the 33rd Symposium on Implementation and Application of Functional Languages, 2021

In-Place-Folding of Non-Scalar Hyper-Planes of Multi-Dimensional Arrays.

[BibT_eX]

[DOI]

Gijs van Cuyck

Proceedings of the 33rd Symposium on Implementation and Application of Functional Languages, 2021

2020

FPGAs for Domain Experts.

[BibT_eX]

[DOI]

Wim Vanderbauwhede

Martin Margala

Int. J. Reconfigurable Comput., 2020

Effective Host-GPU Memory Management Through Code Generation.

[BibT_eX]

[DOI]

Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

2019

Convolutional neural networks in APL.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, 2019

Tensor comprehensions in SaC.

[BibT_eX]

[DOI]

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

Checkpointing Kernel Executions of MPI+CUDA Applications.

[BibT_eX]

[DOI]

Max Baird

Leonardo Bautista-Gomez

Proceedings of the Euro-Par 2019: Parallel Processing Workshops, 2019

2018

A Rosetta Stone for array languages.

[BibT_eX]

[DOI]

Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, 2018

Extended Memory Reuse: An Optimisation for Reducing Memory Allocations.

[BibT_eX]

[DOI]

Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, 2018

A Lightweight Approach to GPU Resilience.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2018: Parallel Processing Workshops, 2018

2017

A Lambda Calculus for Transfinite Arrays: Unifying Arrays and Streams.

[BibT_eX]

[DOI]

CoRR, 2017

Recursive Array Comprehensions in a Call-by-Value Language.

[BibT_eX]

[DOI]

Robert J. Stewart

Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, 2017

2016

Type-driven data layouts for improved vectorisation.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2016

2015

Putting Heterogeneous High-Performance Computing at the Fingertips of Domain Experts (NII Shonan Meeting 2015-18).

[BibT_eX]

[DOI]

Wim Vanderbauwhede

Tetsuya Takemi

NII Shonan Meet. Rep., 2015

Abstract expressionism for parallel performance.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, 2015

Making fortran legacy code more functional: using the BGS* geomagnetic field modelling system as an example.

[BibT_eX]

[DOI]

Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, 2015

Dynamic adaptation of functional runtime systems through external control.

[BibT_eX]

[DOI]

Stuart Gordon

Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, 2015

2014

SaC/C formulations of the all-pairs <i>N</i>-body problem and their performance on SMPs and GPGPUs.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2014

On Predicting the Impact of Resource Redistributions in Streaming Applications.

[BibT_eX]

[DOI]

Merijn Verstraaten

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

Partial evaluation as universal compiler tool: experiences from the SAC Eco system.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

2013

A scalable approach to computing representative lowest common ancestor in directed acyclic graphs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

Data layout inference for code vectorisation.

[BibT_eX]

[DOI]

Proceedings of the International Conference on High Performance Computing & Simulation, 2013

Modular design of data-parallel graph algorithms.

[BibT_eX]

[DOI]

Santanu Kumar Dash

Bruce Christianson

Proceedings of the International Conference on High Performance Computing & Simulation, 2013

Semantics-preserving data layout transformations for improved vectorisation.

[BibT_eX]

[DOI]

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

2012

Combining high productivity and high performance in image processing using Single Assignment C on multi-core CPUs and many-core GPUs.

[BibT_eX]

[DOI]

J. Electronic Imaging, 2012

Asynchronous adaptive optimisation for generic data-parallel array programming.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2012

Lazy reference counting for the microgrid.

[BibT_eX]

[DOI]

Proceedings of the 16th Workshop on Interaction between Compilers and Computer Architectures, 2012

2011

Breaking the GPU programming barrier with the auto-parallelising SAC compiler.

[BibT_eX]

[DOI]

Jing Guo

Jeyarajan Thiyagalingam

Antonio Wendell De Oliveira Rodrigues

Proceedings of the POPL 2011 Workshop on Declarative Aspects of Multicore Programming, 2011

Harnessing the Power of GPUs without Losing Abstractions in SAC and ArrayOL: A Comparative Study.

[BibT_eX]

[DOI]

Jing Guo

Jeyarajan Thiyagalingam

Frédéric Guyomarc'h

Pierre Boulet

Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

2010

Parallel signal processing with S-Net.

[BibT_eX]

[DOI]

Rémi Barrère

Eric Lenormand

Proceedings of the International Conference on Computational Science, 2010

Guest Editors' Editorial: Special Issue on the Second International Workshop on Microgrids.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 2010

Asynchronous Stream Processing with S-Net.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 2010

Selecting Features in Origin Analysis.

[BibT_eX]

[DOI]

Proceedings of the Research and Development in Intelligent Systems XXVII, 2010

Unibench: A Tool for Automated and Collaborative Benchmarking.

[BibT_eX]

[DOI]

Daniel Rolls

Carl Joslin

Proceedings of the 18th IEEE International Conference on Program Comprehension, 2010

Compiler-Support for Robust Multi-core Computing.

[BibT_eX]

[DOI]

Raimund Kirner

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Concurrent Non-deferred Reference Counting on the Microgrid: First Experiences.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 2010

Message Driven Programming with S-Net: Methodology and Performance.

[BibT_eX]

[DOI]

Frank Penczek

Proceedings of the 39th International Conference on Parallel Processing, 2010

Compilation of Modelica Array Computations into Single Assignment C for Efficient Execution on CUDA-enabled GPUs.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2010

2009

Towards Compiling SAC to CUDA.

[BibT_eX]

Jing Guo

Jeyarajan Thiyagalingam

Proceedings of the Tenth Symposium on Trends in Functional Programming, 2009

Controlling chaos: on safe side-effects in data-parallel operations.

[BibT_eX]

[DOI]

Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, 2009

An Operational Semantics for S-Net.

[BibT_eX]

[DOI]

Frank Penczek

Proceedings of the Parallel Computing: From Multicores and GPU's to Petascale, 2009

Numerical Simulations of Unsteady Shock Wave Interactions Using SaC and Fortran-90.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing Technologies, 10th International Conference, 2009

Building Classifiers to Identify Split Files.

[BibT_eX]

Proceedings of the Machine Learning and Data Mining in Pattern Recognition, 2009

Symbiotic Expressions.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 2009

2008

A Gentle Introduction to S-Net: Typed Stream Processing and Declarative Coordination of Asynchronous Components.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2008

A Hybrid Shared Memory Execution Model for a Data Parallel Language with I/O.

[BibT_eX]

[DOI]

Steffen Kuthe

Parallel Process. Lett., 2008

Using n-grams to rapidly characterise the evolution of software code.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008

2007

SAC: off-the-shelf support for data-parallelism on multicores.

[BibT_eX]

[DOI]

Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, 2007

Coordinating Data Parallel SAC Programs with S-Net.

[BibT_eX]

[DOI]

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

From Contracts Towards Dependent Types: Proofs by Partial Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 2007

2006

Merging compositions of array skeletons in SaC.

[BibT_eX]

[DOI]

Parallel Comput., 2006

SAC - A Functional Array Language for Efficient Multi-threaded Execution.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 2006

On Optimising Shape-Generic Array Programs Using Symbolic Structural Information.

[BibT_eX]

[DOI]

Kai Trojahner

Proceedings of the Implementation and Application of Functional Languages, 2006

Index Vector Elimination - Making Index Vectors Affordable.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 2006

Streaming Networks for Coordinating Data-Parallel Programs.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2006

2005

Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 2005

A Binding Scope Analysis for Generic Programs on Arrays.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 2005

With-Loop Fusion for Data Locality and Parallelism.

[BibT_eX]

[DOI]

Karsten Hinckfuß

Proceedings of the Implementation and Application of Functional Languages, 2005

Functional Array Programming in SaC.

[BibT_eX]

[DOI]

Proceedings of the Central European Functional Programming School, First Summer School, 2005

2004

General Homomorphic Overloading.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 2004

2003

Sac - From High-Level Programming with Arrays to Efficient Parallel Execution.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2003

Single Assignment C: efficient support for high-level array operations in a functional setting.

[BibT_eX]

[DOI]

J. Funct. Program., 2003

Towards an Efficient Functional Implementation of the NAS Benchmark FT.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing Technologies, 2003

With-Loop Scalarization - Merging Nested Array Operations.

[BibT_eX]

[DOI]

Kai Trojahner

Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003

2002

Axis Control in SAC.

[BibT_eX]

[DOI]

Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

2000

HPF vs. SAC - A Case Study (Research Note).

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999

On Code Generation for Multi-generator WITH-Loops in SAC.

[BibT_eX]

[DOI]

Dietmar Kreye

Proceedings of the Implementation of Functional Languages, 11th International Workshop, 1999

Accelerating APL programs with SAC.

[BibT_eX]

[DOI]

Proceedings of the International Conference on all Array Programming Languages, 1999

1998

A Case Study: Effects of WITH-Loop-Folding on the NAS Benchmark MG in SAC.

[BibT_eX]

[DOI]

Proceedings of the Implementation of Functional Languages, 10th International Workshop, 1998

On defining application-specific high-level array operations by means of shape-invariant programming facilities.

[BibT_eX]

[DOI]

Proceedings of APL98 Conference on Array Processing Languages, 1998

1997

Single assignment C: Entwurf und Implementierung einer funktionalen C-Variante mit spezieller Unterstützung shape-invarianter Array-Operationen.

[BibT_eX]

[DOI]

PhD thesis, 1997

WITH-Loop-Folding in SAC - Condensing Consecutive Array Operations.

[BibT_eX]

[DOI]

Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

1996

On Programming Scientific Applications in SAC - A Functional Language Extended by a Subsystem for High-Level Array Operations.

[BibT_eX]

[DOI]

Proceedings of the Implementation of Functional Languages, 8th International Workshop, 1996

1995

Using pi-RED as a Teaching Tool for Functional Programming and Program Execution.

[BibT_eX]

[DOI]

Werner E. Kluge

Carsten Rathsack