Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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},
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}
}
a service of 
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.
retrieved on 2024-08-15 08:03 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
