![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "Sven-Bodo Scholz"
@inproceedings{DBLP:conf/array/SchrijversKS24, author = {Stefan Schrijvers and Thomas Koopman and Sven{-}Bodo Scholz}, editor = {Aaron Hsu and Artjoms Sinkarovs}, title = {Shray: An Owner-Compute Distributed Shared-Memory System}, booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Workshop on Libraries, Languages and Compilers for Array Programming, {ARRAY} 2024, Copenhagen, Denmark, 25 June 2024}, pages = {25--37}, publisher = {{ACM}}, year = {2024}, url = {https://doi.org/10.1145/3652586.3663314}, doi = {10.1145/3652586.3663314}, timestamp = {Thu, 04 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/array/SchrijversKS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2406-10405, author = {Artjoms Sinkarovs and Thomas Koopman and Sven{-}Bodo Scholz}, title = {Correctness is Demanding, Performance is Frustrating}, journal = {CoRR}, volume = {abs/2406.10405}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2406.10405}, doi = {10.48550/ARXIV.2406.10405}, eprinttype = {arXiv}, eprint = {2406.10405}, timestamp = {Wed, 10 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2406-10405.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/SinkarovsKS23, author = {Artjoms Sinkarovs and Thomas Koopman and Sven{-}Bodo Scholz}, editor = {Gabriele Keller and Sam Westrick}, title = {Rank-Polymorphism for Shape-Guided Blocking}, booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} International Workshop on Functional High-Performance and Numerical Computing, {FHPNC} 2023, Seattle, WA, USA, 4 September 2023}, pages = {1--14}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3609024.3609410}, doi = {10.1145/3609024.3609410}, timestamp = {Tue, 26 Sep 2023 17:21:37 +0200}, biburl = {https://dblp.org/rec/conf/icfp/SinkarovsKS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/AalderingSG23, author = {Jordy Aaldering and Sven{-}Bodo Scholz and Bernard van Gastel}, title = {Type Patterns: Pattern Matching on Shape-Carrying Array Types}, booktitle = {The 35th Symposium on Implementation and Application of Functional Languages, {IFL} 2023, Braga, Portugal, August 29-31, 2023}, pages = {11:1--11:14}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3652561.3652572}, doi = {10.1145/3652561.3652572}, timestamp = {Thu, 04 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifl/AalderingSG23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/VerloopKS23, author = {Michiel Verloop and Thomas Koopman and Sven{-}Bodo Scholz}, title = {Modulo in high-performance code: strength reduction for modulo-based array indexing in loops}, booktitle = {The 35th Symposium on Implementation and Application of Functional Languages, {IFL} 2023, Braga, Portugal, August 29-31, 2023}, pages = {12:1--12:13}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3652561.3652573}, doi = {10.1145/3652561.3652573}, timestamp = {Thu, 04 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifl/VerloopKS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/BeurdenS22, author = {Patrick van Beurden and Sven{-}Bodo Scholz}, title = {On Generating Out-Of-Core {GPU} Code for Multi-Dimensional Array Operations}, booktitle = {Proceedings of the 34th Symposium on Implementation and Application of Functional Languages, {IFL} 2022, Copenhagen, Denmark, 31 August 2022- 2 September 2022}, pages = {7:1--7:13}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3587216.3587223}, doi = {10.1145/3587216.3587223}, timestamp = {Thu, 04 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifl/BeurdenS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/SinkarovsS22, author = {Artjoms Sinkarovs and Sven{-}Bodo Scholz}, editor = {Troels Henriksen and Tze Meng Low}, title = {Parallel scan as a multidimensional array problem}, booktitle = {{ARRAY} '22: 8th {ACM} {SIGPLAN} International Workshop on Libraries, Languages and Compilers for Array Programming, San Diego {CA} USA, 13 June 2022}, pages = {1--11}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3520306.3534500}, doi = {10.1145/3520306.3534500}, timestamp = {Wed, 29 Jun 2022 14:06:21 +0200}, biburl = {https://dblp.org/rec/conf/pldi/SinkarovsS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/CuyckS21, author = {Gijs van Cuyck and Sven{-}Bodo Scholz}, title = {In-Place-Folding of Non-Scalar Hyper-Planes of Multi-Dimensional Arrays}, booktitle = {33rd Symposium on Implementation and Application of Functional Languages, {IFL} 2021, Nijmegen, The Netherlands, September 1-3, 2021}, pages = {29--41}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3544885.3544893}, doi = {10.1145/3544885.3544893}, timestamp = {Mon, 14 Nov 2022 12:07:39 +0100}, biburl = {https://dblp.org/rec/conf/ifl/CuyckS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/JanssenS21, author = {Niek Janssen and Sven{-}Bodo Scholz}, title = {On Mapping N-Dimensional Data-Parallelism Efficiently into GPU-Thread-Spaces}, booktitle = {33rd Symposium on Implementation and Application of Functional Languages, {IFL} 2021, Nijmegen, The Netherlands, September 1-3, 2021}, pages = {54--66}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3544885.3544894}, doi = {10.1145/3544885.3544894}, timestamp = {Mon, 14 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifl/JanssenS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/SinkarovsVS21, author = {Artjoms Sinkarovs and Hans{-}Nikolai Vie{\ss}mann and Sven{-}Bodo Scholz}, editor = {Tze Meng Low and Jeremy Gibbons}, title = {Array languages make neural networks fast}, booktitle = {{ARRAY} 2021: Proceedings of the 7th {ACM} {SIGPLAN} International Workshop on Libraries, Languages and Compilers for Array Programming, Virtual Event, Canada, 21 June, 2021}, pages = {39--50}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3460944.3464312}, doi = {10.1145/3460944.3464312}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pldi/SinkarovsVS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijrc/VanderbauwhedeS20, author = {Wim Vanderbauwhede and Sven{-}Bodo Scholz and Martin Margala}, title = {FPGAs for Domain Experts}, journal = {Int. J. Reconfigurable Comput.}, volume = {2020}, pages = {2725809:1--2725809:2}, year = {2020}, url = {https://doi.org/10.1155/2020/2725809}, doi = {10.1155/2020/2725809}, timestamp = {Thu, 16 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijrc/VanderbauwhedeS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/ViessmannS20, author = {Hans{-}Nikolai Vie{\ss}mann and Sven{-}Bodo Scholz}, editor = {Olaf Chitil}, title = {Effective Host-GPU Memory Management Through Code Generation}, booktitle = {{IFL} 2020: 32nd Symposium on Implementation and Application of Functional Languages, Virtual Event / Canterbury, UK, September 2-4, 2020}, pages = {138--149}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3462172.3462199}, doi = {10.1145/3462172.3462199}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifl/ViessmannS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/europar/BairdSSB19, author = {Max Baird and Sven{-}Bodo Scholz and Artjoms Sinkarovs and Leonardo Bautista{-}Gomez}, editor = {Ulrich Schwardmann and Christian Boehme and Dora B. Heras and Valeria Cardellini and Emmanuel Jeannot and Antonio Salis and Claudio Schifanella and Ravi Reddy Manumachu and Dieter Schwamborn and Laura Ricci and Oh Sangyoon and Thomas Gruber and Laura Antonelli and Stephen L. Scott}, title = {Checkpointing Kernel Executions of {MPI+CUDA} Applications}, booktitle = {Euro-Par 2019: Parallel Processing Workshops - Euro-Par 2019 International Workshops, G{\"{o}}ttingen, Germany, August 26-30, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {11997}, pages = {694--706}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-48340-1\_53}, doi = {10.1007/978-3-030-48340-1\_53}, timestamp = {Tue, 14 Feb 2023 22:22:15 +0100}, biburl = {https://dblp.org/rec/conf/europar/BairdSSB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/ScholzS19, author = {Sven{-}Bodo Scholz and Artjoms Sinkarovs}, editor = {Jurri{\"{e}}n Stutterheim and Wei{-}Ngan Chin}, title = {Tensor comprehensions in SaC}, booktitle = {{IFL} '19: Implementation and Application of Functional Languages, Singapore, September 25-27, 2019}, pages = {15:1--15:13}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3412932.3412947}, doi = {10.1145/3412932.3412947}, timestamp = {Wed, 21 Jul 2021 16:22:45 +0200}, biburl = {https://dblp.org/rec/conf/ifl/ScholzS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/SinkarovsBS19, author = {Artjoms Sinkarovs and Robert Bernecky and Sven{-}Bodo Scholz}, editor = {Jeremy Gibbons}, title = {Convolutional neural networks in {APL}}, booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} International Workshop on Libraries, Languages and Compilers for Array Programming, ARRAY@PLDI 2019, Phoenix, AZ, USA, June 22, 2019}, pages = {69--79}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3315454.3329960}, doi = {10.1145/3315454.3329960}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pldi/SinkarovsBS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1912-05234, author = {Artjoms Sinkarovs and Hans{-}Nikolai Vie{\ss}mann and Sven{-}Bodo Scholz}, title = {Array Languages Make Neural Networks Fast}, journal = {CoRR}, volume = {abs/1912.05234}, year = {2019}, url = {http://arxiv.org/abs/1912.05234}, eprinttype = {arXiv}, eprint = {1912.05234}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1912-05234.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/europar/BairdFSS18, author = {Max Baird and Christian Fensch and Sven{-}Bodo Scholz and Artjoms Sinkarovs}, editor = {Gabriele Mencagli and Dora B. Heras and Valeria Cardellini and Emiliano Casalicchio and Emmanuel Jeannot and Felix Wolf and Antonio Salis and Claudio Schifanella and Ravi Reddy Manumachu and Laura Ricci and Marco Beccuti and Laura Antonelli and Jos{\'{e}} Daniel Garc{\'{\i}}a S{\'{a}}nchez and Stephen L. Scott}, title = {A Lightweight Approach to {GPU} Resilience}, booktitle = {Euro-Par 2018: Parallel Processing Workshops - Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {11339}, pages = {826--838}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-10549-5\_64}, doi = {10.1007/978-3-030-10549-5\_64}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/europar/BairdFSS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/ViessmannSS18, author = {Hans{-}Nikolai Vie{\ss}mann and Artjoms Sinkarovs and Sven{-}Bodo Scholz}, editor = {Matteo Cimini and Jay McCarthy}, title = {Extended Memory Reuse: An Optimisation for Reducing Memory Allocations}, booktitle = {Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, {IFL} 2018, Lowell, MA, USA, September 5-7, 2018}, pages = {107--118}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3310232.3310242}, doi = {10.1145/3310232.3310242}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifl/ViessmannSS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/SinkarovsBVS18, author = {Artjoms Sinkarovs and Robert Bernecky and Hans{-}Nikolai Vie{\ss}mann and Sven{-}Bodo Scholz}, editor = {Sven{-}Bodo Scholz and Olin Shivers}, title = {A Rosetta Stone for array languages}, booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI 2018, Philadelphia, PA, USA, June 19, 2018}, pages = {1--10}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3219753.3219754}, doi = {10.1145/3219753.3219754}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pldi/SinkarovsBVS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pldi/2018array, editor = {Sven{-}Bodo Scholz and Olin Shivers}, title = {Proceedings of the 5th {ACM} {SIGPLAN} International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI 2018, Philadelphia, PA, USA, June 19, 2018}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3219753}, doi = {10.1145/3219753}, timestamp = {Wed, 21 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pldi/2018array.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/SinkarovsSSV17, author = {Artjoms Sinkarovs and Sven{-}Bodo Scholz and Robert J. Stewart and Hans{-}Nikolai Vie{\ss}mann}, editor = {Nicolas Wu}, title = {Recursive Array Comprehensions in a Call-by-Value Language}, booktitle = {Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, {IFL} 2017, Bristol, UK, August 30 - September 01, 2017}, pages = {5:1--5:12}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3205368.3205373}, doi = {10.1145/3205368.3205373}, timestamp = {Mon, 01 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifl/SinkarovsSSV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1710-03832, author = {Artjoms Sinkarovs and Sven{-}Bodo Scholz}, title = {A Lambda Calculus for Transfinite Arrays: Unifying Arrays and Streams}, journal = {CoRR}, volume = {abs/1710.03832}, year = {2017}, url = {http://arxiv.org/abs/1710.03832}, eprinttype = {arXiv}, eprint = {1710.03832}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1710-03832.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/concurrency/SinkarovsS16, author = {Artjoms Sinkarovs and Sven{-}Bodo Scholz}, title = {Type-driven data layouts for improved vectorisation}, journal = {Concurr. Comput. Pract. Exp.}, volume = {28}, number = {7}, pages = {2092--2119}, year = {2016}, url = {https://doi.org/10.1002/cpe.3501}, doi = {10.1002/CPE.3501}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/concurrency/SinkarovsS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/GordonS15, author = {Stuart Gordon and Sven{-}Bodo Scholz}, editor = {Ralf L{\"{a}}mmel}, title = {Dynamic adaptation of functional runtime systems through external control}, booktitle = {Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, {IFL} '15, Koblenz, Germany, September 14-16, 2015}, pages = {10:1--10:13}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2897336.2897347}, doi = {10.1145/2897336.2897347}, timestamp = {Tue, 06 Nov 2018 11:06:43 +0100}, biburl = {https://dblp.org/rec/conf/ifl/GordonS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/ViessmannSSBHF15, author = {Hans{-}Nikolai Vie{\ss}mann and Sven{-}Bodo Scholz and Artjoms Sinkarovs and Brian Bainbridge and Brian Hamilton and Simon Flower}, editor = {Ralf L{\"{a}}mmel}, title = {Making fortran legacy code more functional: using the BGS* geomagnetic field modelling system as an example}, booktitle = {Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, {IFL} '15, Koblenz, Germany, September 14-16, 2015}, pages = {11:1--11:13}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2897336.2897348}, doi = {10.1145/2897336.2897348}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifl/ViessmannSSBHF15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/BerneckyS15, author = {Robert Bernecky and Sven{-}Bodo Scholz}, editor = {Laurie J. Hendren and Hidehiko Masuhara and Mary Sheeran and Jan Vitek}, title = {Abstract expressionism for parallel performance}, booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI, Portland, OR, USA, June 15 - 17, 2015}, pages = {54--59}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2774959.2774962}, doi = {10.1145/2774959.2774962}, timestamp = {Mon, 12 Jul 2021 15:34:15 +0200}, biburl = {https://dblp.org/rec/conf/pldi/BerneckyS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/shonan-reports/VanderbauwhedeS15, author = {Wim Vanderbauwhede and Sven{-}Bodo Scholz and Tetsuya Takemi}, title = {Putting Heterogeneous High-Performance Computing at the Fingertips of Domain Experts {(NII} Shonan Meeting 2015-18)}, journal = {{NII} Shonan Meet. Rep.}, volume = {2015}, year = {2015}, url = {https://shonan.nii.ac.jp/seminars/075/}, timestamp = {Thu, 04 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/shonan-reports/VanderbauwhedeS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/concurrency/SinkarovsSBDG14, author = {Artjoms Sinkarovs and Sven{-}Bodo Scholz and Robert Bernecky and Roeland Douma and Clemens Grelck}, title = {SaC/C formulations of the all-pairs \emph{N}-body problem and their performance on SMPs and GPGPUs}, journal = {Concurr. Comput. Pract. Exp.}, volume = {26}, number = {4}, pages = {952--971}, year = {2014}, url = {https://doi.org/10.1002/cpe.3078}, doi = {10.1002/CPE.3078}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/concurrency/SinkarovsSBDG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pepm/Scholz14, author = {Sven{-}Bodo Scholz}, editor = {Wei{-}Ngan Chin and Jurriaan Hage}, title = {Partial evaluation as universal compiler tool: experiences from the {SAC} Eco system}, booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego, California, {USA}}, pages = {95--96}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2543728.2543747}, doi = {10.1145/2543728.2543747}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pepm/Scholz14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/VerstraatenS14, author = {Merijn Verstraaten and Sven{-}Bodo Scholz}, editor = {Laurie J. Hendren and Alex Rubinsteyn and Mary Sheeran and Jan Vitek}, title = {On Predicting the Impact of Resource Redistributions in Streaming Applications}, booktitle = {ARRAY'14: Proceedings of the 2014 {ACM} {SIGPLAN} International Workshop on Libraries, Languages, and Compilers for Array Programming, Edinburgh, United Kingdom, June 12-13, 2014}, pages = {76--81}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2627373.2627386}, doi = {10.1145/2627373.2627386}, timestamp = {Mon, 12 Jul 2021 15:34:15 +0200}, biburl = {https://dblp.org/rec/conf/pldi/VerstraatenS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/DashSHC13, author = {Santanu Kumar Dash and Sven{-}Bodo Scholz and Stephan Herhut and Bruce Christianson}, title = {A scalable approach to computing representative lowest common ancestor in directed acyclic graphs}, journal = {Theor. Comput. Sci.}, volume = {513}, pages = {25--37}, year = {2013}, url = {https://doi.org/10.1016/j.tcs.2013.09.030}, doi = {10.1016/J.TCS.2013.09.030}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/DashSHC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfp/SinkarovsS13, author = {Artjoms Sinkarovs and Sven{-}Bodo Scholz}, editor = {Clemens Grelck and Fritz Henglein and Umut A. Acar and Jost Berthold}, title = {Semantics-preserving data layout transformations for improved vectorisation}, booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} workshop on Functional high-performance computing, Boston, MA, USA, FHPC@ICFP 2013, September 25-27, 2013}, pages = {59--70}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2502323.2502332}, doi = {10.1145/2502323.2502332}, timestamp = {Tue, 06 Nov 2018 16:59:24 +0100}, biburl = {https://dblp.org/rec/conf/icfp/SinkarovsS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ieeehpcs/DashSC13, author = {Santanu Kumar Dash and Sven{-}Bodo Scholz and Bruce Christianson}, title = {Modular design of data-parallel graph algorithms}, booktitle = {International Conference on High Performance Computing {\&} Simulation, {HPCS} 2013, Helsinki, Finland, July 1-5, 2013}, pages = {398--404}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/HPCSim.2013.6641446}, doi = {10.1109/HPCSIM.2013.6641446}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ieeehpcs/DashSC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ieeehpcs/SinkarovsS13, author = {Artjoms Sinkarovs and Sven{-}Bodo Scholz}, title = {Data layout inference for code vectorisation}, booktitle = {International Conference on High Performance Computing {\&} Simulation, {HPCS} 2013, Helsinki, Finland, July 1-5, 2013}, pages = {527--534}, publisher = {{IEEE}}, year = {2013}, url = {https://doi.org/10.1109/HPCSim.2013.6641464}, doi = {10.1109/HPCSIM.2013.6641464}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ieeehpcs/SinkarovsS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/concurrency/GrelckDHS12, author = {Clemens Grelck and Tim van Deurzen and Stephan Herhut and Sven{-}Bodo Scholz}, title = {Asynchronous adaptive optimisation for generic data-parallel array programming}, journal = {Concurr. Comput. Pract. Exp.}, volume = {24}, number = {5}, pages = {499--516}, year = {2012}, url = {https://doi.org/10.1002/cpe.1842}, doi = {10.1002/CPE.1842}, timestamp = {Mon, 02 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/concurrency/GrelckDHS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jei/WieserGHGKBMS12, author = {Volkmar Wieser and Clemens Grelck and Peter Haslinger and Jing Guo and Filip Korzeniowski and Robert Bernecky and Bernhard Moser and Sven{-}Bodo Scholz}, title = {Combining high productivity and high performance in image processing using Single Assignment {C} on multi-core CPUs and many-core GPUs}, journal = {J. Electronic Imaging}, volume = {21}, number = {2}, pages = {021116}, year = {2012}, url = {https://doi.org/10.1117/1.JEI.21.2.021116}, doi = {10.1117/1.JEI.21.2.021116}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jei/WieserGHGKBMS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEinteract/PossGHS12, author = {Raphael Poss and Clemens Grelck and Stephan Herhut and Sven{-}Bodo Scholz}, title = {Lazy reference counting for the microgrid}, booktitle = {16th Workshop on Interaction between Compilers and Computer Architectures, {INTERACT} 2012, New Orleans, LA, USA, February 25, 2012}, pages = {41--48}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/INTERACT.2012.6339625}, doi = {10.1109/INTERACT.2012.6339625}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/IEEEinteract/PossGHS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipps/GuoRTGBS11, author = {Jing Guo and Antonio Wendell De Oliveira Rodrigues and Jeyarajan Thiyagalingam and Fr{\'{e}}d{\'{e}}ric Guyomarc'h and Pierre Boulet and Sven{-}Bodo Scholz}, title = {Harnessing the Power of GPUs without Losing Abstractions in {SAC} and ArrayOL: {A} Comparative Study}, booktitle = {25th {IEEE} International Symposium on Parallel and Distributed Processing, {IPDPS} 2011, Anchorage, Alaska, USA, 16-20 May 2011 - Workshop Proceedings}, pages = {1183--1190}, publisher = {{IEEE}}, year = {2011}, url = {https://doi.org/10.1109/IPDPS.2011.276}, doi = {10.1109/IPDPS.2011.276}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ipps/GuoRTGBS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/GuoTS11, author = {Jing Guo and Jeyarajan Thiyagalingam and Sven{-}Bodo Scholz}, editor = {Manuel Carro and John H. Reppy}, title = {Breaking the {GPU} programming barrier with the auto-parallelising {SAC} compiler}, booktitle = {Proceedings of the {POPL} 2011 Workshop on Declarative Aspects of Multicore Programming, {DAMP} 2011, Austin, TX, USA, January 23, 2011}, pages = {15--24}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1926354.1926359}, doi = {10.1145/1926354.1926359}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/GuoTS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifl/2008, editor = {Sven{-}Bodo Scholz and Olaf Chitil}, title = {Implementation and Application of Functional Languages - 20th International Symposium, {IFL} 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5836}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24452-0}, doi = {10.1007/978-3-642-24452-0}, isbn = {978-3-642-24451-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifl/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifl/2009, editor = {Marco T. Moraz{\'{a}}n and Sven{-}Bodo Scholz}, title = {Implementation and Application of Functional Languages - 21st International Symposium, {IFL} 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6041}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-16478-1}, doi = {10.1007/978-3-642-16478-1}, isbn = {978-3-642-16477-4}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifl/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijpp/GrelckSS10, author = {Clemens Grelck and Sven{-}Bodo Scholz and Alexander V. Shafarenko}, title = {Asynchronous Stream Processing with S-Net}, journal = {Int. J. Parallel Program.}, volume = {38}, number = {1}, pages = {38--67}, year = {2010}, url = {https://doi.org/10.1007/s10766-009-0121-x}, doi = {10.1007/S10766-009-0121-X}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijpp/GrelckSS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijpp/ScholzS10, author = {Sven{-}Bodo Scholz and Alexander V. Shafarenko}, title = {Guest Editors' Editorial: Special Issue on the Second International Workshop on Microgrids}, journal = {Int. J. Parallel Program.}, volume = {38}, number = {1}, pages = {1--3}, year = {2010}, url = {https://doi.org/10.1007/s10766-009-0117-6}, doi = {10.1007/S10766-009-0117-6}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijpp/ScholzS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eoolt/StavakerRGFS10, author = {Kristian Stav{\aa}ker and Daniel Rolls and Jing Guo and Peter Fritzson and Sven{-}Bodo Scholz}, editor = {Peter Fritzson and Edward A. Lee and Fran{\c{c}}ois E. Cellier and David Broman}, title = {Compilation of Modelica Array Computations into Single Assignment {C} for Efficient Execution on CUDA-enabled GPUs}, booktitle = {Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, {EOOLT} 2010, Oslo, Norway, October 3, 2010}, series = {Link{\"{o}}ping Electronic Conference Proceedings}, volume = {47}, pages = {81--90}, publisher = {Link{\"{o}}ping University Electronic Press}, year = {2010}, url = {http://www.ep.liu.se/ecp/article.asp?issue=047\&article=009\&volume=}, timestamp = {Thu, 10 Oct 2019 13:06:30 +0200}, biburl = {https://dblp.org/rec/conf/eoolt/StavakerRGFS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icppw/PenczekHSSYCBG10, author = {Frank Penczek and Stephan Herhut and Sven{-}Bodo Scholz and Alexander V. Shafarenko and Jungsook Yang and Chun{-}Yi Chen and Nader Bagherzadeh and Clemens Grelck}, editor = {Wang{-}Chien Lee and Xin Yuan}, title = {Message Driven Programming with S-Net: Methodology and Performance}, booktitle = {39th International Conference on Parallel Processing, {ICPP} Workshops 2010, San Diego, California, USA, 13-16 September 2010}, pages = {405--412}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/ICPPW.2010.61}, doi = {10.1109/ICPPW.2010.61}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icppw/PenczekHSSYCBG10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/HerhutJSPG10, author = {Stephan Herhut and Carl Joslin and Sven{-}Bodo Scholz and Raphael Poss and Clemens Grelck}, editor = {Jurriaan Hage and Marco T. Moraz{\'{a}}n}, title = {Concurrent Non-deferred Reference Counting on the Microgrid: First Experiences}, booktitle = {Implementation and Application of Functional Languages - 22nd International Symposium, {IFL} 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6647}, pages = {185--202}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-24276-2\_12}, doi = {10.1007/978-3-642-24276-2\_12}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/ifl/HerhutJSPG10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/KirnerHS10, author = {Raimund Kirner and Stephan Herhut and Sven{-}Bodo Scholz}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {Compiler-Support for Robust Multi-core Computing}, booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {6415}, pages = {47--57}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16558-0\_6}, doi = {10.1007/978-3-642-16558-0\_6}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/isola/KirnerHS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwpc/RollsJS10, author = {Daniel Rolls and Carl Joslin and Sven{-}Bodo Scholz}, title = {Unibench: {A} Tool for Automated and Collaborative Benchmarking}, booktitle = {The 18th {IEEE} International Conference on Program Comprehension, {ICPC} 2010, Braga, Minho, Portugal, June 30-July 2, 2010}, pages = {50--51}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/ICPC.2010.36}, doi = {10.1109/ICPC.2010.36}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iwpc/RollsJS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sgai/GreenLRS10, author = {Pam Green and Peter C. R. Lane and Austen Rainer and Sven{-}Bodo Scholz}, editor = {Max Bramer and Miltos Petridis and Adrian Hopgood}, title = {Selecting Features in Origin Analysis}, booktitle = {Research and Development in Intelligent Systems {XXVII} - Incorporating Applications and Innovations in Intelligent Systems {XVIII} Proceedings of AI-2010, The Thirtieth {SGAI} International Conference on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, England, UK, 14-16 December 2010}, pages = {379--392}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-0-85729-130-1\_29}, doi = {10.1007/978-0-85729-130-1\_29}, timestamp = {Tue, 25 Feb 2020 11:33:46 +0100}, biburl = {https://dblp.org/rec/conf/sgai/GreenLRS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/procedia/PenczekHGSSBL10, author = {Frank Penczek and Stephan Herhut and Clemens Grelck and Sven{-}Bodo Scholz and Alexander V. Shafarenko and R{\'{e}}mi Barr{\`{e}}re and Eric Lenormand}, editor = {Peter M. A. Sloot and G. Dick van Albada and Jack J. Dongarra}, title = {Parallel signal processing with S-Net}, booktitle = {Proceedings of the International Conference on Computational Science, {ICCS} 2010, University of Amsterdam, The Netherlands, May 31 - June 2, 2010}, series = {Procedia Computer Science}, volume = {1}, number = {1}, pages = {2085--2094}, publisher = {Elsevier}, year = {2010}, url = {https://doi.org/10.1016/j.procs.2010.04.233}, doi = {10.1016/J.PROCS.2010.04.233}, timestamp = {Thu, 08 Jul 2021 14:29:22 +0200}, biburl = {https://dblp.org/rec/journals/procedia/PenczekHGSSBL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/BerneckyHS09, author = {Robert Bernecky and Stephan Herhut and Sven{-}Bodo Scholz}, editor = {Marco T. Moraz{\'{a}}n and Sven{-}Bodo Scholz}, title = {Symbiotic Expressions}, booktitle = {Implementation and Application of Functional Languages - 21st International Symposium, {IFL} 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6041}, pages = {107--124}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-16478-1\_7}, doi = {10.1007/978-3-642-16478-1\_7}, timestamp = {Mon, 05 Feb 2024 20:35:40 +0100}, biburl = {https://dblp.org/rec/conf/ifl/BerneckyHS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mldm/GreenLRS09, author = {Pam Green and Peter C. R. Lane and Austen Rainer and Sven{-}Bodo Scholz}, editor = {Petra Perner}, title = {Building Classifiers to Identify Split Files}, booktitle = {Machine Learning and Data Mining in Pattern Recognition, 6th International Conference, {MLDM} 2009, Leipzig, Germany, July 2009, Poster Proceedings}, pages = {1--8}, publisher = {ibai Publishing}, year = {2009}, timestamp = {Sat, 21 Aug 2021 13:54:13 +0200}, biburl = {https://dblp.org/rec/conf/mldm/GreenLRS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pact/RollsJKSS09, author = {Daniel Rolls and Carl Joslin and Alexei Kudryavtsev and Sven{-}Bodo Scholz and Alexander V. Shafarenko}, editor = {Victor Malyshkin}, title = {Numerical Simulations of Unsteady Shock Wave Interactions Using SaC and Fortran-90}, booktitle = {Parallel Computing Technologies, 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5698}, pages = {445--456}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03275-2\_44}, doi = {10.1007/978-3-642-03275-2\_44}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/pact/RollsJKSS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parco/PenczekGS09, author = {Frank Penczek and Clemens Grelck and Sven{-}Bodo Scholz}, editor = {Barbara M. Chapman and Fr{\'{e}}d{\'{e}}ric Desprez and Gerhard R. Joubert and Alain Lichnewsky and Frans J. Peters and Thierry Priol}, title = {An Operational Semantics for S-Net}, booktitle = {Parallel Computing: From Multicores and GPU's to Petascale, Proceedings of the conference ParCo 2009, 1-4 September 2009, Lyon, France}, series = {Advances in Parallel Computing}, volume = {19}, pages = {467--474}, publisher = {{IOS} Press}, year = {2009}, url = {https://doi.org/10.3233/978-1-60750-530-3-467}, doi = {10.3233/978-1-60750-530-3-467}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/parco/PenczekGS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/HerhutSG09, author = {Stephan Herhut and Sven{-}Bodo Scholz and Clemens Grelck}, editor = {Leaf Petersen and Manuel M. T. Chakravarty}, title = {Controlling chaos: on safe side-effects in data-parallel operations}, booktitle = {Proceedings of the {POPL} 2009 Workshop on Declarative Aspects of Multicore Programming, {DAMP} 2009, Savannah, GA, USA, January 20, 2009}, pages = {59--67}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1481839.1481847}, doi = {10.1145/1481839.1481847}, timestamp = {Fri, 25 Jun 2021 14:48:54 +0200}, biburl = {https://dblp.org/rec/conf/popl/HerhutSG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sfp/GuoTS09, author = {Jing Guo and Jeyarajan Thiyagalingam and Sven{-}Bodo Scholz}, editor = {Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k and Peter Achten and Pieter W. M. Koopman}, title = {Towards Compiling {SAC} to {CUDA}}, booktitle = {Proceedings of the Tenth Symposium on Trends in Functional Programming, {TFP} 2009, Kom{\'{a}}rno, Slovakia, June 2-4, 2009}, series = {Trends in Functional Programming}, volume = {10}, pages = {33--48}, publisher = {Intellect}, year = {2009}, timestamp = {Tue, 04 Jun 2013 08:01:28 +0200}, biburl = {https://dblp.org/rec/conf/sfp/GuoTS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ppl/GrelckKS08, author = {Clemens Grelck and Steffen Kuthe and Sven{-}Bodo Scholz}, title = {A Hybrid Shared Memory Execution Model for a Data Parallel Language with {I/O}}, journal = {Parallel Process. Lett.}, volume = {18}, number = {1}, pages = {23--37}, year = {2008}, url = {https://doi.org/10.1142/S012962640800320X}, doi = {10.1142/S012962640800320X}, timestamp = {Tue, 24 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ppl/GrelckKS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ppl/GrelckSS08, author = {Clemens Grelck and Sven{-}Bodo Scholz and Alexander V. Shafarenko}, title = {A Gentle Introduction to S-Net: Typed Stream Processing and Declarative Coordination of Asynchronous Components}, journal = {Parallel Process. Lett.}, volume = {18}, number = {2}, pages = {221--237}, year = {2008}, url = {https://doi.org/10.1142/S0129626408003351}, doi = {10.1142/S0129626408003351}, timestamp = {Tue, 24 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ppl/GrelckSS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/RainerLMS08, author = {Austen Rainer and Peter C. R. Lane and James A. Malcolm and Sven{-}Bodo Scholz}, title = {Using n-grams to rapidly characterise the evolution of software code}, booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering - Workshop Proceedings {(ASE} Workshops 2008), 15-16 September 2008, L'Aquila, Italy}, pages = {43--52}, publisher = {{IEEE}}, year = {2008}, url = {https://doi.org/10.1109/ASEW.2008.4686320}, doi = {10.1109/ASEW.2008.4686320}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/RainerLMS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/HerhutSBGT07, author = {Stephan Herhut and Sven{-}Bodo Scholz and Robert Bernecky and Clemens Grelck and Kai Trojahner}, editor = {Olaf Chitil and Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k}, title = {From Contracts Towards Dependent Types: Proofs by Partial Evaluation}, booktitle = {Implementation and Application of Functional Languages, 19th International Workshop, {IFL} 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5083}, pages = {254--273}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-85373-2\_15}, doi = {10.1007/978-3-540-85373-2\_15}, timestamp = {Mon, 03 Jan 2022 22:26:05 +0100}, biburl = {https://dblp.org/rec/conf/ifl/HerhutSBGT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipps/GrelckSS07, author = {Clemens Grelck and Sven{-}Bodo Scholz and Alexander V. Shafarenko}, title = {Coordinating Data Parallel {SAC} Programs with S-Net}, booktitle = {21th International Parallel and Distributed Processing Symposium {(IPDPS} 2007), Proceedings, 26-30 March 2007, Long Beach, California, {USA}}, pages = {1--8}, publisher = {{IEEE}}, year = {2007}, url = {https://doi.org/10.1109/IPDPS.2007.370408}, doi = {10.1109/IPDPS.2007.370408}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ipps/GrelckSS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/GrelckS07, author = {Clemens Grelck and Sven{-}Bodo Scholz}, editor = {Neal Glew and Guy E. Blelloch}, title = {{SAC:} off-the-shelf support for data-parallelism on multicores}, booktitle = {Proceedings of the {POPL} 2007 Workshop on Declarative Aspects of Multicore Programming, {DAMP} 2007, Nice, France, January 16, 2007}, pages = {25--33}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1248648.1248654}, doi = {10.1145/1248648.1248654}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/GrelckS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijpp/GrelckS06, author = {Clemens Grelck and Sven{-}Bodo Scholz}, title = {{SAC} - {A} Functional Array Language for Efficient Multi-threaded Execution}, journal = {Int. J. Parallel Program.}, volume = {34}, number = {4}, pages = {383--427}, year = {2006}, url = {https://doi.org/10.1007/s10766-006-0018-x}, doi = {10.1007/S10766-006-0018-X}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijpp/GrelckS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pc/GrelckS06, author = {Clemens Grelck and Sven{-}Bodo Scholz}, title = {Merging compositions of array skeletons in SaC}, journal = {Parallel Comput.}, volume = {32}, number = {7-8}, pages = {507--522}, year = {2006}, url = {https://doi.org/10.1016/j.parco.2006.08.003}, doi = {10.1016/J.PARCO.2006.08.003}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pc/GrelckS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ershov/GrelckSS06, author = {Clemens Grelck and Sven{-}Bodo Scholz and Alexander V. Shafarenko}, editor = {Irina B. Virbitskaite and Andrei Voronkov}, title = {Streaming Networks for Coordinating Data-Parallel Programs}, booktitle = {Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, {PSI} 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {4378}, pages = {451--455}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-70881-0\_40}, doi = {10.1007/978-3-540-70881-0\_40}, timestamp = {Mon, 16 Dec 2019 13:26:25 +0100}, biburl = {https://dblp.org/rec/conf/ershov/GrelckSS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/BerneckyHSTGS06, author = {Robert Bernecky and Stephan Herhut and Sven{-}Bodo Scholz and Kai Trojahner and Clemens Grelck and Alexander V. Shafarenko}, editor = {Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k and Andrew Butterfield}, title = {Index Vector Elimination - Making Index Vectors Affordable}, booktitle = {Implementation and Application of Functional Languages, 18th International Symp osium, {IFL} 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4449}, pages = {19--36}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-74130-5\_2}, doi = {10.1007/978-3-540-74130-5\_2}, timestamp = {Mon, 03 Jan 2022 22:26:06 +0100}, biburl = {https://dblp.org/rec/conf/ifl/BerneckyHSTGS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/TrojahnerGS06, author = {Kai Trojahner and Clemens Grelck and Sven{-}Bodo Scholz}, editor = {Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k and Andrew Butterfield}, title = {On Optimising Shape-Generic Array Programs Using Symbolic Structural Information}, booktitle = {Implementation and Application of Functional Languages, 18th International Symp osium, {IFL} 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4449}, pages = {1--18}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-74130-5\_1}, doi = {10.1007/978-3-540-74130-5\_1}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ifl/TrojahnerGS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cefp/Scholz05, author = {Sven{-}Bodo Scholz}, editor = {Zolt{\'{a}}n Horv{\'{a}}th}, title = {Functional Array Programming in SaC}, booktitle = {Central European Functional Programming School, First Summer School, {CEFP} 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures}, series = {Lecture Notes in Computer Science}, volume = {4164}, pages = {62--99}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11894100\_3}, doi = {10.1007/11894100\_3}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/cefp/Scholz05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/GrelckHS05, author = {Clemens Grelck and Karsten Hinckfu{\ss} and Sven{-}Bodo Scholz}, editor = {Andrew Butterfield and Clemens Grelck and Frank Huch}, title = {With-Loop Fusion for Data Locality and Parallelism}, booktitle = {Implementation and Application of Functional Languages, 17th International Workshop, {IFL} 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4015}, pages = {178--195}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11964681\_11}, doi = {10.1007/11964681\_11}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/ifl/GrelckHS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/GrelckSS05, author = {Clemens Grelck and Sven{-}Bodo Scholz and Alexander V. Shafarenko}, editor = {Andrew Butterfield and Clemens Grelck and Frank Huch}, title = {A Binding Scope Analysis for Generic Programs on Arrays}, booktitle = {Implementation and Application of Functional Languages, 17th International Workshop, {IFL} 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4015}, pages = {212--230}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11964681\_13}, doi = {10.1007/11964681\_13}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifl/GrelckSS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/ShafarenkoSHGT05, author = {Alexander V. Shafarenko and Sven{-}Bodo Scholz and Stephan Herhut and Clemens Grelck and Kai Trojahner}, editor = {Andrew Butterfield and Clemens Grelck and Frank Huch}, title = {Implementing a Numerical Solution of the {KPI} Equation Using Single Assignment {C:} Lessons and Experiences}, booktitle = {Implementation and Application of Functional Languages, 17th International Workshop, {IFL} 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4015}, pages = {160--177}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11964681\_10}, doi = {10.1007/11964681\_10}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifl/ShafarenkoSHGT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parco/GrelckS05, author = {Clemens Grelck and Sven{-}Bodo Scholz}, editor = {Gerhard R. Joubert and Wolfgang E. Nagel and Frans J. Peters and Oscar G. Plata and P. Tirado and Emilio L. Zapata}, title = {Merging Compositions of Array Skeletons in {SAC}}, booktitle = {Parallel Computing: Current {\&} Future Issues of High-End Computing, Proceedings of the International Conference ParCo 2005, 13-16 September 2005, Department of Computer Architecture, University of Malaga, Spain}, series = {John von Neumann Institute for Computing Series}, volume = {33}, pages = {859--866}, publisher = {Central Institute for Applied Mathematics, J{\"{u}}lich, Germany}, year = {2005}, timestamp = {Mon, 20 Nov 2006 12:54:33 +0100}, biburl = {https://dblp.org/rec/conf/parco/GrelckS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/ShafarenkoS04, author = {Alexander V. Shafarenko and Sven{-}Bodo Scholz}, editor = {Clemens Grelck and Frank Huch and Greg Michaelson and Philip W. Trinder}, title = {General Homomorphic Overloading}, booktitle = {Implementation and Application of Functional Languages, 16th International Workshop, {IFL} 2004, L{\"{u}}beck, Germany, September 8-10, 2004, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3474}, pages = {195--210}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/11431664\_12}, doi = {10.1007/11431664\_12}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/ifl/ShafarenkoS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/Scholz03, author = {Sven{-}Bodo Scholz}, title = {Single Assignment {C:} efficient support for high-level array operations in a functional setting}, journal = {J. Funct. Program.}, volume = {13}, number = {6}, pages = {1005--1059}, year = {2003}, url = {https://doi.org/10.1017/S0956796802004458}, doi = {10.1017/S0956796802004458}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jfp/Scholz03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ppl/GrelckS03, author = {Clemens Grelck and Sven{-}Bodo Scholz}, title = {Sac - From High-Level Programming with Arrays to Efficient Parallel Execution}, journal = {Parallel Process. Lett.}, volume = {13}, number = {3}, pages = {401--412}, year = {2003}, url = {https://doi.org/10.1142/S0129626403001379}, doi = {10.1142/S0129626403001379}, timestamp = {Tue, 24 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ppl/GrelckS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/GrelckST03, author = {Clemens Grelck and Sven{-}Bodo Scholz and Kai Trojahner}, editor = {Philip W. Trinder and Greg Michaelson and Ricardo Pena}, title = {With-Loop Scalarization - Merging Nested Array Operations}, booktitle = {Implementation of Functional Languages, 15th International Workshop, {IFL} 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {3145}, pages = {118--134}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-27861-0\_8}, doi = {10.1007/978-3-540-27861-0\_8}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/ifl/GrelckST03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pact/GrelckS03, author = {Clemens Grelck and Sven{-}Bodo Scholz}, editor = {Victor E. Malyshkin}, title = {Towards an Efficient Functional Implementation of the {NAS} Benchmark {FT}}, booktitle = {Parallel Computing Technologies, 7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2763}, pages = {230--235}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45145-7\_20}, doi = {10.1007/978-3-540-45145-7\_20}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/pact/GrelckS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/GrelckS02, author = {Clemens Grelck and Sven{-}Bodo Scholz}, editor = {Ricardo Pena and Thomas Arts}, title = {Axis Control in {SAC}}, booktitle = {Implementation of Functional Languages, 14th International Workshop, {IFL} 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2670}, pages = {182--198}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-44854-3\_12}, doi = {10.1007/3-540-44854-3\_12}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/ifl/GrelckS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/europar/GrelckS00, author = {Clemens Grelck and Sven{-}Bodo Scholz}, editor = {Arndt Bode and Thomas Ludwig and Wolfgang Karl and Roland Wism{\"{u}}ller}, title = {{HPF} vs. {SAC} - {A} Case Study (Research Note)}, booktitle = {Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1900}, pages = {620--624}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44520-X\_87}, doi = {10.1007/3-540-44520-X\_87}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/europar/GrelckS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apl/GrelckS99, author = {Clemens Grelck and Sven{-}Bodo Scholz}, editor = {Olivier Lefevre}, title = {Accelerating {APL} programs with {SAC}}, booktitle = {Proceedings of the International Conference on all Array Programming Languages, {ALP} 1999, Scranton, PA, USA, August 10-14, 1999}, pages = {50--57}, publisher = {{ACM}}, year = {1999}, url = {https://doi.org/10.1145/312627.312719}, doi = {10.1145/312627.312719}, timestamp = {Wed, 16 Jun 2021 12:55:19 +0200}, biburl = {https://dblp.org/rec/conf/apl/GrelckS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/GrelckKS99, author = {Clemens Grelck and Dietmar Kreye and Sven{-}Bodo Scholz}, editor = {Pieter W. M. Koopman and Chris Clack}, title = {On Code Generation for Multi-generator WITH-Loops in {SAC}}, booktitle = {Implementation of Functional Languages, 11th International Workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1868}, pages = {77--94}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/10722298\_5}, doi = {10.1007/10722298\_5}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/ifl/GrelckKS99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apl/Scholz98, author = {Sven{-}Bodo Scholz}, editor = {Paolo Di Chio and Antonio Annibali and Robert Bernecky and James Brown and Gitte Christensen}, title = {On defining application-specific high-level array operations by means of shape-invariant programming facilities}, booktitle = {Proceedings of {APL98} Conference on Array Processing Languages, {APL} 1998, Rome, Italy, August 27-31, 1998}, pages = {32--38}, publisher = {{ACM}}, year = {1998}, url = {https://doi.org/10.1145/327559.327613}, doi = {10.1145/327559.327613}, timestamp = {Tue, 15 Jun 2021 14:00:18 +0200}, biburl = {https://dblp.org/rec/conf/apl/Scholz98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/Scholz98, author = {Sven{-}Bodo Scholz}, editor = {Kevin Hammond and Antony J. T. Davie and Chris Clack}, title = {A Case Study: Effects of WITH-Loop-Folding on the {NAS} Benchmark {MG} in {SAC}}, booktitle = {Implementation of Functional Languages, 10th International Workshop, IFL'98, London, UK, September 9-11, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1595}, pages = {216--228}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-48515-5\_14}, doi = {10.1007/3-540-48515-5\_14}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/ifl/Scholz98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/dnb/Scholz97b, author = {Sven{-}Bodo Scholz}, title = {Single assignment {C:} Entwurf und Implementierung einer funktionalen C-Variante mit spezieller Unterst{\"{u}}tzung shape-invarianter Array-Operationen}, school = {University of Kiel}, year = {1997}, url = {https://d-nb.info/951975870}, isbn = {3-8265-3138-8}, timestamp = {Sat, 17 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/dnb/Scholz97b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/Scholz97, author = {Sven{-}Bodo Scholz}, editor = {Chris Clack and Kevin Hammond and Antony J. T. Davie}, title = {WITH-Loop-Folding in {SAC} - Condensing Consecutive Array Operations}, booktitle = {Implementation of Functional Languages, 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1467}, pages = {72--91}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0055425}, doi = {10.1007/BFB0055425}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/ifl/Scholz97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifl/Scholz96, author = {Sven{-}Bodo Scholz}, editor = {Werner E. Kluge}, title = {On Programming Scientific Applications in {SAC} - {A} Functional Language Extended by a Subsystem for High-Level Array Operations}, booktitle = {Implementation of Functional Languages, 8th International Workshop, IFL'96, Bad Godesberg, Germany, September 16-18, 1996, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1268}, pages = {85--104}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-63237-9\_20}, doi = {10.1007/3-540-63237-9\_20}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/ifl/Scholz96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fple/KlugeRS95, author = {Werner E. Kluge and Carsten Rathsack and Sven{-}Bodo Scholz}, editor = {Pieter H. Hartel and Marinus J. Plasmeijer}, title = {Using pi-RED as a Teaching Tool for Functional Programming and Program Execution}, booktitle = {Functional Programming Languages in Education, First International Symposium, FPLE'95, Nijmegen, The Netherlands, December 4-6, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1022}, pages = {231--249}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60675-0\_48}, doi = {10.1007/3-540-60675-0\_48}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/fple/KlugeRS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/conpar/BulckHKPRSS94, author = {Torsten B{\"{u}}lck and Achim Held and Werner E. Kluge and Stefan Pantke and Carsten Rathsack and Sven{-}Bodo Scholz and Raimund Schr{\"{o}}der}, editor = {Bruno Buchberger and Jens Volkert}, title = {Experience with the Implementation of a Concurrent Graph Reduction System on an nCube/2 Platform}, booktitle = {Parallel Processing: {CONPAR} 94 - {VAPP} VI, Third Joint International Conference on Vector and Parallel Processing, Linz, Austria, September 6-8, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {854}, pages = {497--508}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58430-7\_44}, doi = {10.1007/3-540-58430-7\_44}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/conpar/BulckHKPRSS94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.