Sven-Bodo Scholz

96 papers A 2B 2C 1Misc 1Journal 21Unranked 64

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