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 the publishers.

2012

Volkmar Wieser, Clemens Grelck, Peter Haslinger, Jing Guo, Filip Korzeniowski, Robert Bernecky, Bernhard Moser, Sven-Bodo 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, to appear
Society of Photo-Optical Instrumentation Engineers (SPIE), Bellingham, USA
[ pdf ]
Clemens Grelck:
Single Assignment C (SAC): High Productivity meets High Performance
In: Zoltan Horvath, Viktoria Zsok (eds.):
4th Central European Functional Programming Summer School (CEFP'11)
Budapest, Hungary, 2011, Revised Selected Lectures
Lecture Notes in Computer Science 7241
Springer-Verlag, Berlin, Heidelberg, Germany, 2012, to appear
[ pdf ]
Miguel Diogo, Clemens Grelck:
Supporting Heterogenous Computing Environments in SAC
In: Kevin Hammond, Hans-Wolfgang Loidl (eds.):
Trends in Functional Programming, 13th International Symposium (TFP'12)
St.Andrews, United Kingdom, 2012, to appear
Baltasar Trancon y Widemann, Carl Friedrich Bolz, Clemens Grelck:
The Functional Programming Language R and the Paradigm of Dynamic~Scientific Programming
In: Kevin Hammond, Hans-Wolfgang Loidl (eds.):
Trends in Functional Programming, 13th International Symposium (TFP'12)
St.Andrews, United Kingdom, 2012, to appear
Clemens Grelck, Jukka Julku, Frank 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
[ pdf ]
Raphael Poss, Clemens Grelck, Stephan Herhut, Sven-Bodo Scholz:
Lazy Reference Counting for the Microgrid
In: 16th Workshop on Interaction between Compilers and Computer Architectures (INTERACT-16)
New Orleans, USA
IEEE Digital Libary, 2012
[ pdf ]
Clemens Grelck, Tim van Deurzen, Stephan Herhut, Sven-Bodo Scholz:
Asynchronous Adaptive Optimisation for Generic Data-Parallel Array Programming
Concurrency and Computation: Practice and Experience
John Wiley, Hoboken, USA, 2012
[ pdf ]

2011

Clemens Grelck:
Asynchronous Adaptive Optimisation for Generic Data-Parallel Array Programming and Beyond
In Herbert Kuchen, Tim A. Majchrzak, Markus Müller-Olm (eds.): 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'11)
(16th Workshop on Programming Languages and Foundations of Programming)
Schloss Raesfeld, Germany
Westfälische Wilhelms-Universität Münster, Germany
Arbeitsbericht Nr.132 des Instituts für Wirtschaftsinformatik
[ pdf ]
Clemens Grelck, Roeland Douma:
SAC on a Niagara T3-4 Server: Lessons and Experiences
In: 18th International Conference on Parallel Computing (ParCo'11)
Gent, Belgium
IOS Press, Amsterdam, Netherlands, to appear
[ pdf ]
Clemens Grelck, Kevin Hammond, Heinz Hertlein, Chris Jesshope, Raimund Kirner, Bernd Scheuermann, Holger Schöner, Alex Shafarenko, Iraneus te Boekhorst, Volkmar Wieser:
Engineering Concurrent Software Guided by Statistical Performance Analysis
In: 18th International Conference on Parallel Computing (ParCo'11)
Gent, Belgium
IOS Press, Amsterdam, Netherlands, to appear
[ pdf ]
Volkmar Wieser, Clemens Grelck, Holger Schöner, Peter Haslinger, Karoly Bosa, Bernhard Moser GPU-Based Image Processing Use Cases: A High-Level Approach
In: 18th International Conference on Parallel Computing (ParCo'11)
Gent, Belgium
IOS Press, Amsterdam, Netherlands, to appear
[ pdf ]
Clemens Grelck, Frank 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, Rijeka, Croatia, 2011
[ pdf ]
Merijn Verstraaten, Clemens Grelck, Michiel W. van Tol, Roy Bakker, Chris Jesshope:
On Mapping Distributed S-Net to the 48-core Intel SCC Processor
In: Diana Göhringer, Michael Hübner, Jürgen Becker (eds.):
3rd Many-core Applications Research Community Symposium (MARC'11)
Ettlingen, Germany, pp. 41-46
KIT Scientific Publishing, Karlsruhe, Germany, 2011
[ pdf ]
Michiel W. van Tol, Roy Bakker, Merijn Verstraaten, Clemens Grelck, Chris Jesshope :
Efficient Memory Copy Operations on the 48-core Intel SCC Processor
In: Diana Göhringer, Michael Hübner, Jürgen Becker (eds.):
3rd Many-core Applications Research Community Symposium (MARC'11)
Ettlingen, Germany, pp. 13-18, best paper award
KIT Scientific Publishing, Karlsruhe, Germany, 2011
[ pdf ]
Clemens Grelck:
The Essence of Synchronisation in Asynchronous Data Flow
In:
25th IEEE International Parallel and Distributed Processing Symposium (IPDPS'11)
Anchorage, USA, pp. 1159-1167
IEEE Computer Society Press, Los Alamitos, USA, 2011
[ pdf ]
Stephan Herhut, Carl Joslin, Sven-Bodo Scholz, Raphael Poss, Clemens Grelck:
Concurrent Non-Deferred Reference Counting on the Microgrid: First Experiences
In: Jurriaan Hage, Marco Morazan (eds.)
Implementation and Application of Functional Languages, 22nd International Symposium (IFL'10)
Alphen a/d Rijn, Netherlands, 2010, Revised Selected Papers
Lecture Notes in Computer Science 6647, pp. 185-202
Springer-Verlag, Berlin, Heidelberg, Germany, 2011
[ pdf ]
Clemens Grelck, Frank 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, 2011
[ 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, 2011
[ pdf ]

2010

Clemens Grelck, Raphael Poss, Chris Jesshope:
Hardware Virtualisation for Heterogeneous Many-Core Systems
In:
Intel European Research and Innovation Conference (ERIC'10)
Braunschweig, Germany, 2010
[ pdf ]
Clemens Grelck, Sven-Bodo Scholz, Alex Shafarenko:
S-Net: High-Level Coordination for the Many-Core Era
In:
Intel European Research and Innovation Conference (ERIC'10)
Braunschweig, Germany, 2010
[ pdf ]
Sven-Bodo Scholz, Stephan Herhut, Clemens Grelck:
Single Assignment C: HP^2 Programming for Heterogeneous Concurrent Architectures
In:
Intel European Research and Innovation Conference (ERIC'10)
Braunschweig, 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, Department of Information and Computing Sciences
Utrecht, Netherlands
[ 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.):
1st 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 Digital Library
[ 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 ]

2009

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, Department of Mathematics and Computer Science
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, Department of Mathematics and Computer Science
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
[ 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 Digital Library
[ 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 ]

2008

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
Technical Report, pp. ????
University of Hertfordshire, School of Computer Science, 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
Technical Report, pp. ????
University of Hertfordshire, School of Computer Science, Hatfield, United Kingdom, 2008
[ 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 ]
Stephan Herhut, Sven-Bodo Scholz, Clemens Grelck:
Generic Programming on the Nesting Structure of Arrays
APL Quote Quad, to appear
ACM Press, New York, USA, 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 ]

2007

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
[ superseded by 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
University of Hertfordshire, Department of Computer Science, Compiler Technology and Computer Architecture Group, Hatfield, United Kingdom, 2007
[ latest revision available from S-Net homepage ]

2006

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
[ latest revision available from S-Net homepage ]
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 ]
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 ]

2005

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 ]

2004

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 ]

2003

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 ]

2002

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 ]

2001

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 ]

2000

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 ]

1999

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 ]

1998

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 ]

1996

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

1995

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