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 = {ARRAY@PLDI},
pages = {25--37},
publisher = {{ACM}},
year = {2024}
}
@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}
}
@inproceedings{DBLP:conf/icfp/SinkarovsKS23,
author = {Artjoms Sinkarovs and
Thomas Koopman and
Sven{-}Bodo Scholz},
title = {Rank-Polymorphism for Shape-Guided Blocking},
booktitle = {{FHPNC}},
pages = {1--14},
publisher = {{ACM}},
year = {2023}
}
@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 = {{IFL}},
pages = {11:1--11:14},
publisher = {{ACM}},
year = {2023}
}
@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 = {{IFL}},
pages = {12:1--12:13},
publisher = {{ACM}},
year = {2023}
}
@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 = {{IFL}},
pages = {7:1--7:13},
publisher = {{ACM}},
year = {2022}
}
@inproceedings{DBLP:conf/pldi/SinkarovsS22,
author = {Artjoms Sinkarovs and
Sven{-}Bodo Scholz},
title = {Parallel scan as a multidimensional array problem},
booktitle = {ARRAY@PLDI},
pages = {1--11},
publisher = {{ACM}},
year = {2022}
}
@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 = {{IFL}},
pages = {29--41},
publisher = {{ACM}},
year = {2021}
}
@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 = {{IFL}},
pages = {54--66},
publisher = {{ACM}},
year = {2021}
}
@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@PLDI},
pages = {39--50},
publisher = {{ACM}},
year = {2021}
}
@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}
}
@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}},
pages = {138--149},
publisher = {{ACM}},
year = {2020}
}
@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 Workshops},
series = {Lecture Notes in Computer Science},
volume = {11997},
pages = {694--706},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/ifl/ScholzS19,
author = {Sven{-}Bodo Scholz and
Artjoms Sinkarovs},
title = {Tensor comprehensions in SaC},
booktitle = {{IFL}},
pages = {15:1--15:13},
publisher = {{ACM}},
year = {2019}
}
@inproceedings{DBLP:conf/pldi/SinkarovsBS19,
author = {Artjoms Sinkarovs and
Robert Bernecky and
Sven{-}Bodo Scholz},
title = {Convolutional neural networks in {APL}},
booktitle = {ARRAY@PLDI},
pages = {69--79},
publisher = {{ACM}},
year = {2019}
}
@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}
}
@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 Workshops},
series = {Lecture Notes in Computer Science},
volume = {11339},
pages = {826--838},
publisher = {Springer},
year = {2018}
}
@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 = {{IFL}},
pages = {107--118},
publisher = {{ACM}},
year = {2018}
}
@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 = {ARRAY@PLDI},
pages = {1--10},
publisher = {{ACM}},
year = {2018}
}
@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}
}
@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 = {{IFL}},
pages = {5:1--5:12},
publisher = {{ACM}},
year = {2017}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/ifl/GordonS15,
author = {Stuart Gordon and
Sven{-}Bodo Scholz},
title = {Dynamic adaptation of functional runtime systems through external
control},
booktitle = {{IFL}},
pages = {10:1--10:13},
publisher = {{ACM}},
year = {2015}
}
@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 = {{IFL}},
pages = {11:1--11:13},
publisher = {{ACM}},
year = {2015}
}
@inproceedings{DBLP:conf/pldi/BerneckyS15,
author = {Robert Bernecky and
Sven{-}Bodo Scholz},
title = {Abstract expressionism for parallel performance},
booktitle = {ARRAY@PLDI},
pages = {54--59},
publisher = {{ACM}},
year = {2015}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/pepm/Scholz14,
author = {Sven{-}Bodo Scholz},
title = {Partial evaluation as universal compiler tool: experiences from the
{SAC} Eco system},
booktitle = {{PEPM}},
pages = {95--96},
publisher = {{ACM}},
year = {2014}
}
@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@PLDI},
pages = {76--81},
publisher = {{ACM}},
year = {2014}
}
@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}
}
@inproceedings{DBLP:conf/icfp/SinkarovsS13,
author = {Artjoms Sinkarovs and
Sven{-}Bodo Scholz},
title = {Semantics-preserving data layout transformations for improved vectorisation},
booktitle = {FHPC@ICFP},
pages = {59--70},
publisher = {{ACM}},
year = {2013}
}
@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 = {{HPCS}},
pages = {398--404},
publisher = {{IEEE}},
year = {2013}
}
@inproceedings{DBLP:conf/ieeehpcs/SinkarovsS13,
author = {Artjoms Sinkarovs and
Sven{-}Bodo Scholz},
title = {Data layout inference for code vectorisation},
booktitle = {{HPCS}},
pages = {527--534},
publisher = {{IEEE}},
year = {2013}
}
@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}
}
@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}
}
@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 = {Interaction between Compilers and Computer Architectures},
pages = {41--48},
publisher = {{IEEE} Computer Society},
year = {2012}
}
@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 = {{IPDPS} Workshops},
pages = {1183--1190},
publisher = {{IEEE}},
year = {2011}
}
@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 = {{DAMP}},
pages = {15--24},
publisher = {{ACM}},
year = {2011}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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 = {{EOOLT}},
series = {Link{\"{o}}ping Electronic Conference Proceedings},
volume = {47},
pages = {81--90},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {2010}
}
@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 = {{ICPP} Workshops},
pages = {405--412},
publisher = {{IEEE} Computer Society},
year = {2010}
}
@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 = {{IFL}},
series = {Lecture Notes in Computer Science},
volume = {6647},
pages = {185--202},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/isola/KirnerHS10,
author = {Raimund Kirner and
Stephan Herhut and
Sven{-}Bodo Scholz},
title = {Compiler-Support for Robust Multi-core Computing},
booktitle = {ISoLA {(1)}},
series = {Lecture Notes in Computer Science},
volume = {6415},
pages = {47--57},
publisher = {Springer},
year = {2010}
}
@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 = {{ICPC}},
pages = {50--51},
publisher = {{IEEE} Computer Society},
year = {2010}
}
@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 = {{SGAI} Conf},
pages = {379--392},
publisher = {Springer},
year = {2010}
}
@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 = {{ICCS}},
series = {Procedia Computer Science},
volume = {1},
number = {1},
pages = {2085--2094},
publisher = {Elsevier},
year = {2010}
}
@inproceedings{DBLP:conf/ifl/BerneckyHS09,
author = {Robert Bernecky and
Stephan Herhut and
Sven{-}Bodo Scholz},
title = {Symbiotic Expressions},
booktitle = {{IFL}},
series = {Lecture Notes in Computer Science},
volume = {6041},
pages = {107--124},
publisher = {Springer},
year = {2009}
}
@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 = {{MLDM} Posters},
pages = {1--8},
publisher = {ibai Publishing},
year = {2009}
}
@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 = {PaCT},
series = {Lecture Notes in Computer Science},
volume = {5698},
pages = {445--456},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/parco/PenczekGS09,
author = {Frank Penczek and
Clemens Grelck and
Sven{-}Bodo Scholz},
title = {An Operational Semantics for S-Net},
booktitle = {{PARCO}},
series = {Advances in Parallel Computing},
volume = {19},
pages = {467--474},
publisher = {{IOS} Press},
year = {2009}
}
@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 = {{DAMP}},
pages = {59--67},
publisher = {{ACM}},
year = {2009}
}
@inproceedings{DBLP:conf/sfp/GuoTS09,
author = {Jing Guo and
Jeyarajan Thiyagalingam and
Sven{-}Bodo Scholz},
title = {Towards Compiling {SAC} to {CUDA}},
booktitle = {Trends in Functional Programming},
series = {Trends in Functional Programming},
volume = {10},
pages = {33--48},
publisher = {Intellect},
year = {2009}
}
@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}
}
@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}
}
@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 = {{ASE} Workshops},
pages = {43--52},
publisher = {{IEEE}},
year = {2008}
}
@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 = {{IFL}},
series = {Lecture Notes in Computer Science},
volume = {5083},
pages = {254--273},
publisher = {Springer},
year = {2007}
}
@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 = {{IPDPS}},
pages = {1--8},
publisher = {{IEEE}},
year = {2007}
}
@inproceedings{DBLP:conf/popl/GrelckS07,
author = {Clemens Grelck and
Sven{-}Bodo Scholz},
title = {{SAC:} off-the-shelf support for data-parallelism on multicores},
booktitle = {{DAMP}},
pages = {25--33},
publisher = {{ACM}},
year = {2007}
}
@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}
}
@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}
}
@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 = {Ershov Memorial Conference},
series = {Lecture Notes in Computer Science},
volume = {4378},
pages = {451--455},
publisher = {Springer},
year = {2006}
}
@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 = {{IFL}},
series = {Lecture Notes in Computer Science},
volume = {4449},
pages = {19--36},
publisher = {Springer},
year = {2006}
}
@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 = {{IFL}},
series = {Lecture Notes in Computer Science},
volume = {4449},
pages = {1--18},
publisher = {Springer},
year = {2006}
}
@inproceedings{DBLP:conf/cefp/Scholz05,
author = {Sven{-}Bodo Scholz},
title = {Functional Array Programming in SaC},
booktitle = {{CEFP}},
series = {Lecture Notes in Computer Science},
volume = {4164},
pages = {62--99},
publisher = {Springer},
year = {2005}
}
@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 = {{IFL}},
series = {Lecture Notes in Computer Science},
volume = {4015},
pages = {178--195},
publisher = {Springer},
year = {2005}
}
@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 = {{IFL}},
series = {Lecture Notes in Computer Science},
volume = {4015},
pages = {212--230},
publisher = {Springer},
year = {2005}
}
@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 = {{IFL}},
series = {Lecture Notes in Computer Science},
volume = {4015},
pages = {160--177},
publisher = {Springer},
year = {2005}
}
@inproceedings{DBLP:conf/parco/GrelckS05,
author = {Clemens Grelck and
Sven{-}Bodo Scholz},
title = {Merging Compositions of Array Skeletons in {SAC}},
booktitle = {{PARCO}},
series = {John von Neumann Institute for Computing Series},
volume = {33},
pages = {859--866},
publisher = {Central Institute for Applied Mathematics, J{\"{u}}lich, Germany},
year = {2005}
}
@inproceedings{DBLP:conf/ifl/ShafarenkoS04,
author = {Alexander V. Shafarenko and
Sven{-}Bodo Scholz},
title = {General Homomorphic Overloading},
booktitle = {{IFL}},
series = {Lecture Notes in Computer Science},
volume = {3474},
pages = {195--210},
publisher = {Springer},
year = {2004}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/ifl/GrelckST03,
author = {Clemens Grelck and
Sven{-}Bodo Scholz and
Kai Trojahner},
title = {With-Loop Scalarization - Merging Nested Array Operations},
booktitle = {{IFL}},
series = {Lecture Notes in Computer Science},
volume = {3145},
pages = {118--134},
publisher = {Springer},
year = {2003}
}
@inproceedings{DBLP:conf/pact/GrelckS03,
author = {Clemens Grelck and
Sven{-}Bodo Scholz},
title = {Towards an Efficient Functional Implementation of the {NAS} Benchmark
{FT}},
booktitle = {PaCT},
series = {Lecture Notes in Computer Science},
volume = {2763},
pages = {230--235},
publisher = {Springer},
year = {2003}
}
@inproceedings{DBLP:conf/ifl/GrelckS02,
author = {Clemens Grelck and
Sven{-}Bodo Scholz},
title = {Axis Control in {SAC}},
booktitle = {{IFL}},
series = {Lecture Notes in Computer Science},
volume = {2670},
pages = {182--198},
publisher = {Springer},
year = {2002}
}
@inproceedings{DBLP:conf/europar/GrelckS00,
author = {Clemens Grelck and
Sven{-}Bodo Scholz},
title = {{HPF} vs. {SAC} - {A} Case Study (Research Note)},
booktitle = {Euro-Par},
series = {Lecture Notes in Computer Science},
volume = {1900},
pages = {620--624},
publisher = {Springer},
year = {2000}
}
@inproceedings{DBLP:conf/apl/GrelckS99,
author = {Clemens Grelck and
Sven{-}Bodo Scholz},
title = {Accelerating {APL} programs with {SAC}},
booktitle = {{APL}},
pages = {50--57},
publisher = {{ACM}},
year = {1999}
}
@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 = {{IFL}},
series = {Lecture Notes in Computer Science},
volume = {1868},
pages = {77--94},
publisher = {Springer},
year = {1999}
}
@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 = {{APL}},
pages = {32--38},
publisher = {{ACM}},
year = {1998}
}
@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 = {{IFL}},
series = {Lecture Notes in Computer Science},
volume = {1595},
pages = {216--228},
publisher = {Springer},
year = {1998}
}
@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}
}
@inproceedings{DBLP:conf/ifl/Scholz97,
author = {Sven{-}Bodo Scholz},
title = {WITH-Loop-Folding in {SAC} - Condensing Consecutive Array Operations},
booktitle = {Implementation of Functional Languages},
series = {Lecture Notes in Computer Science},
volume = {1467},
pages = {72--91},
publisher = {Springer},
year = {1997}
}
@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},
series = {Lecture Notes in Computer Science},
volume = {1268},
pages = {85--104},
publisher = {Springer},
year = {1996}
}
@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 = {{FPLE}},
series = {Lecture Notes in Computer Science},
volume = {1022},
pages = {231--249},
publisher = {Springer},
year = {1995}
}
@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 = {{CONPAR}},
series = {Lecture Notes in Computer Science},
volume = {854},
pages = {497--508},
publisher = {Springer},
year = {1994}
}
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-07-16 17:20 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:
