Search dblp for Publications

export results for "Sven-Bodo Scholz"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics