BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Ireland
1 × Portugal
1 × Spain
1 × USA
2 × Hungary
3 × Germany
3 × The Netherlands
3 × United Kingdom
Collaborated with:
C.Grelck ∅ K.Trojahner A.V.Shafarenko S.Herhut C.Joslin R.Bernecky D.Rolls K.Hinckfuß D.Kreye W.E.Kluge C.Rathsack R.Poss
Talks about:
program (6) array (6) sac (6) loop (5) function (3) experi (3) tool (3) oper (3) use (3) benchmark (2)

Person: Sven-Bodo Scholz

DBLP DBLP: Scholz:Sven=Bodo

Facilitated 1 volumes:

IFL 2008Ed

Contributed to:

PEPM 20142014
ICPC 20102010
IFL 20102010
IFL 20072007
IFL 20062006
CEFP 20052005
IFL 20052005
IFL 20042004
IFL 20032003
IFL 20022002
IFL 19991999
IFL 19981998
IFL 19971997
IFL 19961996
FPLE 19951995

Wrote 18 papers:

PEPM-2014-Scholz #case study #compilation #experience #partial evaluation
Partial evaluation as universal compiler tool: experiences from the SAC Eco system (SBS), pp. 95–96.
ICPC-2010-RollsJS #automation #benchmark #collaboration #metric #named
Unibench: A Tool for Automated and Collaborative Benchmarking (DR, CJ, SBS), pp. 50–51.
IFL-2010-HerhutJSPG #case study #concurrent #experience
Concurrent Non-deferred Reference Counting on the Microgrid: First Experiences (SH, CJ, SBS, RP, CG), pp. 185–202.
IFL-2007-HerhutSBGT #contract #dependent type #partial evaluation #proving #towards
From Contracts Towards Dependent Types: Proofs by Partial Evaluation (SH, SBS, RB, CG, KT), pp. 254–273.
IFL-2006-BerneckyHSTGS
Index Vector Elimination — Making Index Vectors Affordable (RB, SH, SBS, KT, CG, AVS), pp. 19–36.
IFL-2006-TrojahnerGS #array #on the #optimisation #source code #using
On Optimising Shape-Generic Array Programs Using Symbolic Structural Information (KT, CG, SBS), pp. 1–18.
CEFP-2005-Scholz #array #functional #programming
Functional Array Programming in SaC (SBS), pp. 62–99.
IFL-2005-GrelckHS #locality #parallel
With-Loop Fusion for Data Locality and Parallelism (CG, KH, SBS), pp. 178–195.
IFL-2005-GrelckSS #analysis #array #source code
A Binding Scope Analysis for Generic Programs on Arrays (CG, SBS, AVS), pp. 212–230.
IFL-2005-ShafarenkoSHGT #case study #equation #experience #implementation #lessons learnt #using
Implementing a Numerical Solution of the KPI Equation Using Single Assignment C: Lessons and Experiences (AVS, SBS, SH, CG, KT), pp. 160–177.
IFL-2004-ShafarenkoS
General Homomorphic Overloading (AVS, SBS), pp. 195–210.
IFL-2003-GrelckST #array
With-Loop Scalarization — Merging Nested Array Operations (CG, SBS, KT), pp. 118–134.
IFL-2002-GrelckS
Axis Control in SAC (CG, SBS), pp. 182–198.
IFL-1999-GrelckKS #code generation #multi #on the
On Code Generation for Multi-generator WITH-Loops in SAC (CG, DK, SBS), pp. 77–94.
IFL-1998-Scholz #benchmark #case study #metric
A Case Study: Effects of WITH-Loop-Folding on the NAS Benchmark MG in SAC (SBS), pp. 216–228.
IFL-1997-Scholz #array
WITH-Loop-Folding in SAC — Condensing Consecutive Array Operations (SBS), pp. 72–91.
IFL-1996-Scholz #array #functional #on the #programming
On Programming Scientific Applications in SAC — A Functional Language Extended by a Subsystem for High-Level Array Operations (SBS), pp. 85–104.
FPLE-1995-KlugeRS #education #execution #functional #programming #using
Using pi-RED as a Teaching Tool for Functional Programming and Program Execution (WEK, CR, SBS), pp. 231–249.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.