Clemens Grelck

Baltasar Trancón y Widemann

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

Mini-Symposium on Coordination Programming - Preface.

[BibT_eX]

[DOI]

Alex Shafarenko

Proceedings of the Parallel Computing: On the Road to Exascale, 2015

Active Resource Management for Multi-Core Runtime Systems Serving Malleable Applications.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing: On the Road to Exascale, 2015

Single Assignment C (SAC) - The Compilation Technology Perspective.

[BibT_eX]

[DOI]

Proceedings of the Central European Functional Programming School - 6th Summer School, 2015

2014

An Efficient Scalable Runtime System for Macro Data Flow Processing Using S-Net.

[BibT_eX]

[DOI]

Bert Gijsbers

Int. J. Parallel Program., 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

Towards Hybrid Array Types in SAC.

[BibT_eX]

[DOI]

Fangyong Tang

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014, 2014

A Case Study in Coordination Programming: Performance Evaluation of S-Net vs Intel's Concurrent Collections.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014

2013

Communication-Centric Solution for Cholesky Decomposition: Industrial Case Study for Coordination Programming

[BibT_eX]

[DOI]

CoRR, 2013

S+Net: extending functional coordination with extra-functional semantics.

[BibT_eX]

[DOI]

CoRR, 2013

Towards Truly Boolean Arrays in Data-Parallel Array Processing.

[BibT_eX]

[DOI]

Hraban Luyat

Proceedings of the Parallel Computing: Accelerating Computational Science and Engineering (CSE), 2013

Next Generation Asynchronous Adaptive Specialization for Data-Parallel Functional Array Processing in SAC: Accelerating the Availability of Specialized High Performance Code.

[BibT_eX]

[DOI]

Baltasar Trancón y Widemann

Heinrich Wiesinger

Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, 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

The Functional Programming Language R and the Paradigm of Dynamic Scientific Programming - (Position Paper).

[BibT_eX]

[DOI]

Carl Friedrich Bolz

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

Towards Heterogeneous Computing without Heterogeneous Programming.

[BibT_eX]

[DOI]

Miguel Diogo

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

An infrastructure for multi-level optimisation through property annotation and aggregation.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, 2012

Distributed S-Net: Cluster and Grid Computing without the Hassle.

[BibT_eX]

[DOI]

Jukka Julku

Proceedings of the 12th IEEE/ACM International Symposium on Cluster, 2012

Lazy reference counting for the microgrid.

[BibT_eX]

[DOI]

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

2011

GPU-Based Image Processing Use Cases: A High-Level Approach.

[BibT_eX]

[DOI]

Proceedings of the Applications, Tools and Techniques on the Road to Exascale Computing, Proceedings of the conference ParCo 2011, 31 August, 2011

Engineering Concurrent Software Guided by Statistical Performance Analysis.

[BibT_eX]

[DOI]

Kevin Hammond

Heinz Hertlein

Philip K. F. Hölzenspies

Chris R. Jesshope

Raimund Kirner

Bernd Scheuermann

Iraneus te Boekhorst

Volkmar Wieser

Proceedings of the Applications, Tools and Techniques on the Road to Exascale Computing, Proceedings of the conference ParCo 2011, 31 August, 2011

SAC on a Niagara T3-4 Server: Lessons and Experiences.

[BibT_eX]

[DOI]

Roeland Douma

Proceedings of the Applications, Tools and Techniques on the Road to Exascale Computing, Proceedings of the conference ParCo 2011, 31 August, 2011

Mapping Distributed S-Net on the 48-core Intel SCC processor.

[BibT_eX]

[DOI]

Proceedings of the 3rd Many-core Applications Research Community (MARC) Symposium. Proceedings of the 3rd MARC Symposium, 2011

Efficient Memory Copy Operations on the 48-core Intel SCC Processor.

[BibT_eX]

[DOI]

Proceedings of the 3rd Many-core Applications Research Community (MARC) Symposium. Proceedings of the 3rd MARC Symposium, 2011

The Essence of Synchronisation in Asynchronous Data Flow.

[BibT_eX]

[DOI]

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

Single Assignment C (SAC) High Productivity Meets High Performance.

[BibT_eX]

[DOI]

Proceedings of the Central European Functional Programming School - 4th Summer School, 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

On the Compilation of a Language for General Concurrent Target Architectures.

[BibT_eX]

[DOI]

Thomas A. M. Bernard

Chris R. Jesshope

Parallel Process. Lett., 2010

Asynchronous Stream Processing with S-Net.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 2010

S-Net for multi-memory multicores.

[BibT_eX]

[DOI]

Jukka Julku

Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, 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]

Stephan Herhut

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

Resource-Agnostic Programming for Many-Core Microgrids.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2010 Parallel Processing Workshops, 2010

Cluster Computing as an Assembly Process: Coordination with S-Net.

[BibT_eX]

[DOI]

Jukka Julku

Proceedings of the 10th IEEE/ACM International Conference on Cluster, 2010

2009

Dependently typed array programs don't go wrong.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2009

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

[BibT_eX]

[DOI]

Stephan Herhut

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

An Operational Semantics for S-Net.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing: From Multicores and GPU's to Petascale, 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

Descriptor-Free Representation of Arrays with Dependent Types.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 2008

Implementation Architecture and Multithreaded Runtime System of S-Net.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 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

CAOS: A Domain-Specific Language for the Parallel Simulation of Cellular Automata.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing Technologies, 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]

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

Shared memory multiprocessor support for functional array processing in SAC.

[BibT_eX]

[DOI]

J. Funct. Program., 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

2003

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

[BibT_eX]

[DOI]

Parallel Process. Lett., 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]

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

A Multithreaded Compiler Backend for High-level Array Programming.

[BibT_eX]

Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), 2003

2002

Implementing the NAS Benchmark MG in SAC.

[BibT_eX]

[DOI]

Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Axis Control in SAC.

[BibT_eX]

[DOI]

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

2001

Implicit shared memory multiprocessor support for the functional programming language SAC - single assignment C.

[BibT_eX]

[DOI]

PhD thesis, 2001

Optimizations on Array Skeletons in a Shared Memory Environment.

[BibT_eX]

[DOI]

Proceedings of the Implementation of Functional Languages, 13th International Workshop, 2001

2000

Array Padding in the Functional Language SAC.

[BibT_eX]

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

Improving Cache Effectiveness through Array Data Layout Manipulation in SAC.

[BibT_eX]

[DOI]

Proceedings of the Implementation of Functional Languages, 12th International Workshop, 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

Shared Memory Multiprocessor Support for SAC.

[BibT_eX]

[DOI]