Publications

Copyright Notice: The documents below are provided as a means of timely dissemination of information and are intended for personal, non-commercial use only. All other uses of the materials, such as reposting or reprinting, require the explicit permission of the copyright holder. Copyrights are held by the authors or by the publishers.

Disclaimer: Some of the links to full text pdf documents below are broken. I'm working on this. If you are interested in a paper concerned, just drop me an email.

R. van Veen, M. Beemster, C. Grelck:
Correctness Testing of Loop Optimizations in C and C++ Compilers

In: (eds.):
11th Seminar on Advanced Techniques and Tools for Software Evolution (SATToSE 2018)
Athens, Greece

[ pdf ]

C. Grelck, N. Sarris:
Towards Compiling SAC for the Xeon Phi Knights Corner and Knights Landing Architectures

In: N. Wu (ed.):
Implementation and Application of Functional Languages (IFL'17)
29th International Symposium, Bristol, United Kingdom
Revised Selected Papers

ACM, 2018
[ pdf ]

C. Grelck, H. Wiesinger:
Persistent Asynchronous Adaptive Specialisation for Generic Array Programming

International Journal of Parallel Programming 47(2), pp.~164--183, 2018

[ pdf ]

M.N. Akhtar, J.M. Saleh, C. Grelck:
Parallel Processing of Image Segmentation Data Using Hadoop

International Journal of Integrated Engineering 10(1), pp.~74--84

[ pdf ]

C. Grelck:
Single Assignment C (SAC): The Compilation Technology Perspective

In: V. Zsok, Z. Horvath, R. Plasmeijer (eds.):
6th Central European Functional Programming School (CEFP'15)
Budapest, Hungary

Lecture Notes in Computer Science 10094
Springer-Verlag, 2019

[ pdf ]

C. Grelck, H. Wiesinger:
Persistent Asynchronous Adaptive Specialisation for Generic Array Programming

In: J.D. Garcia, D.R. Llanos (eds.):
10th International Symposium on High-level Parallel Programming and Applications (HLPP'17)
Valladolid, Spain, 2017

[ pdf ]

A. Zborowski, C. Grelck:
Oxidize: Open Framework for Idiomatic Rule Preservation in Rust

In: International Conference on Computing Systems (CompSys'17)
Vught, Netherlands, 2017

[ pdf ]

P. Zaichenkov, B. Gijsbers, C. Grelck, O. Tveretina, A. Shafarenko:
The Cost and Benefits of Coordination Programming: Two Case Studies in Concurrent Collections and S-Net

Parallel Processing Letters 26(3)
World Scientific Publishing, Singapore, 2016
[ pdf ]

C. Grelck, T. Macht:
Fully Automatic Cluster Support for SAC Using a Custom Software DSM Solution

In: D.R. Llanos and A. Gonzalez-Escribano (eds.):
19th International Workshop on Compilers for Parallel Computing (CPC'16)
Valladolid, Spain, 2016

[ pdf ]

C. Grelck:
Guest Editorial for High-Level Parallel Programming and Applications, selected papers from the 7th International Symposium on High-level Parallel Programming and Applications (HLPP 2014), Amsterdam, Netherlands

International Journal of Parallel Programming 44(3), pp.~383--385
Springer-Verlag, 2016
[ pdf ]

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

In: Parallel Computing: On the Road to Exascale
Advances in Parallel Computing vol 27, pp.~275--284

IOS Press, Amsterdam, 2016
[ pdf ]

C. Grelck:
Moldable Applications on Multi-Core Servers: Active Resource Management instead of Passive Resource Administration

In: J. Knoop (ed.):
18th Workshop on Programming Languages and Foundations of Programming (KPS'15)
Pörtschach am Wörthersee, Austria, 2015

[ pdf ]

T. Macht, C. Grelck:
SAC Goes Cluster: From Functional Array Programming to Distributed Memory Array Processing

In: J. Knoop (ed.):
18th Workshop on Programming Languages and Foundations of Programming (KPS'15)
Pörtschach am Wörthersee, Austria, 2015

[ pdf ]

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

In: 17th International Conference on Parallel Computing (ParCo'15)
Edinburgh, United Kingdom, 2015

[ pdf ]

C. Grelck, B. Gijsbers:
Active Resource Management for Declarative Data-Flow Processing

In: J.Hage (ed.):
15th International Symposium on Trends in Functional Programming (TFP'14)
Soesterberg, Netherlands, 2014

[ pdf ]

C. Grelck, H. Luyat:
Towards Truly Boolean Arrays in Data Parallel Array Processing

In: M. Bader, A. Bode, H.J. Bungartz, M. Gerndt, G. Joubert, F. Peters (eds.)
Parallel Computing: Accelerating Computational Science and Engineering
Advances in Parallel Computing vol 25, pp. 82-91

IOS Press, Amsterdam, 2014
[ pdf ]

C. Grelck, H. Wiesinger:
Next Generation Asynchronous Adaptive Specialization for Data-Parallel Functional Array Processing in SAC

In: R. Plasmeijer, P. Achten, P. Koopman (eds.):
Implementation and Application of Functional Languages (IFL'13)
25th International Symposium, Nijmegen, Netherlands
Revised Selected Papers

ACM, 2014
[ pdf ]

A. Sinkarovs, S.B. Scholz, R. Bernecky, R. Douma, C. Grelck:
SAC/C Formulations of the All-Pairs N-Body Problem and their Performance on SMPs and GPGPUs

Concurrency and Computation: Practice and Experience 26(4), pp. 952-971
John Wiley, 2014
[ pdf ]

P. Zaichenkov, B. Gijsbers, C. Grelck, O. Tveretina, A. Shafarenko:
A Case Study in Coordination Programming: S-Net vs Concurrent Collections

In:
28th IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW'14)
Workshop on Programming Models, Languages and Compilers for Manycore and Heterogeneous Architectures (PLC'14)
Phoenix, USA

IEEE Computer Society, 2014
[ pdf ]

C. Grelck, F. Tang:
Towards Hybrid Array Types in SAC

In: V. Stolz, B. Trancon y Widemann (eds.):
7th GI Workshop on Programming Languages (ATPS'14)
(7. GI Arbeitstagung Programmiersprachen (ATPS'14)
Software Engineering Conference Workshops (SE-WS'14)}
Kiel, Germany

CEUR Workshop Proceedings, vol. 1129, 2014
[ pdf ]

C. Grelck, H. Wiesinger:
Advances in Dynamic Compilation for Functional Data Parallel Array Processing

In: H.P. Charles, D. Nuzman, B. Franke, A. Krall (eds.):
3rd HiPEAC Workshop on Dynamic Compilation Everywhere (DCE'14)
Vienna, Austria, 2014

[ pdf ]

C. Grelck, B. Gijsbers:
An Efficient Scalable Runtime System for S-Net Dataflow Component Coordination

In: W. Zimmermann (ed.):
17. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'13)
(17th Workshop on Programming Languages and Foundations of Programming)
Wittenberg, Germany

University Halle-Wittenberg, 2013
[ pdf ]

B. Gijsbers, C. Grelck:
An Efficient Scalable Work-Stealing Runtime for Macro Data Flow Processing Using S-Net

International Journal of Parallel Programming, 42(6), pp.~988--1011

Springer-Verlag, 2013
[ pdf ]

C. Grelck, H. Luyat:
Towards Truly Boolean Arrays in Data Parallel Array Processing

In: M. Bader, R. Badia, A. Bode, H.J. Bungartz, M. Gerndt, G. Joubert, F. Peters (eds.):
19th International Conference on Parallel Computing (ParCo'13)
München, Germany

Technische Universität München, 2013
[ pdf ]

C. Grelck, H. Wiesinger:
Towards Persistent and Parallel Asynchronous Adaptive Specialisation for Data-Parallel Array Processing in SAC

In: R. Plasmeijer, P. Achten, P. Koopman (eds.):
25th International Symposium on Implementation and Application of Functional Languages (IFL'13)
Nijmegen, Netherlands, 2013

Radboud University Nijmegen, Netherlands, 2013
[ pdf ]

F. Tang, C. Grelck:
Towards User-Defined Shape Constraints in SAC

In: R. Plasmeijer, P. Achten, P. Koopman (eds.):
25th International Symposium on Implementation and Application of Functional Languages (IFL'13)
Nijmegen, Netherlands, 2013

Radboud University Nijmegen, Netherlands, 2013
[ pdf ]

C. Grelck, H. Wiesinger:
Persistent Asynchronous Adaptive Specialisation for Data-Parallel Array Processing in SAC

In: A. Darte (ed.):
17th International Workshop on Compilers for Parallel Computing (CPC'13)
Lyon, France

Ecole Normale Superiéure de Lyon, France, 2013
[ pdf ]

B. Gijsbers, C. Grelck:
An Efficient Scalable Work-Stealing Runtime for S-Net

In: G. Hains, Y. Khmelevsky (eds.):
6th International Symposium on High-level Parallel Programming and Applications (HLPP'13)
Paris, France

Université Paris-Est, France, 2013
[ pdf ]

M. Diogo, C. Grelck:
Towards Heterogeneous Computing without Heterogeneous Programming

In: H.W. Loidl, R. Pena (eds.):
Trends in Functional Programming
13th International Symposium, TFP 2012, St.Andrews, UK

Lecture Notes in Computer Science 7829, pp. 279--294
Springer-Verlag, 2013

[ pdf ]

B. Trancon y Widemann, C.F. Bolz, C. Grelck:
The Functional Programming Language R and the Paradigm of Dynamic Scientific Programming

In: H.W. Loidl, R. Pena (eds.):
Trends in Functional Programming
13th International Symposium, TFP 2012, St.Andrews, UK, Revised Selected Papers

Lecture Notes in Computer Science 7829, pp. 182--197
Springer-Verlag, 2013

[ pdf ]

F. Penczek, W. Cheng, C. Grelck, R. Kirner, B. Scheuermann, A. Shafarenko:
A Data-Flow Based Coordination Approach to Concurrent Software Engineering

In: S. Evripidou, I. Watson, G. Gao, J.L. Gaudiot, V. Sarkar (eds.):
2nd Workshop on Data-Flow Execution Models for Extreme Scale Computing (DFM'12)
21st International Conference on Parallel Architectures and Compilation Techniques (PACT'12)

IEEE Computer Society, 2013

[ pdf ]

K. MacKenzie, P.K.F. Hölzenspies, K. Hammond, R. Kirner, V.T.N. Nguyen, R. te Boekhorst, C. Grelck, R. Poss, M. Verstraaten:
Statistical Performance Analysis of an Ant-Colony Optimisation Application in S-Net

In: C. Grelck, K. Hammond, S.B. Scholz (eds.):
2nd HiPEAC Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures (FD-COMA'13)
Berlin, Germany

HiPEAC, 2013

[ pdf ]

M. Verstraaten, S. Kok, R. Poss, C. Grelck:
Task Migration for S-Net/LPEL

In: C. Grelck, K. Hammond, S.B. Scholz (eds.):
2nd HiPEAC Workshop on Feedback-Directed Compiler Optimization for Multi-Core Architectures (FD-COMA'13)
Berlin, Germany

HiPEAC, 2013

[ pdf ]

F. Penczek, R. Kirner, R. Poss, C. Grelck, A. Shafarenko:
An Infrastructure for Multi-Level Optimisation through Property Annotation and Aggregation

In: E. Bagheri, M. Boskovic, D. Gasevic, G. Mussbacher (eds.):
4th International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML'12)
15th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS'12)
Innsbruck, Austria

ACM, 2012

[ pdf ]

F. Tang, C. Grelck:
User-Defined Shape Constraints in SAC

In: R. Hinze (ed.):
24th International Symposium on Implementation and Application of Functional Languages (IFL'12)
Oxford, United Kindom

Technical Report RR-12-06, pp. 414--432
University of Oxford, 2012

[ pdf ]

V. Wieser, C. Grelck, P. Haslinger, J. Guo, F. Korzeniowski, R. Bernecky, B. Moser, S.B. Scholz:
Combining High Productivity and High Performance in Image Processing Using Single Assignment C on Multi-core CPUs and Many-core GPUs

Journal of Electronic Imaging, 21(2)
Society of Photo-Optical Instrumentation Engineers (SPIE), 2012

[ pdf ]

M. Diogo, C. Grelck:
Supporting Heterogenous Computing Environments in SAC

In: K. Hammond, H.W. Loidl (eds.):
13th International Symposium on Trends in Functional Programming (TFP'12)
St.Andrews, United Kingdom

University of St.Andrews, 2012

[ pdf ]

B. Trancon y Widemann, C.F. Bolz, C. Grelck:
The Functional Programming Language R and the Paradigm of Dynamic Scientific Programming

In: K. Hammond, H.W. Loidl (eds.):
13th International Symposium on Trends in Functional Programming (TFP'12)
St.Andrews, United Kingdom

University of St.Andrews, 2012

[ pdf ]

V. Wieser, C. Grelck, H. Schöner, P. Haslinger, K. Bosa, B. Moser:
GPU-Based Image Processing Use Cases: A High-Level Approach

In: K. de Bosschere, E.H. D'Hollander, G.R. Joubert, D. Padua, F. Peters (eds.):
Applications, Tools and Techniques on the Road to Exascale Computing

Advances in Parallel Computing vol 22, pp. 199-206
IOS Press, Amsterdam, 2012

[ pdf ]

C. Grelck, R. Douma:
SAC on a Niagara T3-4 Server: Lessons and Experiences

In: K. de Bosschere, E.H. D'Hollander, G.R. Joubert, D. Padua, F. Peters (eds.):
Applications, Tools and Techniques on the Road to Exascale Computing

Advances in Parallel Computing vol 22, pp. 289-296
IOS Press, Amsterdam, 2012

[ pdf ]

C. Grelck, K. Hammond, H. Hertlein, C. Jesshope, R. Kirner, B. Scheuermann, H. Schöner, A. Shafarenko, I. te Boekhorst, V. Wieser:
Concurrent Software Engineering on Multicore Systems Supported by Statistical Performance Analysis

In: K. de Bosschere, E.H. D'Hollander, G.R. Joubert, D. Padua, F. Peters (eds.):
Applications, Tools and Techniques on the Road to Exascale Computing

Advances in Parallel Computing vol 22, pp. 385-394
IOS Press, Amsterdam, 2012

[ pdf ]

C. Grelck, J. Julku, F. Penczek:
Distributed S-Net: Cluster and Grid Computing without the Hassle

In: 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid'12)
Ottawa, Canada, pp. 410-418

IEEE Computer Society, 2012

[ pdf ]

C. Grelck:
Single Assignment C (SAC): High Productivity meets High Performance

In: V. Zsok, Z. Horvath, R. Plasmeijer (eds.):
4th Central European Functional Programming School (CEFP'11)
Budapest, Hungary

Lecture Notes in Computer Science 7241, pp. 207-278
Springer-Verlag, 2012

[ pdf ]

C. Grelck, T. van Deurzen, S. Herhut, S.B. Scholz:
Asynchronous Adaptive Optimisation for Generic Data-Parallel Array Programming

In: Concurrency and Computation: Practice and Experience, 24(5), pp. 499--516

John Wiley, 2012

[ pdf ]

R. Poss, C. Grelck, S. Herhut, S.B. Scholz:
Lazy Reference Counting for the Microgrid

In: 16th Workshop on Interaction between Compilers and Computer Architectures (INTERACT-16)
New Orleans, USA, pp. 41--48

IEEE Computer Society, 2012

[ pdf ]

W. Cheng, F. Penczek, C. Grelck, R. Kirner, B. Scheuermann, A. Shafarenko:
Modeling Streams-based Variants of Ant Colony Optimisation for Parallel Systems

In: C. Grelck, K. Hammond, S.B. Scholz (eds.):
HiPEAC Workshop on Feedback-Directed Compiler Optimization for Multicore Architectures (FD-COMA'12):
Paris, France, pp. 11--18

HiPEAC, 2012

[ pdf ]

C. Grelck:
Asynchronous Adaptive Optimisation for Generic Data-Parallel Array Programming and Beyond

In: H. Kuchen, T.A. Majchrzak, M. Müller-Olm (eds.):
Programmiersprachen und Grundlagen der Programmierung
16. Kolloquium (KPS'11), Schloss Raesfeld, Deutschland

Technical Report 132, pp. 71--84
Institut für Wirtschaftsinformatik
Westfälische Wilhelms-Universität Münster, 2011

[ pdf ]

C. Grelck, R. Douma:
SAC on a Niagara T3-4 Server: Lessons and Experiences

In: 18th International Conference on Parallel Computing (ParCo'11)
Gent, Belgium

Gent University, 2011

[ pdf ]

C. Grelck, K. Hammond, H. Hertlein, C. Jesshope, R. Kirner, B. Scheuermann, H. Schöner, A. Shafarenko, I. te Boekhorst, V. Wieser:
Concurrent Software Engineering on Multicore Systems Supported by Statistical Performance Analysis

In: 18th International Conference on Parallel Computing (ParCo'11)
Gent, Belgium

Gent University, 2011

[ pdf ]

V. Wieser, C. Grelck, H. Schöner, P. Haslinger, K. Bosa, B. Moser:
GPU-Based Image Processing Use Cases: A High-Level Approach

In: 18th International Conference on Parallel Computing (ParCo'11)
Gent, Belgium

Gent University, 2011

[ pdf ]

C. Grelck, F. Penczek:
Design and Implementation of CAOS: An Implicitly Parallel Language for the High-Performance Simulation of Cellular Automata

In: A. Salcido (ed.)
Cellular Automata: Simplicity Behind Complexity, pp.~546--566

InTech, 2011.

[ pdf ] [ InTechOpen ]

M.W. van Tol, R. Bakker, M. Verstraaten, C. Grelck, C. Jesshope:
Efficient Memory Copy Operations on the 48-core Intel SCC Processor

In: D. Göhringer and M. Hübner and J. Becker (eds.):
3rd Intel Many-core Applications Research Community Symposium (MARC'11)
Ettlingen, Germany, pp. 13--18

KIT Scientific Publishing, Karlsruhe, Germany, 2011

[ pdf ]

Best Paper Award

M. Verstraaten, C. Grelck, M.W. van Tol, R. Bakker, C. Jesshope:
On Mapping Distributed S-Net to the 48-core Intel SCC Processor

In: D. Göhringer and M. Hübner and J. Becker (eds.):
3rd Intel Many-core Applications Research Community Symposium (MARC'11)
Ettlingen, Germany, pp. 41--46

KIT Scientific Publishing, Karlsruhe, Germany, 2011

[ pdf ]

C. Grelck:
The Essence of Synchronisation in Asynchronous Data Flow

In: 25th IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW'11)
16th Workshop on High-Level Programming Models and Supportive Environments (HIPS'11)
Anchorage, USA

IEEE Computer Society, 2011

[ pdf ]

S. Herhut, C. Joslin, S.B. Scholz, R. Poss, C. Grelck:
Concurrent Non-Deferred Reference Counting on the Microgrid: First Experiences

In: J. Hage, M. Morazan (eds.):
Implementation and Application of Functional Languages
22nd International Symposium (IFL'10)
Alphen a/d Rijn, Netherlands, Revised Selected Papers

Lecture Notes in Computer Science 6647, pp. 185-202

Springer-Verlag, Berlin, Heidelberg, Germany, 2011 [ pdf ]

C. Grelck, F. Penczek:
Implementation Architecture and Multithreaded Runtime System for S-Net

In: Sven-Bodo Scholz, Olaf Chitil (eds.):
Implementation and Application of Functional Languages
20th International Symposium (IFL'08)
Hatfield, United Kingdom, 2008, Revised Selected Papers

Lecture Notes in Computer Science 5836, pp. 60-79
Springer-Verlag, Berlin, Heidelberg, Germany, 2010
[ pdf ]

Kai Trojahner, Clemens Grelck:
Descriptor-Free Representation of Arrays with Dependent Types

In: Sven-Bodo Scholz, Olaf Chitil (eds.):
Implementation and Application of Functional Languages
20th International Symposium (IFL'08)
Hatfield, United Kingdom, 2008, Revised Selected Papers

Lecture Notes in Computer Science 5836, pp. 100-117
Springer-Verlag, Berlin, Heidelberg, Germany, 2010
[ pdf ]

Frank Penczek, Stephan Herhut, Sven-Bodo Scholz, Alex Shafarenko, Jung Sook Yang, Chun-Yi Chen, Nader Bagherzadeh, Clemens Grelck:
Message Driven Programming with S-Net: Methodology and Performance

In:
3rd International Workshop on Parallel Programming Models and Systems Software for High-End Computing (P2S2'10)
San Diego, USA, 2010

[ pdf ]

Clemens Grelck:
The Essence of Synchronisation in Asynchronous Data Flow Programming

In: Jurriaan Hage (ed.):
22nd International Symposium on Implementation and Application of Functional Languages (IFL'10)
Alphen aan den Rijn, Netherlands, 2010

Technical Report UU-CS-2010-020, pp. 159-172
Utrecht University, 2010
[ ISSN 0924-3275 ]
[ pdf ]

Thomas Bernard, Clemens Grelck, Michael Hicks, Chris Jesshope, Raphael Poss:
Resource-Agnostic Programming for Many-Core Microgrids

In:
4th Workshop on Highly Parallel Processing on a Chip (HPPC 2010)
Ischia, Italy, 2010

[ pdf ]

Clemens Grelck, Tim van Deurzen, Stephan Herhut, Sven-Bodo Scholz:
An Adaptive Compilation Framework for Generic Data-Parallel Array Programming

In: Andreas Krall, Gergö Barany (eds.):
15th Workshop on Compilers for Parallel Computing (CPC'10)
Vienna, Austria

Institute of Computer Languages, Vienna University of Technology, 2010
[ pdf ]

Clemens Grelck, Jukka Julku, Frank Penczek:
Distributed S-Net: High-Level Message Passing without the Hassle

In: Greg Bronevetsky, Chen Ding, Sven-Bodo Scholz, Michelle Strout (eds.):
Workshop on Advances in Message Passing (AMP'10)
Toronto, Canada

[ pdf ]

Thomas Bernard, Clemens Grelck, Chris Jesshope:
On the Compilation of a Language for General Concurrent Target Architectures

Parallel Processing Letters 20(1), pp. 51-69
World Scientific Publishing, Singapore, 2010
[ pdf ]

Clemens Grelck, Jukka Julku, Frank Penczek, Alex Shafarenko:
Cluster Computing as an Assembly Process

In:
10th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid'10)
Melbourne, Australia, pp. 587-588

IEEE Computer Society Press, Los Alamitos, USA, 2010
[ pdf ]

Frank Penczek, Stephan Herhut, Clemens Grelck, Sven-Bodo Scholz, Alex Shafarenko, Rémi Barrière, Eric Lenormand:
Parallel Signal Processing with S-Net

In: Peter Sloot (ed.):
10th International Conference on Computational Science (ICCS'10)
Amsterdam, Netherlands

Procedia Computer Science 1(1), pp. 2079-2088
Elsevier, Amsterdam, Netherlands, 2010
[ pdf ]

Clemens Grelck, Tim van Deurzen, Stephan Herhut, Sven-Bodo Scholz:
An Adaptive Compilation Framework for Generic Data-Parallel Array Programming

In: Michael Hanus, Fabian Reck (eds.):
27. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte
(27th GI-Workshop on Programming Languages and Computing Concepts)
Bad Honnef, Germany, 2010

Technical Report 1010, pp. 23-33
University of Kiel, Institute of Computer Science and Applied Mathematics, Kiel, Germany
[ pdf ]

Frank Penczek, Clemens Grelck, Sven-Bodo Scholz:
An Operational Semantics for S-Net

In: Barbara Chapman, Frédéric Desprez, Gerhard R. Joubert, Alain Lichnewsky, Frans Peters, Thierry Priol (eds.):
Parallel Computing: From Multicores and GPU's to Petascale
Advances in Parallel Computing 19, pp. 467--474

IOS Press, 2010
[ pdf ]

Clemens Grelck, Jukka Julku, Frank Penczek:
S-Net for Multi-Memory Multicores

In: Leaf Peterson, Enrico Pontelli (eds.):
5th ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming (DAMP'10)
Madrid, Spain, 2010, pp. 25--34

ACM, 2010
[ pdf ]

Clemens Grelck, Alex Shafarenko (eds.):
S-Net Language Report, Revision 2.0

Technical Report 499

School of Computer Science, University of Hertfordshire, Hatfield, United Kingdom, 2010
[ pdf ]

Clemens Grelck, Sven-Bodo Scholz, Alex Shafarenko:
Asynchronous Stream Processing with S-Net

International Journal of Parallel Programming 38(1), pp. 38-67

Springer-Verlag, Dordrecht, Netherlands, 2010
[ pdf ]

Clemens Grelck, Sven-Bodo Scholz, Alex Shafarenko:
Concurrency Engineering with S-Net

In: Jens Knoop, Adrian Prantl (eds.):
15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'09)
(15th Workshop on Programming Languages and Foundations of Programming)
Maria Taferl, Austria

Technical Report 2009-X-1, pp. 78--92
Institute of Computer Languages, Vienna University of Technology, 2009
[ pdf ]

Clemens Grelck, Jukka Julku, Frank Penczek:
Distributed S-Net: Design and Implementation

In: Marco Morazán (ed.):
21st International Symposium on Implementation and Application of Functional Languages (IFL'09)
South Orange, USA, 2009

Technical Report SHU-TR-CS-2009-09-1, pp. 39--54
Seton Hall University, South Orange, USA
[ pdf ]

Stephan Herhut, Carl Joslin, Sven-Bodo Scholz, Clemens Grelck:
Truly Nested Data Parallelism: Compiling SaC for the MicroGrid Architecture

In: Marco Morazán (ed.):
21st International Symposium on Implementation and Application of Functional Languages (IFL'09)
South Orange, USA, 2009

Technical Report SHU-TR-CS-2009-09-1, pp. 141--153
Seton Hall University, South Orange, USA
[ pdf ]

Kai Trojahner, Clemens Grelck:
Dependently Typed Array Programs Don't Go Wrong

Journal of Logic and Algebraic Programming 78(7), pp. 643-664
North-Holland, Amsterdam, Netherlands, 2009
[ pdf ]

Stephan Herhut, Sven-Bodo Scholz, Clemens Grelck:
Controlling Chaos: On Safe Side-Effects in Data-Parallel Operations

In: Leaf Peterson, Manuel Chakravarty (eds.):
4th ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming (DAMP'09)
Savannah, USA, 2009, pp. 59-67

ACM, 2009
[ pdf ]

Clemens Grelck, Stephan Herhut, Chris Jesshope, Carl Joslin, Mike Lankamp, Sven-Bodo Scholz, Alex Shafarenko:
Compiling the Functional Data-Parallel Language SAC for Microgrids of Self-Adaptive Virtual Processors

In: Calin Cascaval, José E. Moreira (eds.):
14th Workshop on Compilers for Parallel Computing (CPC'09)
Zürich, Switzerland

IBM Research Center Zürich, 2009
[ pdf ]

Kai Trojahner, Clemens Grelck:
Descriptor-Free Representation of Arrays with Dependent Types

In: Sven Bodo Scholz (ed.):
20th International Symposium on Implementation and Application of Functional Languages (IFL'08)
Hatfield, United Kingdom, 2008

[ pdf ]

Frank Penczek, Sven-Bodo Scholz, Clemens Grelck:
Towards Reconfiguration and Self-Adaptivity in S-Net

In: Sven Bodo Scholz (ed.):
20th International Symposium on Implementation and Application of Functional Languages (IFL'08)
Hatfield, United Kingdom

[ pdf ]

Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky, Clemens Grelck, Kai Trojahner:
From Contracts towards Dependent Types: Proofs by Partial Evaluation

In: Olaf Chitil (ed.):
Implementation and Application of Functional Languages, 19th International Symposium (IFL'07)
Freiburg, Germany, September 27-29, 2007, Revised Selected Papers

Lecture Notes in Computer Science, 5083, pp. 254-273
Springer-Verlag, Berlin, Heidelberg, Germany, 2008
[ pdf ]

Clemens Grelck, Sven-Bodo Scholz, Alex Shafarenko:
A Gentle Introduction to S-Net: Typed Stream Processing and Declarative Coordination of Asynchronous Components

Parallel Processing Letters 18(2), pp. 221-237
World Scientific Publishing, Singapore, 2008
[ pdf ]

Clemens Grelck, Steffen Kuthe, Sven-Bodo Scholz:
A Hybrid Shared Memory Execution Model for a Data Parallel Language with I/O

Parallel Processing Letters 18(1), pp. 23-37
World Scientific Publishing, Singapore, 2008
[ pdf ]

Clemens Grelck, Sven-Bodo Scholz:
Efficient Heap Management for Declarative Data Parallel Programming on Multicores

In: Manuel Hermenegildo, Leaf Petersen, Neal Glew (eds.):
3rd Workshop on Declarative Aspects of Multicore Programming (DAMP'08)
San Francisco, USA, January 9, 2008, pp. 17-31
[ pdf ]

Stephan Herhut, Sven-Bodo Scholz, Clemens Grelck:
Generic Programming on the Nesting Structure of Arrays

In: Lynne C. Shaw (ed.):
ACM SIGAPL Conference on Array Programming Languages (APL'07)
Montréal, Québèc, Canada, October 21-23, 2007
[ pdf ]

Haoxan Cai, Susan Eisenbach, Alex Shafarenko, Clemens Grelck:
Extending the S-Net Type System

In: Æther-Morpheus Workshop From Reconfigurable to Self-Adaptive Computing (AMWAS'07)
Paris, France, October 8-9, 2007
[ pdf ]

Walter Dosch, Clemens Grelck, Annette Stümpel (eds.):
14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'07)
(14th Workshop on Programming Languages and Foundations of Programming)
Timmendorfer Strand, Germany, October 10-12, 2007

Technical Report A-07-07, 231 pages
University of Lübeck, Institutes of Informatics and Mathematics, Lübeck, Germany, 2007

Kai Trojahner, Clemens Grelck:
Dependently Typed Array Programs Don't Go Wrong

In: Einar Broch Johnsen, Olaf Owe, Gerardo Schneider (eds.):
19th Nordic Workshop on Programming Theory (NWPT'07)
Oslo, Norway, 2007

Research Report 366, pp. 64-66
University of Oslo, Institute of Informatics
Oslo, Norway, 2007
[ pdf ]

Clemens Grelck, Frank Penczek:
On Implementing S-Net

In: Olaf Chitil (ed.):
19th International Symposium on Implementation and Application of Functional Languages (IFL'07)
Freiburg, Germany, September 27-29, 2007

Technical Report 12-07, pp. 531-533
University of Kent, Computing Laboratory, Canterbury, United Kingdom, 2007

Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky, Clemens Grelck, Kai Trojahner:
From Contracts towards Dependent Types: Proofs by Partial Evaluation

In: Olaf Chitil (ed.):
19th International Symposium on Implementation and Application of Functional Languages (IFL'07)
Freiburg, Germany, September 27-29, 2007

Technical Report 12-07, pp. 534-550
University of Kent, Computing Laboratory, Canterbury, United Kingdom, 2007
[ superseded by pdf ]

Clemens Grelck, Frank Penczek, Kai Trojahner:
CAOS: A Domain-Specific Language for the Parallel Simulation of Cellular Automata

In: Viktor Malyshkin (ed.):
Parallel Computing Technologies, 9th International Conference (PaCT'07)
Pereslavl-Zalessky, Russia, September 3-7, 2007

Lecture Notes in Computer Science 4671, pp. 410-417
Springer-Verlag, Berlin, Heidelberg, Germany, 2007
[ ISBN 978-3-540-73939-5 ]
[ pdf ]

Clemens Grelck, Sven-Bodo Scholz, Alex Shafarenko:
S-Net: A Declarative Approach towards Streaming Networks of Asynchronous Components

In: Helmut Weberpals, Rolf Hoffmann (ed.):
21. Workshop der GI/ITG-Fachgruppe Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS'07)
(21st GI/ITG Workshop on Parallel Algorithms, Computer Architecture and System Software)
Hamburg, Germany, May 31 - June 1, 2007
Mitteilungen der Gesellschaft für Informatik, Parallel-Algorithmen und Rechenstrukturen, Nr. 24, pp. 145--155
Gesellschaft für Informatik, Bonn, Germany, 2007
[ ISSN 0177-0454 ]
[ pdf ]

Clemens Grelck, Sven-Bodo Scholz:
SAC: Off-the-Shelf Support for Data-Parallelism on Multicores

In: Neal Glew, Guy Blelloch (eds.):
Annual Symposium on Principles of Programming Languages
2nd Workshop on Declarative Aspects of Multicore Programming (DAMP'07)
Nice, France, January 16, 2007, pp. 25-33

ACM Press, New York, USA, 2007
[ ISBN 978-1-59593-690-5 ]
[ pdf ]

Robert Bernecky, Stephan Herhut, Sven-Bodo Scholz, Kai Trojahner, Clemens Grelck, Alex Shafarenko:
Index Vector Elimination: Making Index Vectors Affordable

In: Zoltán Horváth, Viktória Zsók (eds.):
Implementation and Application of Functional Languages, 18th International Symposium (IFL'06)
Budapest, Hungary, September 4-6, 2006, Revised Selected Papers

Lecture Notes in Computer Science 4449, pp. 19-36
Springer-Verlag, Berlin, Heidelberg, Germany, 2007
[ ISBN 978-3-540-74129-9 ]
[ pdf ]

Kai Trojahner, Clemens Grelck, Sven-Bodo Scholz:
On Optimising Shape-Generic Array Programs using Symbolic Structural Information

In: Zoltán Horváth, Viktória Zsók (eds.):
Implementation and Application of Functional Languages, 18th International Symposium (IFL'06)
Budapest, Hungary, September 4-6, 2006, Revised Selected Papers

Lecture Notes in Computer Science 4449, pp. 1-18
Springer-Verlag, Berlin, Heidelberg, Germany, 2007
[ ISBN 978-3-540-74129-9 ]
[ pdf ]

Clemens Grelck, Sven-Bodo Scholz, Alex Shafarenko:
Coordinating Data Parallel SAC Programs with S-Net

In: 21st IEEE International Parallel and Distributed Processing Symposium (IPDPS'07)
Long Beach, USA, March 26-30, 2007, CD-ROM

IEEE Computer Society Press, Los Alamitos, USA, 2007
[ ISBN 1-4244-0909-8 ]
[ pdf ]

Clemens Grelck, Sven-Bodo Scholz, Alex Shafarenko:
Streaming Networks for Coordinating Data-Parallel Programs

In: Irina Virbitskaite, Andrei Voronkov (eds.):
Perspectives of System Informatics, 6th International Andrei Ershov Memorial Conference (PSI'06)
Novosibirsk, Russia, June 27-30, 2006

Lecture Notes in Computer Science 4378, pp. 441-445
Springer-Verlag, Berlin, Heidelberg, Germany, 2007
[ ISBN 978-3-540-70880-3 ]
[ pdf ]

Clemens Grelck, Frank Penczek:
Implementing S-Net: A Typed Stream Processing Language
Part I: Compilation, Code Generation and Deployment

Technical Report, Version 0.4
University of Hertfordshire, Department of Computer Science, Compiler Technology and Computer Architecture Group, Hatfield, United Kingdom, 2007
[ pdf ]

Clemens Grelck, Alex Shafarenko, Sven-Bodo Scholz:
Asynchronous Stream Processing with S-Net

In: Sven-Bodo Scholz (ed.):
2nd Micro-Grid Workshop on Scalable On-Chip Parallelism
Hitchin, United Kingdom, December 4-5, 2006, p. 18

University of Hertfordshire, Department of Computer Science, Compiler Technology and Computer Architecture Group, Hatfield, United Kingdom, 2006

Kai Trojahner, Clemens Grelck, Sven-Bodo Scholz:
On Optimising Shape-Generic Array Programs using Symbolic Structural Information

In: Zoltán Horváth, Viktória Zsók (eds.):
18th International Symposium on Implementation and Application of Functional Languages (IFL'06)
Budapest, Hungary, September 4-6, 2006

Technical Report 2006-S01, pp. 13-27
Eötvös Loránd University, Faculty of Informatics, Budapest, Hungary, 2006
[ superseded by pdf ]

Robert Bernecky, Stephan Herhut, Sven-Bodo Scholz, Kai Trojahner, Clemens Grelck, Alex Shafarenko:
Index Vector Elimination: Making Index Vectors Affordable

In: Zoltán Horváth, Viktória Zsók (eds.):
18th International Symposium on Implementation and Application of Functional Languages (IFL'06)
Budapest, Hungary, September 4-6, 2006

Technical Report 2006-S01, pp. 28-43
Eötvös Loránd University, Faculty of Informatics, Budapest, Hungary, 2006
[ superseded by pdf ]

Clemens Grelck, Sven-Bodo Scholz, Alex Shafarenko:
S-Net: A Typed Stream Processing Language

In: Zoltán Horváth, Viktória Zsók (eds.):
18th International Symposium on Implementation and Application of Functional Languages (IFL'06).
Budapest, Hungary, September 4-6, 2006

Eötvös Loránd University, Faculty of Informatics
Technical Report 2006-S01, pp. 81-97
Budapest, Hungary, 2006
[ pdf ]

Alex Shafarenko, Clemens Grelck, Sven-Bodo Scholz:
Semantics and Type Theory of S-Net

In: Zoltán Horváth, Viktória Zsók (eds.):
18th International Symposium on Implementation and Application of Functional Languages (IFL'06).
Budapest, Hungary, September 4-6, 2006

Technical Report 2006-S01, pp. 146-166
Eötvös Loránd University, Faculty of Informatics, Budapest, Hungary, 2006
[ pdf ]

Clemens Grelck, Alex Shafarenko:
Report on S-Net: A Typed Stream Processing Language
Part I: Foundations, Record Types and Networks

Technical Report
University of Hertfordshire, Department of Computer Science, Compiler Technology and Computer Architecture Group, Hatfield, United Kingdom, 2006

Clemens Grelck, Sven-Bodo Scholz:
Merging Compositions of Array Skeletons in SAC

Journal of Parallel Computing 32(7+8), pp. 507-522

Elsevier Publishing, Amsterdam, Netherlands, 2006
[ ISSN 0167-8191 ]
[ pdf ]

Clemens Grelck, Sven-Bodo Scholz, Alex Shafarenko:
Streaming Networks for Coordinating Data-Parallel Programs

In: Irina Virbitskaite, Andrei Voronkov (eds.):
6th International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI'06)
Novosibirsk, Russia, June 27-30, 2006

Technical Report, pp. 274-276
A.P. Ershov Institute of Informatics Systems, Novosisibirsk, Russia, 2006
[ superseded by pdf ]

Clemens Grelck, Sven-Bodo Scholz:
SAC: A Functional Array Language for Efficient Multithreaded Execution

International Journal of Parallel Programming 34(4), pp. 383-427

Springer-Verlag, Dordrecht, Netherlands, 2006
[ ISSN 0885-7458 ]
[ pdf ]

Andrew Butterfield, Clemens Grelck, Frank Huch (eds.):
Implementation and Application of Functional Languages
17th International Workshop (IFL'05)
Dublin, Ireland, September 19-21, 2005, Revised Selected Papers

Lecture Notes in Computer Science 4015, 238 pages
Springer-Verlag, Berlin, Heidelberg, Germany, 2006
[ ISBN 978-3-540-69174-7 ]

Clemens Grelck, Sven-Bodo Scholz, Alex Shafarenko:
A Binding Scope Analysis for Inferring Array Shapes

In: Andrew Butterfield, Clemens Grelck, Frank Huch (eds.):
Implementation and Application of Functional Languages, 17th International Workshop (IFL'05)
Dublin, Ireland, September 19-21, 2005, Revised Selected Papers

Lecture Notes in Computer Science 4015, pp. 212-230
Springer-Verlag, Berlin, Heidelberg, Germany, 2006
[ ISBN 978-3-540-69174-7 ]
[ pdf ]

Alex Shafarenko, Sven-Bodo Scholz, Stephan Herhut, Clemens Grelck, Kai Trojahner:
Implementing a Numerical Solution of the KPI Equation using Single Assignment C: Lessons and Experiences

In: Andrew Butterfield, Clemens Grelck, Frank Huch (eds.):
Implementation and Application of Functional Languages, 17th International Workshop (IFL'05)
Dublin, Ireland, September 19-21, 2005, Revised Selected Papers

Lecture Notes in Computer Science 4015, pp. 160-177
Springer-Verlag, Berlin, Heidelberg, Germany, 2006
[ ISBN 978-3-540-69174-7 ]
[ pdf ]

Clemens Grelck, Karsten Hinckfuß, Sven-Bodo Scholz
With-Loop Fusion for Data Locality and Parallelism

In: Andrew Butterfield, Clemens Grelck, Frank Huch (eds.):
Implementation and Application of Functional Languages, 17th International Workshop (IFL'05)
Dublin, Ireland, September 19-21, 2005, Revised Selected Papers

Lecture Notes in Computer Science 4015, pp. 178-195
Springer-Verlag, Berlin, Heidelberg, Germany, 2006
[ ISBN 978-3-540-69174-7 ]
[ pdf ]
Peter Landin Prize

Clemens Grelck, Sven-Bodo Scholz:
Merging Compositions of Array Skeletons in SAC

In: G.R. Joubert, W.E. Nagel, F.J. Peters, O. Plata, P. Tirado, E. Zapata (eds.):
Parallel Computing: Current and Future Issues of High-End Computing, 12th International ParCo Conference (ParCo'05)
Malaga, Spain, September 12-16, 2005

NIC Series Vol. 33, pp. 859-866
John von Neumann Institute for Computing, Jülich, Germany, 2006
[ pdf ]

Clemens Grelck, Karsten Hinckfuß, Sven-Bodo Scholz
With-Loop Fusion for Data Locality and Parallelism

In: Andrew Butterfield (ed.):
17th International Workshop on Implementation and Application of Functional Languages (IFL'05)
Dublin, Ireland, September 19-21, 2005

Technical Report TCD-CS-2005-60, pp. 65-80
University of Dublin, Trinity College, Department of Computer Science, Dublin, Ireland, 2005
[ superseded by pdf ]

Clemens Grelck, Sven-Bodo Scholz, Alex Shafarenko:
A Binding Scope Analysis for Inferring Array Shapes

In: Andrew Butterfield (ed.):
17th International Workshop on Implementation and Application of Functional Languages (IFL'05)
Dublin, Ireland, September 19-21, 2005

Technical Report TCD-CS-2005-60, pp. 251-260
University of Dublin, Trinity College, Department of Computer Science, Dublin, Ireland, 2005
[ superseded by pdf ]

Clemens Grelck, Frank Huch, Greg J. Michaelson, Phil Trinder (eds.):
Implementation and Application of Functional Languages
16th International Workshop (IFL'04)
Lübeck, Germany, September 2004, Revised Selected Papers

Lecture Notes in Computer Science 3474, 239 pages
Springer-Verlag, Berlin, Heidelberg, Germany, 2005
[ ISBN 3-540-26094-3 ]

Clemens Grelck, Steffen Kuthe, Sven-Bodo Scholz:
A Hybrid Shared Memory Execution Model for a Data Parallel Language with I/O

In: Alexander Tiskin, Frédéric Loulergue (eds.):
3rd International Workshop on High Level Parallel Programming and Applications (HLPP'05)
Coventry, United Kingdom, July 3-5, 2005, pp. 147-160

University of Warwick, Department of Computer Science, Coventry, United Kingdom, 2005
[ superseded by pdf ]

Clemens Grelck, Sven-Bodo Scholz:
A Language Implementation for Symmetric Homogeneous Multithreading

In: Alex Shafarenko, Chris Jesshope (eds.):
Micro-Grid Workshop on Scalable On-Chip Parallelism
Amsterdam, Netherlands, July 1-2, 2005, p. 29

University of Amsterdam, Institute of Informatics, Amsterdam, Netherlands, 2005

Clemens Grelck, Sven-Bodo Scholz:
A Language Design for Multithreaded Execution

In: Alex Shafarenko, Chris Jesshope (eds.):
Micro-grid Workshop on Scalable on-chip Parallelism
Amsterdam, Netherlands, July 1-2, 2005, p. 61

University of Amsterdam, Institute of Informatics, Amsterdam, Netherlands, 2005

Clemens Grelck, Sven-Bodo Scholz:
Generic Parallel Array Programming in SAC

In: Erik Mähle (ed.):
20. Workshop der GI/ITG-Fachgruppe Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS'05)
(20th GI/ITG-Workshop on Parallel Algorithms, Computer Architecture and System Software)
Lübeck, Germany, June 23-24, 2005

Mitteilungen der Gesellschaft für Informatik, Parallel-Algorithmen und Rechenstrukturen, Nr. 22, pp. 81-90
Gesellschaft für Informatik, Bonn, Germany, 2005
[ ISSN 0177-0454 ]
[ pdf ]

Clemens Grelck:
Shared Memory Multiprocessor Support for Functional Array Processing

Journal of Functional Programming 15(3), pp. 353-401
Cambridge University Press, Cambridge, United Kingdom, 2005
[ ISSN 0956-7968 ]
[ pdf ]

Clemens Grelck, Karsten Hinckfuß:
With-Loop Fusion in SAC

In: Michael Hanus, Frank Huch (eds.):
22. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte
(22nd GI-Workshop on Programming Languages and Computing Concepts)
Bad Honnef, Germany, May 2-4, 2005

Technical Report 0513, pp. 20-29
University of Kiel, Institute of Computer Science and Applied Mathematics, Kiel, Germany, 2005
[ superseded by pdf ]

Clemens Grelck, Frank Huch (eds.):
16th International Workshop on Implementation and Application of Functional Languages (IFL'04)
Lübeck, Germany, September 8-10, 2004

Technical Report 0408, 431 pages
University of Kiel, Institute of Computer Science and Applied Mathematics, Kiel, Germany, 2004

Clemens Grelck, Kai Trojahner:
Implicit Memory Management for SAC

In: Clemens Grelck, Frank Huch (eds.):
6th International Workshop on Implementation and Application of Functional Languages (IFL'04)
Lübeck, Germany, September 8-10, 2004

Technical Report 0408, pp. 335-348
University of Kiel, Institute of Computer Science and Applied Mathematics, Kiel, Germany, 2004
[ pdf ]

Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner:
With-Loop Scalarization: Merging Nested Array Operations

In: Greg Michaelson, Phil Trinder, Ricardo Peña (eds.):
Implementation of Functional Languages, 15th International Workshop (IFL'03)
Edinburgh, United Kingdom, September 8-11, 2003, Revised Selected Papers
Lecture Notes in Computer Science 3245, pp. 118-134
Springer-Verlag, Berlin, Heidelberg, 2004
[ ISBN 3-540-23727-5 ]
[ pdf ]

Clemens Grelck, Sven-Bodo Scholz:
Generic Array Programming in SAC

In: Wolfgang Goerigk (ed.):
21. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte
(21st GI-Workshop on Programming Languages and Computing Concepts)
Bad Honnef, Germany, May 3-5, 2004

Technical Report 0410, pp. 43-53
University of Kiel, Institute of Computer Science and Applied Mathematics, Kiel, Germany, 2004
[ pdf ]

Clemens Grelck, Sven-Bodo Scholz:
SAC - From High-level Programming with Arrays to Efficient Parallel Execution

Parallel Processing Letters 13(3), pp. 401-412
World Scientific Publishing, Singapore, 2003
[ ISSN 0129-6264 ]
[ pdf ]

Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner:
With-Loop Scalarization: Merging Nested Array Operations

In: Greg Michaelson, Phil Trinder (eds.):
15th International Workshop on Implementation of Functional Languages (IFL'03)
Edinburgh, United Kingdom, September 8-11, 2003, pp. 63-78.
Heriot-Watt University, Edinburgh, United Kingdom, 2003
[ superseded by pdf ]

Clemens Grelck, Sven-Bodo Scholz:
Towards an Efficient Functional Implementation of the NAS Benchmark FT

In: Viktor Malyshkin (ed.):
Parallel Computing Technologies, 7th International Conference (PaCT'03)
Nizhni Novgorod, Russia, September 15-19, 2003
Lecture Notes in Computer Science 2763, pp. 230-235
Springer-Verlag, Berlin, Heidelberg, New York, 2003
[ ISBN 3-540-40673-5 ]
[ pdf ]

Clemens Grelck, Sven-Bodo Scholz:
SAC - From High-level Programming with Arrays to Efficient Parallel Execution

In: Gaétan Hains, Frédéric Loulergue (eds.):
2nd International Workshop on High Level Parallel Programming and Applications (HLPP'03)
Paris, France, June 15-17, 2003, pp. 113-125
University of Paris XII, Val de Marne, France, 2003
[ pdf ]

Clemens Grelck, Sven-Bodo Scholz:
Axis Control in SAC

In: Ricardo Peña, Thomas Arts (eds.):
Implementation of Functional Languages, 14th International Workshop (IFL'02)
Madrid, Spain, September 16-18, 2002, Revised Selected Papers

Lecture Notes in Computer Science 2670, pp. 182-198
Springer-Verlag, Berlin, Heidelberg, New York, 2003
[ ISBN 3-540-40190-3 ]
[ pdf ]

Clemens Grelck:
A Multithreaded Compiler Backend for High-level Array Programming

In: Mohamed H. Hamza (ed.):
21st International Multi-Conference on Applied Informatics (AI'03)
Part II: International Conference on Parallel and Distributed Computing and Networks (PDCN'03)
Innsbruck, Austria, February 10-13, 2003, pp. 478-484

ACTA Press, Anaheim, USA, 2003
[ ISBN 0-88986-341-5 ]
[ pdf ]

Clemens Grelck, Sven-Bodo Scholz:
Introducing Generalized Rank Conjunctions to SAC or How to Write and to Compile Nested Array Operations

In: Ricardo Peña (ed.):
14th International Workshop on Implementation of Functional Languages (IFL'02)
Madrid, Spain, September 16-18, 2002

Technical Report 127-02, pp. 223-225
University Complutense of Madrid, Madrid, Spain, 2002
[ superseded by pdf ]

Clemens Grelck:
Lessons Learned from the Shared Memory Parallelization of a Functional Array Language

In: Gerald Baumgartner, J. Ramanujam, P. Sadayappan (eds.):
Workshop on Performance Optimization for High-Level Languages and Libraries (POHLL'02)
(Part of the 16th ACM International Conference on Supercomputing (ICS'02))
New York, USA, June 22, 2002, pp. 39-48

Ohio State University, Columbus, USA, 2002
[ pdf ]

Clemens Grelck:
Implementing the NAS Benchmark MG in SAC

In: Viktor K. Prasanna, George Westrom (eds.):
16th International Parallel and Distributed Processing Symposium (IPDPS'02)
Fort Lauderdale, USA, April 15-19, 2002, CD-ROM

IEEE Computer Society Press, Los Alamitos, USA, 2002
[ ISBN 0-7695-1573-8 ]
[ pdf ]

Clemens Grelck:
Optimizations on Array Skeletons in a Shared Memory Environment

In: Thomas Arts, Markus Mohnen (eds.):
Implementation of Functional Languages, 13th International Workshop (IFL'01)
Stockholm, Sweden, September 24-26, 2001, Selected Papers.

Lecture Notes in Computer Science 2312, pp. 36-54
Springer-Verlag, Berlin, Heidelberg, New York, 2002
[ ISBN 3-540-43537-9 ]
[ pdf ]

Clemens Grelck:
Optimizations on Array Skeletons in a Shared Memory Environment

In: Thomas Arts, Markus Mohnen (eds.):
13th International Workshop on Implementation of Functional Languages (IFL'01)
Stockholm, Sweden, September 24-26, 2001, pp. 83-98

Ericsson Computer Science Laboratory, Stockholm, Sweden, 2001
[ superseded by pdf ]

Clemens Grelck:
Implicit Shared Memory Multiprocessor Support for the Functional Programming Language SAC - Single Assignment C

Dissertation
University of Kiel, Institute of Computer Science and Applied Mathematics

Logos-Verlag, Berlin, Germany, 2001
[ ISBN 3-89722-719-3 ]

Clemens Grelck:
Improving Cache Effectiveness through Array Data Layout Manipulation in SAC

In: Markus Mohnen, Pieter Koopmann (eds.):
Implementation of Functional Languages, 12th International Workshop (IFL'00)
Aachen, Germany, September 4-7, 2000, Selected Papers.

Lecture Notes in Computer Science 2011, pp. 231-248
Springer-Verlag, Berlin, Heidelberg, New York, 2001
[ ISBN 3-540-41919-5 ]
[ pdf ]

Clemens Grelck:
Improving Cache Effectiveness through Array Data Layout in SAC

In: Markus Mohnen (ed.):
12th International Workshop on Implementation of Functional Languages (IFL'00)
Aachen, Germany, September 4-7, 2000

Aachener Informatik-Bericht AIB-2000-7, pp. 169-184
RWTH Technical University of Aachen, Aachen, Germany, 2000
[ superseded by pdf ]

Clemens Grelck, Sven-Bodo Scholz:
HPF vs. SAC - a Case Study

In: Arndt Bode, Thomas Ludwig, Wolfgang Karl, Roland Wismüller (eds.):
Euro-Par 2000 Parallel Processing, 6th International Euro-Par Conference (Euro-Par'00)
Munich, Germany, August 29 - September 1, 2000

Lecture Notes in Computer Science 1900, pp. 620-624,
Springer-Verlag, Berlin, Heidelberg, 2000
[ ISBN 3-540-67956-1 ]
[ pdf ]

Clemens Grelck:
Array Padding in the Functional Language SAC

In: Hamid Arabnia (ed.):
International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'00)
Las Vegas, USA, June 26-29

Vol. 5, pp. 2553-2560
CSREA Press, Athens, USA, 2000
[ pdf ]

Clemens Grelck, Dietmar Kreye, Sven-Bodo Scholz:
On Code Generation for Multi-Generator With-Loops in SAC

In: Pieter Koopmann, Chris Clack (eds.):
Implementation of Functional Languages, 11th International Workshop (IFL'99)
Lochem, Netherlands, September 7-10, 1999, Selected Papers.

Lecture Notes in Computer Science 1868, pp. 77-94
Springer-Verlag, Berlin, Heidelberg, 2000
[ ISBN 3-540-67864-6 ]
[ pdf ]

Clemens Grelck, Dietmar Kreye, Sven-Bodo Scholz:
On Code Generation for Multi-Generator With-Loops in SAC

In: Pieter Koopmann, Chris Clack (eds.):
11th International Workshop on Implementation of Functional Languages (IFL'99)
Lochem, Netherlands, September 7-10, pp. 57-74

Catholic University of Nijmegen, Nijmegen, Netherlands, 1999
[ superseded by pdf ]

Clemens Grelck, Sven-Bodo Scholz:
Accelerating APL Programs with SAC

In: Olivier Lefèvre (ed.):
International ACM SIGAPL Conference on Array Processing Languages (APL'99).
Scranton, USA, August 10-14, 1999

APL Quote Quad 29(2), pp. 50-58
ACM Press, New York, USA, 1999
[ ISBN 1-58113-126-7 ]
[ pdf ]

Clemens Grelck:
Shared Memory Multiprocessor Support for SAC

In: Kevin Hammond, Tony Davie, Chris Clack (eds.):
Implementation of Functional Languages, 10th International Workshop (IFL'98)
London, UK, September 9-11, 1998, Selected Papers.

Lecture Notes in Computer Science 1595, pp. 38-54
Springer-Verlag, Berlin, Heidelberg, 1999
[ ISBN 3-540-66229-4 ]
[ pdf ]

Clemens Grelck:
Shared Memory Multiprocessor Support for SAC

In: Kevin Hammond, Tony Davie, Chris Clack (eds.):
10th International Workshop on Implementation of Functional Languages (IFL'98)
London, United Kingdom, September 9-11, 1998, pp. 155-170

University College, London, UK, 1998
[ superseded by pdf ]

Clemens Grelck:
Integration eines Modul- und Klassen-Konzeptes in die funktionale Programmiersprache SAC - Single Assignment C

Diplomarbeit
University of Kiel, Institute of Computer Science and Applied Mathematics, 1996

Clemens Grelck, Sven-Bodo Scholz:
Classes and Objects as Basis for I/O in SAC

In: Thomas Johnsson (ed.):
7th International Workshop on Implementation of Functional Languages (IFL'95)
Båstad, Sweden, September 13-15, pp. 30-44

Chalmers University of Technology, Gothenburg, Sweden, 1995
[ pdf ]