![](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}, 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}, year = {2024}, crossref = {DBLP:conf/array/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}, 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}, year = {2023}, crossref = {DBLP:conf/icfp/2023fhpnc}, 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}, year = {2023}, crossref = {DBLP:conf/ifl/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}, year = {2023}, crossref = {DBLP:conf/ifl/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}, year = {2022}, crossref = {DBLP:conf/ifl/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}, 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}, year = {2022}, crossref = {DBLP:conf/pldi/2022array}, 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}, year = {2021}, crossref = {DBLP:conf/ifl/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}, year = {2021}, crossref = {DBLP:conf/ifl/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}, 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}, year = {2021}, crossref = {DBLP:conf/pldi/2021array}, 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}, 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}, year = {2020}, crossref = {DBLP:conf/ifl/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}, 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}, pages = {694--706}, year = {2019}, crossref = {DBLP:conf/europar/2019w}, 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}, title = {Tensor comprehensions in SaC}, booktitle = {{IFL} '19: Implementation and Application of Functional Languages, Singapore, September 25-27, 2019}, pages = {15:1--15:13}, year = {2019}, crossref = {DBLP:conf/ifl/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}, 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}, year = {2019}, crossref = {DBLP:conf/pldi/2019array}, 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}, 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}, pages = {826--838}, year = {2018}, crossref = {DBLP:conf/europar/2018w}, 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}, 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}, year = {2018}, crossref = {DBLP:conf/ifl/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}, 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}, year = {2018}, crossref = {DBLP:conf/pldi/2018array}, 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}, 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}, year = {2017}, crossref = {DBLP:conf/ifl/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}, 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}, year = {2015}, crossref = {DBLP:conf/ifl/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}, 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}, year = {2015}, crossref = {DBLP:conf/ifl/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}, 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}, year = {2015}, crossref = {DBLP:conf/pldi/2015array}, 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}, 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}, year = {2014}, crossref = {DBLP:conf/pepm/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}, 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}, year = {2014}, crossref = {DBLP:conf/pldi/2014array}, 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}, 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}, year = {2013}, crossref = {DBLP:conf/icfp/2013fhpc}, 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}, year = {2013}, crossref = {DBLP:conf/ieeehpcs/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}, year = {2013}, crossref = {DBLP:conf/ieeehpcs/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}, year = {2012}, crossref = {DBLP:conf/IEEEinteract/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}, year = {2011}, crossref = {DBLP:conf/ipps/2011w}, 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}, 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}, year = {2011}, crossref = {DBLP:conf/popl/2011damp}, 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}, 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}, pages = {81--90}, year = {2010}, crossref = {DBLP:conf/eoolt/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}, 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}, year = {2010}, crossref = {DBLP:conf/icppw/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}, 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}, pages = {185--202}, year = {2010}, crossref = {DBLP:conf/ifl/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}, 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}}, pages = {47--57}, year = {2010}, crossref = {DBLP:conf/isola/2010-1}, 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}, year = {2010}, crossref = {DBLP:conf/iwpc/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}, 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}, year = {2010}, crossref = {DBLP:conf/sgai/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}, 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}, number = {1}, pages = {2085--2094}, year = {2010}, crossref = {DBLP:conf/iccS/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}, 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}, pages = {107--124}, year = {2009}, crossref = {DBLP:conf/ifl/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}, 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}, year = {2009}, crossref = {DBLP:conf/mldm/2009p}, 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}, 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}, pages = {445--456}, year = {2009}, crossref = {DBLP:conf/pact/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}, 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}, pages = {467--474}, year = {2009}, crossref = {DBLP:conf/parco/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}, 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}, year = {2009}, crossref = {DBLP:conf/popl/2009damp}, 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}, 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}, pages = {33--48}, year = {2009}, crossref = {DBLP:conf/sfp/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}, year = {2008}, crossref = {DBLP:conf/kbse/2008w}, 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}, 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}, pages = {254--273}, year = {2007}, crossref = {DBLP:conf/ifl/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}, year = {2007}, crossref = {DBLP:conf/ipps/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}, 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}, year = {2007}, crossref = {DBLP:conf/popl/2007damp}, 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}, 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}, pages = {451--455}, year = {2006}, crossref = {DBLP:conf/ershov/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}, 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}, pages = {19--36}, year = {2006}, crossref = {DBLP:conf/ifl/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}, 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}, pages = {1--18}, year = {2006}, crossref = {DBLP:conf/ifl/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}, 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}, pages = {62--99}, year = {2005}, crossref = {DBLP:conf/cefp/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}, 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}, pages = {178--195}, year = {2005}, crossref = {DBLP:conf/ifl/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}, 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}, pages = {212--230}, year = {2005}, crossref = {DBLP:conf/ifl/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}, 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}, pages = {160--177}, year = {2005}, crossref = {DBLP:conf/ifl/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}, 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}, pages = {859--866}, year = {2005}, crossref = {DBLP:conf/parco/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}, 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}, pages = {195--210}, year = {2004}, crossref = {DBLP:conf/ifl/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}, 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}, pages = {118--134}, year = {2003}, crossref = {DBLP:conf/ifl/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}, 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}, pages = {230--235}, year = {2003}, crossref = {DBLP:conf/pact/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}, title = {Axis Control in {SAC}}, booktitle = {Implementation of Functional Languages, 14th International Workshop, {IFL} 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers}, pages = {182--198}, year = {2002}, crossref = {DBLP:conf/ifl/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}, 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}, pages = {620--624}, year = {2000}, crossref = {DBLP:conf/europar/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}, 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}, year = {1999}, crossref = {DBLP:conf/apl/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}, 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}, pages = {77--94}, year = {1999}, crossref = {DBLP:conf/ifl/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}, 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}, year = {1998}, crossref = {DBLP:conf/apl/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}, 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}, pages = {216--228}, year = {1998}, crossref = {DBLP:conf/ifl/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}, 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}, pages = {72--91}, year = {1997}, crossref = {DBLP:conf/ifl/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}, 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}, pages = {85--104}, year = {1996}, crossref = {DBLP:conf/ifl/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}, 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}, pages = {231--249}, year = {1995}, crossref = {DBLP:conf/fple/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}, 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}, pages = {497--508}, year = {1994}, crossref = {DBLP:conf/conpar/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} }
@proceedings{DBLP:conf/array/2024, editor = {Aaron Hsu and Artjoms Sinkarovs}, title = {Proceedings of the 10th {ACM} {SIGPLAN} International Workshop on Libraries, Languages and Compilers for Array Programming, {ARRAY} 2024, Copenhagen, Denmark, 25 June 2024}, publisher = {{ACM}}, year = {2024}, url = {https://doi.org/10.1145/3652586}, doi = {10.1145/3652586}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/array/2024.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icfp/2023fhpnc, editor = {Gabriele Keller and Sam Westrick}, title = {Proceedings of the 11th {ACM} {SIGPLAN} International Workshop on Functional High-Performance and Numerical Computing, {FHPNC} 2023, Seattle, WA, USA, 4 September 2023}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3609024}, doi = {10.1145/3609024}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/icfp/2023fhpnc.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifl/2023, title = {The 35th Symposium on Implementation and Application of Functional Languages, {IFL} 2023, Braga, Portugal, August 29-31, 2023}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3652561}, doi = {10.1145/3652561}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/ifl/2023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifl/2022, title = {Proceedings of the 34th Symposium on Implementation and Application of Functional Languages, {IFL} 2022, Copenhagen, Denmark, 31 August 2022- 2 September 2022}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3587216}, doi = {10.1145/3587216}, isbn = {978-1-4503-9831-2}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/ifl/2022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pldi/2022array, editor = {Troels Henriksen and Tze Meng Low}, title = {{ARRAY} '22: 8th {ACM} {SIGPLAN} International Workshop on Libraries, Languages and Compilers for Array Programming, San Diego {CA} USA, 13 June 2022}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3520306}, doi = {10.1145/3520306}, isbn = {978-1-4503-9269-3}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/pldi/2022array.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifl/2021, title = {33rd Symposium on Implementation and Application of Functional Languages, {IFL} 2021, Nijmegen, The Netherlands, September 1-3, 2021}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3544885}, doi = {10.1145/3544885}, isbn = {978-1-4503-8644-9}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/ifl/2021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pldi/2021array, editor = {Tze Meng Low and Jeremy Gibbons}, title = {{ARRAY} 2021: Proceedings of the 7th {ACM} {SIGPLAN} International Workshop on Libraries, Languages and Compilers for Array Programming, Virtual Event, Canada, 21 June, 2021}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3460944}, doi = {10.1145/3460944}, isbn = {978-1-4503-8466-7}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/pldi/2021array.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifl/2020, editor = {Olaf Chitil}, title = {{IFL} 2020: 32nd Symposium on Implementation and Application of Functional Languages, Virtual Event / Canterbury, UK, September 2-4, 2020}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3462172}, doi = {10.1145/3462172}, isbn = {978-1-4503-8963-1}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/ifl/2020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/europar/2019w, 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 = {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}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-48340-1}, doi = {10.1007/978-3-030-48340-1}, isbn = {978-3-030-48339-5}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/europar/2019w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifl/2019, editor = {Jurri{\"{e}}n Stutterheim and Wei{-}Ngan Chin}, title = {{IFL} '19: Implementation and Application of Functional Languages, Singapore, September 25-27, 2019}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3412932}, doi = {10.1145/3412932}, isbn = {978-1-4503-7562-7}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/ifl/2019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pldi/2019array, editor = {Jeremy Gibbons}, title = {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}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3315454}, doi = {10.1145/3315454}, isbn = {978-1-4503-6717-2}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/pldi/2019array.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/europar/2018w, 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 = {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}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-10549-5}, doi = {10.1007/978-3-030-10549-5}, isbn = {978-3-030-10548-8}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/europar/2018w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifl/2018, editor = {Matteo Cimini and Jay McCarthy}, title = {Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, {IFL} 2018, Lowell, MA, USA, September 5-7, 2018}, publisher = {{ACM}}, year = {2018}, url = {https://dl.acm.org/citation.cfm?id=3310232}, isbn = {978-1-4503-7143-8}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/ifl/2018.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 = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/pldi/2018array.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifl/2017, editor = {Nicolas Wu}, title = {Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, {IFL} 2017, Bristol, UK, August 30 - September 01, 2017}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3205368}, doi = {10.1145/3205368}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/ifl/2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifl/2015, editor = {Ralf L{\"{a}}mmel}, title = {Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, {IFL} '15, Koblenz, Germany, September 14-16, 2015}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2897336}, doi = {10.1145/2897336}, isbn = {978-1-4503-4273-5}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/ifl/2015.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pldi/2015array, editor = {Laurie J. Hendren and Hidehiko Masuhara and Mary Sheeran and Jan Vitek}, title = {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}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2774959}, doi = {10.1145/2774959}, isbn = {978-1-4503-3584-3}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/pldi/2015array.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pepm/2014, editor = {Wei{-}Ngan Chin and Jurriaan Hage}, title = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego, California, {USA}}, publisher = {{ACM}}, year = {2014}, url = {http://dl.acm.org/citation.cfm?id=2543728}, isbn = {978-1-4503-2619-3}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/pepm/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pldi/2014array, editor = {Laurie J. Hendren and Alex Rubinsteyn and Mary Sheeran and Jan Vitek}, title = {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}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2627373}, doi = {10.1145/2627373}, isbn = {978-1-4503-2937-8}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/pldi/2014array.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icfp/2013fhpc, editor = {Clemens Grelck and Fritz Henglein and Umut A. Acar and Jost Berthold}, title = {Proceedings of the 2nd {ACM} {SIGPLAN} workshop on Functional high-performance computing, Boston, MA, USA, FHPC@ICFP 2013, September 25-27, 2013}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2502323}, doi = {10.1145/2502323}, isbn = {978-1-4503-2381-9}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/icfp/2013fhpc.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ieeehpcs/2013, title = {International Conference on High Performance Computing {\&} Simulation, {HPCS} 2013, Helsinki, Finland, July 1-5, 2013}, publisher = {{IEEE}}, year = {2013}, url = {https://ieeexplore.ieee.org/xpl/conhome/6619547/proceeding}, isbn = {978-1-4799-0836-3}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/ieeehpcs/2013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/IEEEinteract/2012, title = {16th Workshop on Interaction between Compilers and Computer Architectures, {INTERACT} 2012, New Orleans, LA, USA, February 25, 2012}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://ieeexplore.ieee.org/xpl/conhome/6329544/proceeding}, isbn = {978-1-4673-2613-1}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/IEEEinteract/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ipps/2011w, title = {25th {IEEE} International Symposium on Parallel and Distributed Processing, {IPDPS} 2011, Anchorage, Alaska, USA, 16-20 May 2011 - Workshop Proceedings}, publisher = {{IEEE}}, year = {2011}, url = {https://ieeexplore.ieee.org/xpl/conhome/6008655/proceeding}, isbn = {978-1-61284-425-1}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/ipps/2011w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/popl/2011damp, editor = {Manuel Carro and John H. Reppy}, title = {Proceedings of the {POPL} 2011 Workshop on Declarative Aspects of Multicore Programming, {DAMP} 2011, Austin, TX, USA, January 23, 2011}, publisher = {{ACM}}, year = {2011}, isbn = {978-1-4503-0486-3}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/popl/2011damp.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/eoolt/2010, editor = {Peter Fritzson and Edward A. Lee and Fran{\c{c}}ois E. Cellier and David Broman}, title = {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}, publisher = {Link{\"{o}}ping University Electronic Press}, year = {2010}, url = {http://www.ep.liu.se/ecp/contents.asp?issue=47}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/eoolt/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icppw/2010, editor = {Wang{-}Chien Lee and Xin Yuan}, title = {39th International Conference on Parallel Processing, {ICPP} Workshops 2010, San Diego, California, USA, 13-16 September 2010}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://ieeexplore.ieee.org/xpl/conhome/5598247/proceeding}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/icppw/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifl/2010, editor = {Jurriaan Hage and Marco T. Moraz{\'{a}}n}, title = {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}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24276-2}, doi = {10.1007/978-3-642-24276-2}, isbn = {978-3-642-24275-5}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/ifl/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/isola/2010-1, editor = {Tiziana Margaria and Bernhard Steffen}, title = {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}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16558-0}, doi = {10.1007/978-3-642-16558-0}, isbn = {978-3-642-16557-3}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/isola/2010-1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/iwpc/2010, title = {The 18th {IEEE} International Conference on Program Comprehension, {ICPC} 2010, Braga, Minho, Portugal, June 30-July 2, 2010}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://ieeexplore.ieee.org/xpl/conhome/5521349/proceeding}, isbn = {978-0-7695-4113-6}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/iwpc/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sgai/2010, editor = {Max Bramer and Miltos Petridis and Adrian Hopgood}, title = {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}, publisher = {Springer}, year = {2011}, url = {http://www.springerlink.com/content/978-0-85729-129-5}, isbn = {978-0-85729-129-5}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/sgai/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/iccS/2010, editor = {Peter M. A. Sloot and G. Dick van Albada and Jack J. Dongarra}, title = {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}, publisher = {Elsevier}, year = {2010}, url = {https://www.sciencedirect.com/science/journal/18770509/1/1}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/iccS/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mldm/2009p, editor = {Petra Perner}, title = {Machine Learning and Data Mining in Pattern Recognition, 6th International Conference, {MLDM} 2009, Leipzig, Germany, July 2009, Poster Proceedings}, publisher = {ibai Publishing}, year = {2009}, isbn = {978-3-940501-04-2}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/mldm/2009p.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pact/2009, editor = {Victor Malyshkin}, title = {Parallel Computing Technologies, 10th International Conference, PaCT 2009, Novosibirsk, Russia, August 31-September 4, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5698}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03275-2}, doi = {10.1007/978-3-642-03275-2}, isbn = {978-3-642-03274-5}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/pact/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/parco/2009, 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 = {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}, publisher = {{IOS} Press}, year = {2010}, isbn = {978-1-60750-529-7}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/parco/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/popl/2009damp, editor = {Leaf Petersen and Manuel M. T. Chakravarty}, title = {Proceedings of the {POPL} 2009 Workshop on Declarative Aspects of Multicore Programming, {DAMP} 2009, Savannah, GA, USA, January 20, 2009}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1481839}, doi = {10.1145/1481839}, isbn = {978-1-60558-417-1}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/popl/2009damp.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sfp/2009, editor = {Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k and Peter Achten and Pieter W. M. Koopman}, title = {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}, publisher = {Intellect}, year = {2009}, isbn = {978-1-84150-405-6}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/sfp/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/kbse/2008w, title = {23rd {IEEE/ACM} International Conference on Automated Software Engineering - Workshop Proceedings {(ASE} Workshops 2008), 15-16 September 2008, L'Aquila, Italy}, publisher = {{IEEE}}, year = {2008}, url = {https://ieeexplore.ieee.org/xpl/conhome/4674379/proceeding}, isbn = {978-1-4244-2776-5}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/kbse/2008w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifl/2007, editor = {Olaf Chitil and Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k}, title = {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}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-85373-2}, doi = {10.1007/978-3-540-85373-2}, isbn = {978-3-540-85372-5}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/ifl/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ipps/2007, title = {21th International Parallel and Distributed Processing Symposium {(IPDPS} 2007), Proceedings, 26-30 March 2007, Long Beach, California, {USA}}, publisher = {{IEEE}}, year = {2007}, url = {https://ieeexplore.ieee.org/xpl/conhome/4203121/proceeding}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/ipps/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/popl/2007damp, editor = {Neal Glew and Guy E. Blelloch}, title = {Proceedings of the {POPL} 2007 Workshop on Declarative Aspects of Multicore Programming, {DAMP} 2007, Nice, France, January 16, 2007}, publisher = {{ACM}}, year = {2007}, isbn = {978-1-59593-690-5}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/popl/2007damp.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ershov/2006, editor = {Irina B. Virbitskaite and Andrei Voronkov}, title = {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}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-70881-0}, doi = {10.1007/978-3-540-70881-0}, isbn = {978-3-540-70880-3}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/ershov/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifl/2006, editor = {Zolt{\'{a}}n Horv{\'{a}}th and Vikt{\'{o}}ria Zs{\'{o}}k and Andrew Butterfield}, title = {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}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74130-5}, doi = {10.1007/978-3-540-74130-5}, isbn = {978-3-540-74129-9}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/ifl/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cefp/2005, editor = {Zolt{\'{a}}n Horv{\'{a}}th}, title = {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}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11894100}, doi = {10.1007/11894100}, isbn = {3-540-46843-9}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/cefp/2005.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifl/2005, editor = {Andrew Butterfield and Clemens Grelck and Frank Huch}, title = {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}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11964681}, doi = {10.1007/11964681}, isbn = {3-540-69174-X}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/ifl/2005.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/parco/2005, editor = {Gerhard R. Joubert and Wolfgang E. Nagel and Frans J. Peters and Oscar G. Plata and P. Tirado and Emilio L. Zapata}, title = {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}, publisher = {Central Institute for Applied Mathematics, J{\"{u}}lich, Germany}, year = {2005}, isbn = {3-00-017352-8}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/parco/2005.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifl/2004, editor = {Clemens Grelck and Frank Huch and Greg Michaelson and Philip W. Trinder}, title = {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}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/b136772}, doi = {10.1007/B136772}, isbn = {3-540-26094-3}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/ifl/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifl/2003, editor = {Philip W. Trinder and Greg Michaelson and Ricardo Pena}, title = {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}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/b102274}, doi = {10.1007/B102274}, isbn = {3-540-23727-5}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/ifl/2003.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pact/2003, editor = {Victor E. Malyshkin}, title = {Parallel Computing Technologies, 7th International Conference, PaCT 2003, Novosibirsk, Russia, September 15-19, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2763}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45145-7}, doi = {10.1007/978-3-540-45145-7}, isbn = {3-540-40673-5}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/pact/2003.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifl/2002, editor = {Ricardo Pena and Thomas Arts}, title = {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}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-44854-3}, doi = {10.1007/3-540-44854-3}, isbn = {3-540-40190-3}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/ifl/2002.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/europar/2000, editor = {Arndt Bode and Thomas Ludwig and Wolfgang Karl and Roland Wism{\"{u}}ller}, title = {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}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44520-X}, doi = {10.1007/3-540-44520-X}, isbn = {3-540-67956-1}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/europar/2000.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/apl/1999, editor = {Olivier Lefevre}, title = {Proceedings of the International Conference on all Array Programming Languages, {ALP} 1999, Scranton, PA, USA, August 10-14, 1999}, publisher = {{ACM}}, year = {1999}, url = {https://doi.org/10.1145/312627}, doi = {10.1145/312627}, isbn = {1-58113-126-7}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/apl/1999.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifl/1999, editor = {Pieter W. M. Koopman and Chris Clack}, title = {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}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10722298}, doi = {10.1007/10722298}, isbn = {3-540-67864-6}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/ifl/1999.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/apl/1998, editor = {Paolo Di Chio and Antonio Annibali and Robert Bernecky and James Brown and Gitte Christensen}, title = {Proceedings of {APL98} Conference on Array Processing Languages, {APL} 1998, Rome, Italy, August 27-31, 1998}, publisher = {{ACM}}, year = {1998}, url = {https://doi.org/10.1145/327559}, doi = {10.1145/327559}, isbn = {1-58113-181-X}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/apl/1998.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifl/1998, editor = {Kevin Hammond and Antony J. T. Davie and Chris Clack}, title = {Implementation of Functional Languages, 10th International Workshop, IFL'98, London, UK, September 9-11, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1595}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48515-5}, doi = {10.1007/3-540-48515-5}, isbn = {3-540-66229-4}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/ifl/1998.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifl/1997, editor = {Chris Clack and Kevin Hammond and Antony J. T. Davie}, title = {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}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0055420}, doi = {10.1007/BFB0055420}, isbn = {3-540-64849-6}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/ifl/1997.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ifl/1996, editor = {Werner E. Kluge}, title = {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}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63237-9}, doi = {10.1007/3-540-63237-9}, isbn = {3-540-63237-9}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/ifl/1996.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fple/1995, editor = {Pieter H. Hartel and Marinus J. Plasmeijer}, title = {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}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60675-0}, doi = {10.1007/3-540-60675-0}, isbn = {3-540-60675-0}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/fple/1995.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/conpar/1994, editor = {Bruno Buchberger and Jens Volkert}, title = {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}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58430-7}, doi = {10.1007/3-540-58430-7}, isbn = {3-540-58430-7}, timestamp = {Thu, 15 Aug 2024 08:03:56 +0200}, biburl = {https://dblp.org/rec/conf/conpar/1994.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.