Sven-Bodo Scholz

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 22

Top Venues

IFL

ARRAY@PLDI

CoRR

Concurr. Comput. Pract. Exp.

University of Kiel (PHD)

Education History

University of Kiel

PHD

Publications

Stefan Schrijvers, Thomas Koopman, Sven-Bodo Scholz
Shray: An Owner-Compute Distributed Shared-Memory System. ARRAY@PLDI (2024)
Artjoms Sinkarovs, Thomas Koopman, Sven-Bodo Scholz
Correctness is Demanding, Performance is Frustrating. CoRR (2024)
Artjoms Sinkarovs, Thomas Koopman, Sven-Bodo Scholz
Rank-Polymorphism for Shape-Guided Blocking. FHPNC (2023)
Jordy Aaldering, Sven-Bodo Scholz, Bernard van Gastel
Type Patterns: Pattern Matching on Shape-Carrying Array Types. IFL (2023)
Michiel Verloop, Thomas Koopman, Sven-Bodo Scholz
Modulo in high-performance code: strength reduction for modulo-based array indexing in loops. IFL (2023)
Patrick van Beurden, Sven-Bodo Scholz
On Generating Out-Of-Core GPU Code for Multi-Dimensional Array Operations. IFL (2022)
Artjoms Sinkarovs, Sven-Bodo Scholz
Parallel scan as a multidimensional array problem. ARRAY@PLDI (2022)
Niek Janssen, Sven-Bodo Scholz
On Mapping N-Dimensional Data-Parallelism Efficiently into GPU-Thread-Spaces. IFL (2021)
Gijs van Cuyck, Sven-Bodo Scholz
In-Place-Folding of Non-Scalar Hyper-Planes of Multi-Dimensional Arrays. IFL (2021)
Artjoms Sinkarovs, Hans-Nikolai Vießmann, Sven-Bodo Scholz
Array languages make neural networks fast. ARRAY@PLDI (2021)
Hans-Nikolai Vießmann, Sven-Bodo Scholz
Effective Host-GPU Memory Management Through Code Generation. IFL (2020)
Wim Vanderbauwhede, Sven-Bodo Scholz, Martin Margala
FPGAs for Domain Experts. Int. J. Reconfigurable Comput. 2020 (2020)
Sven-Bodo Scholz, Artjoms Sinkarovs
Tensor comprehensions in SaC. IFL (2019)
Max Baird, Sven-Bodo Scholz, Artjoms Sinkarovs, Leonardo Bautista-Gomez
Checkpointing Kernel Executions of MPI+CUDA Applications. Euro-Par Workshops (2019)
Artjoms Sinkarovs, Hans-Nikolai Vießmann, Sven-Bodo Scholz
Array Languages Make Neural Networks Fast. CoRR (2019)
Artjoms Sinkarovs, Robert Bernecky, Sven-Bodo Scholz
Convolutional neural networks in APL. ARRAY@PLDI (2019)
Hans-Nikolai Vießmann, Artjoms Sinkarovs, Sven-Bodo Scholz
Extended Memory Reuse: An Optimisation for Reducing Memory Allocations. IFL (2018)
Max Baird, Christian Fensch, Sven-Bodo Scholz, Artjoms Sinkarovs
A Lightweight Approach to GPU Resilience. Euro-Par Workshops (2018)
Artjoms Sinkarovs, Robert Bernecky, Hans-Nikolai Vießmann, Sven-Bodo Scholz
A Rosetta Stone for array languages. ARRAY@PLDI (2018)
Artjoms Sinkarovs, Sven-Bodo Scholz
A Lambda Calculus for Transfinite Arrays: Unifying Arrays and Streams. CoRR (2017)
Artjoms Sinkarovs, Sven-Bodo Scholz, Robert J. Stewart, Hans-Nikolai Vießmann
Recursive Array Comprehensions in a Call-by-Value Language. IFL (2017)
Artjoms Sinkarovs, Sven-Bodo Scholz
Type-driven data layouts for improved vectorisation. Concurr. Comput. Pract. Exp. 28 (7) (2016)
Stuart Gordon, Sven-Bodo Scholz
Dynamic adaptation of functional runtime systems through external control. IFL (2015)
Hans-Nikolai Vießmann, Sven-Bodo Scholz, Artjoms Sinkarovs, Brian Bainbridge, Brian Hamilton, Simon Flower
Making fortran legacy code more functional: using the BGS* geomagnetic field modelling system as an example. IFL (2015)
Robert Bernecky, Sven-Bodo Scholz
Abstract expressionism for parallel performance. ARRAY@PLDI (2015)
Wim Vanderbauwhede, Sven-Bodo Scholz, Tetsuya Takemi
Putting Heterogeneous High-Performance Computing at the Fingertips of Domain Experts (NII Shonan Meeting 2015-18). NII Shonan Meet. Rep. 2015 (2015)
Sven-Bodo Scholz
Partial evaluation as universal compiler tool: experiences from the SAC Eco system. PEPM (2014)
Artjoms Sinkarovs, Sven-Bodo Scholz, Robert Bernecky, Roeland Douma, Clemens Grelck
-body problem and their performance on SMPs and GPGPUs. Concurr. Comput. Pract. Exp. 26 (4) (2014)
Merijn Verstraaten, Sven-Bodo Scholz
On Predicting the Impact of Resource Redistributions in Streaming Applications. ARRAY@PLDI (2014)
Santanu Kumar Dash, Sven-Bodo Scholz, Bruce Christianson
Modular design of data-parallel graph algorithms. HPCS (2013)
Santanu Kumar Dash, Sven-Bodo Scholz, Stephan Herhut, Bruce Christianson
A scalable approach to computing representative lowest common ancestor in directed acyclic graphs. Theor. Comput. Sci. 513 (2013)
Artjoms Sinkarovs, Sven-Bodo Scholz
Data layout inference for code vectorisation. HPCS (2013)
Artjoms Sinkarovs, Sven-Bodo Scholz
Semantics-preserving data layout transformations for improved vectorisation. FHPC@ICFP (2013)
Volkmar Wieser, Clemens Grelck, Peter Haslinger, Jing Guo, Filip Korzeniowski, Robert Bernecky, Bernhard Moser, Sven-Bodo Scholz
Combining high productivity and high performance in image processing using Single Assignment C on multi-core CPUs and many-core GPUs. J. Electronic Imaging 21 (2) (2012)
Raphael Poss, Clemens Grelck, Stephan Herhut, Sven-Bodo Scholz
Lazy reference counting for the microgrid. Interaction between Compilers and Computer Architectures (2012)
Clemens Grelck, Tim van Deurzen, Stephan Herhut, Sven-Bodo Scholz
Asynchronous adaptive optimisation for generic data-parallel array programming. Concurr. Comput. Pract. Exp. 24 (5) (2012)
Jing Guo, Antonio Wendell De Oliveira Rodrigues, Jeyarajan Thiyagalingam, Frédéric Guyomarc'h, Pierre Boulet, Sven-Bodo Scholz
Harnessing the Power of GPUs without Losing Abstractions in SAC and ArrayOL: A Comparative Study. IPDPS Workshops (2011)
Jing Guo, Jeyarajan Thiyagalingam, Sven-Bodo Scholz
Breaking the GPU programming barrier with the auto-parallelising SAC compiler. DAMP (2011)
Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko
Asynchronous Stream Processing with S-Net. Int. J. Parallel Program. 38 (1) (2010)
Frank Penczek, Stephan Herhut, Sven-Bodo Scholz, Alexander V. Shafarenko, Jungsook Yang, Chun-Yi Chen, Nader Bagherzadeh, Clemens Grelck
Message Driven Programming with S-Net: Methodology and Performance. ICPP Workshops (2010)
Frank Penczek, Stephan Herhut, Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko, Rémi Barrère, Eric Lenormand
Parallel signal processing with S-Net. ICCS (1) (2010)
Daniel Rolls, Carl Joslin, Sven-Bodo Scholz
Unibench: A Tool for Automated and Collaborative Benchmarking. ICPC (2010)
Stephan Herhut, Carl Joslin, Sven-Bodo Scholz, Raphael Poss, Clemens Grelck
Concurrent Non-deferred Reference Counting on the Microgrid: First Experiences. IFL (2010)
Pam Green, Peter C. R. Lane, Austen Rainer, Sven-Bodo Scholz
Selecting Features in Origin Analysis. SGAI Conf. (2010)
Kristian Stavåker, Daniel Rolls, Jing Guo, Peter Fritzson, Sven-Bodo Scholz
Compilation of Modelica Array Computations into Single Assignment C for Efficient Execution on CUDA-enabled GPUs. EOOLT (2010)
Raimund Kirner, Stephan Herhut, Sven-Bodo Scholz
Compiler-Support for Robust Multi-core Computing. ISoLA (1) (2010)
Sven-Bodo Scholz, Alexander V. Shafarenko
Guest Editors' Editorial: Special Issue on the Second International Workshop on Microgrids. Int. J. Parallel Program. 38 (1) (2010)
Jing Guo, Jeyarajan Thiyagalingam, Sven-Bodo Scholz
Towards Compiling SAC to CUDA. Trends in Functional Programming (2009)
Daniel Rolls, Carl Joslin, Alexei Kudryavtsev, Sven-Bodo Scholz, Alexander V. Shafarenko
Numerical Simulations of Unsteady Shock Wave Interactions Using SaC and Fortran-90. PaCT (2009)
Stephan Herhut, Sven-Bodo Scholz, Clemens Grelck
Controlling chaos: on safe side-effects in data-parallel operations. DAMP (2009)
Frank Penczek, Clemens Grelck, Sven-Bodo Scholz
An Operational Semantics for S-Net. PARCO (2009)
Pam Green, Peter C. R. Lane, Austen Rainer, Sven-Bodo Scholz
Building Classifiers to Identify Split Files. MLDM Posters (2009)
Robert Bernecky, Stephan Herhut, Sven-Bodo Scholz
Symbiotic Expressions. IFL (2009)
Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko
A Gentle Introduction to S-Net: Typed Stream Processing and Declarative Coordination of Asynchronous Components. Parallel Process. Lett. 18 (2) (2008)
Austen Rainer, Peter C. R. Lane, James A. Malcolm, Sven-Bodo Scholz
Using n-grams to rapidly characterise the evolution of software code. ASE Workshops (2008)
Clemens Grelck, Steffen Kuthe, Sven-Bodo Scholz
A Hybrid Shared Memory Execution Model for a Data Parallel Language with I/O. Parallel Process. Lett. 18 (1) (2008)
Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko
Coordinating Data Parallel SAC Programs with S-Net. IPDPS (2007)
Clemens Grelck, Sven-Bodo Scholz
SAC: off-the-shelf support for data-parallelism on multicores. DAMP (2007)
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky, Clemens Grelck, Kai Trojahner
From Contracts Towards Dependent Types: Proofs by Partial Evaluation. IFL (2007)
Clemens Grelck, Sven-Bodo Scholz
Merging compositions of array skeletons in SaC. Parallel Comput. 32 (7-8) (2006)
Robert Bernecky, Stephan Herhut, Sven-Bodo Scholz, Kai Trojahner, Clemens Grelck, Alexander V. Shafarenko
Index Vector Elimination - Making Index Vectors Affordable. IFL (2006)
Kai Trojahner, Clemens Grelck, Sven-Bodo Scholz
On Optimising Shape-Generic Array Programs Using Symbolic Structural Information. IFL (2006)
Clemens Grelck, Sven-Bodo Scholz
SAC - A Functional Array Language for Efficient Multi-threaded Execution. Int. J. Parallel Program. 34 (4) (2006)
Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko
Streaming Networks for Coordinating Data-Parallel Programs. Ershov Memorial Conference (2006)
Sven-Bodo Scholz
Functional Array Programming in SaC. CEFP (2005)
Clemens Grelck, Karsten Hinckfuß, Sven-Bodo Scholz
With-Loop Fusion for Data Locality and Parallelism. IFL (2005)
Clemens Grelck, Sven-Bodo Scholz
Merging Compositions of Array Skeletons in SAC. PARCO (2005)
Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko
A Binding Scope Analysis for Generic Programs on Arrays. IFL (2005)
Alexander V. Shafarenko, Sven-Bodo Scholz, Stephan Herhut, Clemens Grelck, Kai Trojahner
Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences. IFL (2005)
Alexander V. Shafarenko, Sven-Bodo Scholz
General Homomorphic Overloading. IFL (2004)
Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner
With-Loop Scalarization - Merging Nested Array Operations. IFL (2003)
Clemens Grelck, Sven-Bodo Scholz
Towards an Efficient Functional Implementation of the NAS Benchmark FT. PaCT (2003)
Clemens Grelck, Sven-Bodo Scholz
Sac - From High-Level Programming with Arrays to Efficient Parallel Execution. Parallel Process. Lett. 13 (3) (2003)
Sven-Bodo Scholz
Single Assignment C: efficient support for high-level array operations in a functional setting. J. Funct. Program. 13 (6) (2003)
Clemens Grelck, Sven-Bodo Scholz
Axis Control in SAC. IFL (2002)
Clemens Grelck, Sven-Bodo Scholz
HPF vs. SAC - A Case Study (Research Note). Euro-Par (2000)
Clemens Grelck, Dietmar Kreye, Sven-Bodo Scholz
On Code Generation for Multi-generator WITH-Loops in SAC. IFL (1999)
Clemens Grelck, Sven-Bodo Scholz
Accelerating APL programs with SAC. APL (1999)
Sven-Bodo Scholz
On defining application-specific high-level array operations by means of shape-invariant programming facilities. APL (1998)
Sven-Bodo Scholz
A Case Study: Effects of WITH-Loop-Folding on the NAS Benchmark MG in SAC. IFL (1998)
Sven-Bodo Scholz
WITH-Loop-Folding in SAC - Condensing Consecutive Array Operations. Implementation of Functional Languages (1997)
Sven-Bodo Scholz
On Programming Scientific Applications in SAC - A Functional Language Extended by a Subsystem for High-Level Array Operations. Implementation of Functional Languages (1996)
Werner E. Kluge, Carsten Rathsack, Sven-Bodo Scholz
Using pi-RED as a Teaching Tool for Functional Programming and Program Execution. FPLE (1995)
Torsten Bülck, Achim Held, Werner E. Kluge, Stefan Pantke, Carsten Rathsack, Sven-Bodo Scholz, Raimund Schröder
Experience with the Implementation of a Concurrent Graph Reduction System on an nCube/2 Platform. CONPAR (1994)

Sven-Bodo Scholz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sven-Bodo Scholz