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
Springer-Verlag, to appear
[ 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 ]

Valid HTML 4.01!     Valid CSS!             Dr Clemens Grelck