Presentations

2017

Programming Languages and Compilers for the Age of Many-Core

December 4, 2017, Invited Talk
Technical University of Hamburg
Hamburg, Germany

Towards Compiling SAC for the Xeon Phi Knights Corner and Knights Landing Architectures

September 1, 2017
29th International Symposium on Implementation and Application of Functional Languages (IFL 2017)
Bristol, United Kingdom

Persistent Asynchronous Adaptive Specialisation for Generic Array Programming

July 10, 2017
10th International Symposium on High-level Parallel Programming and Applications (HLPP 2017)
Valladolid, Spain

High Performance Modelling and Simulation for Big Data Applications

June 22, 2017, Invited Talk
32nd ISC High Performance Conference, Workshop on HPC I/O in the Data Center (HPC-IODC 2017)
Frankfurt (Main), Germany

Functional Array Programming for Cluster Architectures with SAC (Single Assignment C)

May 9, 2017
34. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte
(34th GI Workshop on Programming Languages and Computing Concepts)
Bad Honnef, Germany

2016

Current Status of Tasks and Activities in Grant Periods 1 and 2

December 12, 2016
2nd Plenary Meeting of the ICT COST Action High Performance Modelling and Simulation of Big Data Applications (cHiPSet)
Luxembourg, Luxembourg

Heterogeneous Computing without Heterogeneous Programming !?

November 1, 2016, Invited Talk
3rd Workshop on Software Engineering for Parallel Systems (SEPS 2016)
Amsterdam, Netherlands

Fully Automatic Cluster Support for Single Assignment C (SAC) Using a Custom Software DSM Solution

July 6, 2016
19th International Workshop on Compilers for Parallel Computing (CPC 2016)
Valladolid, Spain

Initiative on Parallel Resource Aware Computing

April 22, 2016, Invited Talk
HiPEAC Computing Systems Spring Week
Porto, Portugal

EU-ICT COST Action Plans on Resource Aware Computing

April 2, 2016, Invited Talk
Workshop on Resource Aware Computing (RAC 2016), part of the European Conference on Theory and Practice of Software (ETAPS 2016)
Eindhoven, Netherlands

Heterogeneous Computing with Single Assignment C (SAC): Abstraction to the Rescue

January 19, 2016, Invited Talk
HiPEAC Workshop on Software Engineering: Programming Future Large Scale IT Systems
Prague, Czech Republic

2015

Heterogeneous Computing without Heterogeneous Programming ?

November 17, 2015
NII Shonan Meeting on Putting Heterogeneous High-Performance Computing at the Fingertips of Domain Experts
Shonan Village, Japan

Moldable Applications on Multi-Core Servers: Active Resource Management instead of Passive Resource Administration

October 5, 2015
18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'15)
(18th Workshop on Programming Languages and Foundations of Programming)
Pörtschach am Wörthersee, Austria

Programming Languages and Compilers for the Age of Many-Core

September 29, 2015, Invited Talk
University of Paderborn
Paderborn, Germany

Towards Optimised Resource Utilisation for Functional Data Parallel Array Processing

September 16, 2015
27th International Symposium on Implementation and Application of Functional Languages (IFL'15)
Koblenz, Germany

Active Resource Management for Multi-Core Runtime Systems for Malleable Applications

September 3, 2015
17th International Conference on Parallel Computing (ParCo'15)
Edinburgh, United Kingdom

Coordination Programming in S-Net: A Critical Assessment of Design Choices and Implementation Technique

September 1, 2015
17th International Conference on Parallel Computing (ParCo'15), Mini-Symposium on Coordination Programming
Edinburgh, United Kingdom

Single Assignment C: From Functional Programming with Curly Brackets to High Performance Computing

July 9, 2015, Invited Talk
6th Central European Summer School on Functional Programming (CEFP'15)
Budapest, Hungary

Persistent Asynchronous Adaptive Specialization for Generic Array Programming

June 3-5, 2015
16th International Symposium on Trends in Functional Programming (TFP'15)
Sophia Antipolis, France

Single Assignment C: From High Productivity Programming to High Performance Computing Through Advanced Compiler Technology

May 29, 2015
Chalmers University of Technology
Gothenburg, Sweden

The SAC Story: From Functional Programming with Curly Brackets to High Performance Computing

May 26, 2015
Chalmers University of Technology
Gothenburg, Sweden

Functional Programming Beyond the Ordinary: the SAC Story from Curly Brackets to High Performance

April 22, 2015
University of Twente
Enschede, Netherlands

Fast and Limitless? Single Assignment C: High Productivity meets High Performance

April 10, 2015
AWESOME-IT Congress 2015
Amsterdam, Netherlands

Programming Large Scale Heterogeneous Systems: Abstraction to the Rescue

January 20, 2015, Invited Talk
HiPEAC Workshop on Programming Models for Large Scale Heterogeneous Systems
Amsterdam, Netherlands

2014

Selected Issues in Persistent Asynchronous Adaptive Specialization for Generic Functional Array Programming

October 2, 2014
26th International Symposium on Implementation and Application of Functional Languages (IFL'14)
Boston, USA

Coordination for Energy

September 11, 2014
7th Workshop on Energy-Aware Computing (EACO'14)
Bristol, United Kingdom

Active Resource Management for Declarative Data-Flow Processing

May 28, 2014
15th International Symposium on Trends in Functional Programming (TFP'14)
Soesterberg, Netherlands

Next Generation Asynchronous Adaptive Specialization for Functional Data-Parallel Array Processing

April 29, 2014
31. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte
(31st GI Workshop on Programming Languages and Computing Concepts)
Bad Honnef, Germany

High Productivity Programming in the Many-core Era

March 4, 2014, Invited Talk
University of Tübingen
Tübingen, Germany

Towards Hybrid Array Types in SAC

February 26, 2014
7. GI Arbeitstagung Programmiersprachen (ATPS'14) im Rahmen der Software Engineering Konferenz (SE'14)
(7th Annual Workshop on Programming Languages, part of the Software Engineering Conference (SE 2014))
Kiel, Germany

Advances in Dynamic Compilation for Functional Data Parallel Array Processing

January 21, 2014
3rd HiPEAC International Workshop on Dynamic Compilation Everywhere (DCE'14)
Vienna, Austria

Polyhedral Methods for Improving Parallel Update-in-Place

January 20, 2014
4th HiPEAC International Workshop on Polyhedral Compilation Techniques (IMPACT'14)
Vienna, Austria

2013

High Productivity Parallel Programming with SAC and S-Net: from Language Design to Compilers and Runtime Systems

December 2, 2013, Invited Talk
Technical University of Darmstadt
Darmstadt, Germany

An Efficient Scalable Runtime System for S-Net Dataflow Component Coordination

October 1, 2013
17. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'13)
(17th Workshop on Programming Languages and Foundations of Programming)
Wittenberg, Germany

Panel on Functional Data Parallelism and GPU Computing

September 23, 2013, Panel Moderator
2nd ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC'13)
Boston, USA

Towards Truly Boolean Arrays in Data Parallel Array Processing

September 11, 2013
16th International Conference on Parallel Computing (ParCo'13)
München, Germany

Towards Persistent and Parallel Asynchronous Adaptive Specialisation for Generic Data-Parallel Array Processing in SAC

August 30, 2013
25th International Symposium on Implementation and Application of Functional Languages (IFL'13)
Nijmegen, Netherlands

Persistent Asynchronous Adaptive Specialisation for Generic Data-Parallel Array Processing in SAC

July 5, 2013
17th International Workshop on Compilers for Parallel Computing (CPC'13)
Lyon, France

The S-Net Runtime System (or rather Operational Semantics ?)

May 29, 2013
Advance Workshop on Data Flow Computing
Hatfield, United Kingdom

Asynchronous Dynamic Code Adaptation for Generic Data-Parallel Array Programming

May 3, 2013, Invited Talk
HiPEAC Spring Computing Systems Week
Paris, France

Single Assignment C: Array Programming for Compute-Intensive Application

April 30, 2013
APL-Germany Industrial User Group Meeting
Ergo Insurance Group, Hamburg, Germany

Programming Heterogeneous Architectures with Single Assignment C (SAC)

March 12, 2013
Workshop on Trends in High-Performance Distributed Computing (THPDC'13)
Rutgers University, Piscataway, USA

Panel: Model-based Program Generation and Compilation Technology: Flip Sides of the Same Coin ?

February 26, 2013, Panel Member
6. GI Arbeitstagung Programmiersprachen (ATPS'13) im Rahmen der Software Engineering Konferenz (SE'14)
(6th Annual Workshop on Programming Languages, part of the Software Engineering Conference (SE'14))
Aachen, Germany

Resource-agnostic Programming of Heterogeneous Architectures with Single Assignment C (SAC)

February 13, 2013
4th Distributed ASCI Supercomputer Workshop (DAS'13)
Delft, Netherlands

Functional Programming with Curly Brackets: the SAC Story

January 11, 2013
21st Netherlands Functional Programming Day (NL-FP'13)
Nijmegen, Netherlands

2012

Distributed S-Net: Cluster and Grid Computing without the Hassle

May 15, 2012
12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid'12)
Ottawa, Canada

Declarative Coordination and Concurrency Management with S-Net

May 10, 2012, Invited Talk
University of Toronto
Toronto, Canada

Single Assignment C: A High Productivity Language for High Performance Computing

March 14, 2012
Workshop on Trends in High-Performance Distributed Computing (THPDC'12)
Amsterdam, Netherlands

High Productivity Programming for High Performance Computing

February 8, 2012, Invited Talk
University Duisburg-Essen
Duisburg, Germany

2011

Declarative Array Programming with Single Assignment C (SAC)

December 2, 2011, Invited Talk
2nd Workshop on Functional High-Performance Computing for Financial Information Technology (HIPERFIT'11)
University of Copenhagen
Research Center for Functional High-Performance Computing for Financial Information Technology (HIPERFIT)
Copenhagen, Denmark

Asynchronous Adaptive Optimisation for Generic Array Programming and Beyond

September 27, 2011
16. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'11)
(16th Workshop on Programming Languages and Foundations of Programming)
Schloss Raesfeld, Germany

SAC on a Niagara T3-4 Server: Lessons and Experiences

September 1, 2011
15th International Conference on Parallel Computing (ParCo'11)
Ghent, Belgium

Single Assignment C: High Performance *and* High Productivity for the Many-Core Era

July 26, 2011
Advance Workshop, Latvian University
Riga, Latvia

Asynchronous Adaptive Re-Compilation in SAC

July 26, 2011
Advance Workshop, Latvian University
Riga, Latvia

Single Assignment C: High Performance *and* High Productivity for the Many-Core Era

July 14, 2011, Invited Talk
University of Kassel
Kassel, Germany

On Mapping Distributed S-Net to the 48-core Intel SCC Processor

July 7, 2011
3rd Many-core Applications Research Community Symposium (MARC'11)
Ettlingen, Germany

Single Assignment C: High Performance *and* High Productivity for the Many-Core Era

June 27, 2011, Invited Talk
University of Amsterdam, Computational Science Colloquium
Amsterdam, Netherlands

On the Essence of Synchronisation in Asynchronous Data Flow Programming

May 20, 2011
25th International Parallel and Distributed Processing Symposium (IPDPS'11), 16th Workshop on High-Level Programming Models and Supportive Environments (HIPS'11)
Anchorage, USA

S-Net: Concurrency Management through Stream-Based Coordination

May 10, 2011
University of Amsterdam, Colloquium of the Institute of Informatics
Amsterdam, Netherlands

Languages and Compilers for Many-Core Systems

January 12, 2011
University of Amsterdam, Computer Systems Architecture Colloquium
Amsterdam, Netherlands

2010

Architecture and Programming of Generic Many-Core Processors

November 30, 2010
Advanced School on Concurrency and Imaging (ASCI), Course A24: Architecture and Programming of Many-Core Processors
Amsterdam, Netherlands

S-Net: High-Level Coordination for the Many-Core Era

November 2, 2010, Poster Presentation
Scientific ICT Research Event Netherlands//Next Level (SIREN//NL'10)
Veldhoven, Netherlands

Hardware Virtualisation for Heterogeneous Many-Core Systems

November 2, 2010, Poster Presentation
Scientific ICT Research Event Netherlands//Next Level (SIREN//NL'10)
Veldhoven, Netherlands

Concurrency Virtualisation and Operating Systems in Silicon

October 20, 2010
HiPEAC Autumn Computing Systems Week
Barcelona, Spain

Principles of Microthreaded Architectures

September 29, 2010
Stream Processing and Programming Workshop
Novosibirsk, Russia

S-Net: Principles and Programming

September 28, 2010
1st S-HACK@Russia Workshop (S-HACK@RU'10)
Novosibirsk, Russia

Advanced SAC Programming Patterns

September 27, 2010
1st S-HACK@Russia Workshop (S-HACK@RU'10)
Novosibirsk, Russia

S-Net: High-Level Coordination for the Many-Core Era

September 22, 2010, Poster Presentation
Intel European Research and Innovation Conference (ERIC'10)
Braunschweig, Germany

Hardware Virtualisation for Heterogeneous Many-Core Systems

September 22, 2010, Poster Presentation
Intel European Research and Innovation Conference (ERIC'10)
Braunschweig, Germany

The Essence of Synchronisation in Asynchronous Data Flow Programming

September 1, 2010
22nd International Symposium on Implementation and Application of Functional Languages (IFL'10)
Alphen aan den Rijn, Netherlands

An Adaptive Compilation Framework for Generic Data-Parallel Array Programming

July 8, 2010
15th Workshop on Compilers for Parallel Computing (CPC'10)
Vienna, Austria

Data Parallel Functional Array Programming with SAC (Single Assignment C): Language Design and Compiler Technology

June 10, 2010, Invited Talk
Intel Corporation
Santa Clara, CA, USA

Distributed S-Net: High-Level Message Passing without the Hassle

June 6, 2010
1st Workshop on Advances in Message Passing (AMP'10)
Co-located with the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'10)
Toronto, Canada

Lightweight Records for SAC

May 27, 2010
7th SAC Developer's Conference (SaC-DevCon-7)
Amsterdam, Netherlands

Declarative Coordination and Concurrency Management with S-Net

May 17, 2010, Invited Talk
Heriot-Watt-University
Edinburgh, United Kingdom

An Adaptive Compilation Framework for Data-Parallel Array Programming in SAC

May 3, 2010
27. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte
(27th GI Workshop on Programming Languages and Computing Concepts)
Bad Honnef, Germany

S-Net Programming: How It Really Works

March 30, 2010
2nd S-HACK Workshop (S-HACK'10)
Hatfield, United Kingdom

High Performance Functional Array Programming Part II: The SAC Compiler Technology

March 29, 2010
2nd S-HACK Workshop (S-HACK'10)
Hatfield, United Kingdom

Data Parallel Programming in SAC

March 19, 2010
Advanced School on Concurrency and Imaging (ASCI), Winter School on Embedded Systems
Soesterberg, Netherlands

S-Net for Multi-Memory Multicores

January 19, 2010
5th Workshop on Declarative Aspects of Multicore Programming (DAMP'10)
Co-located with the 37th ACM Symposium on Principles of Programming Languages (POPL'10)
Madrid, Spain

Single Assignment C and its Autoparallelising Compiler sac2c

January 9, 2010, Tutorial
15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'10)
Bangalore, India

2009

Concurrency Engineering with S-Net

October 12, 2009
15. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'09)
(15th Workshop on Programming Languages and Foundations of Programming)
Maria Taferl, Austria

Distributed S-Net: Design and Implementation

September 23, 2009
21st International Symposium on Implementation and Application of Functional Languages (IFL'09)
South Orange, NJ, USA

From Implicit Concurrency Utilisation to Explicit Concurrency Engineering: SaC and S-Net

April 16, 2009, Invited Talk
RWTH Aachen University of Technology
Aachen, Germany

2008

Running S-Nets on Shared Memory Multicore Systems

October 9, 2008
2nd Aether-Morpheus Workshop From Reconfigurable to Self-Adaptive Computing (AMWAS'08)
Lugano, Switzerland

Concurrency Engineering in the S-Net Environment

October 7, 2008
2nd Aether-Morpheus Autumn School (AMWAS'08)
Lugano, Switzerland

A Multithreaded Runtime System for S-Net

September 20, 2008
20th International Symposium on Implementation and Application of Functional Languages (IFL'08)
Hatfield, United Kingdom

Concurrency Engineering with S-Net

July 23, 2008
8th International Symposium on Systems, Architectures, Modelling and Simulation (SAMOS'08)
Samos, Greece

Heap Management on Multicore Systems: A Too Often Neglected Key to High Performance

June 12, 2008
University of Lübeck, Institute of Software Technology and Programming Languages
Lübeck, Germany

Declarative Concurrency Engineering with S-Net

May 15, 2008
6th Fun-in-the-Afternoon Seminar on Functional Programming
Hatfield, United Kingdom

High-Level Concurrency Engineering with S-Net

April 25, 2008
Advanced School on Concurrency and Imaging (ASCI)
Course A24 Concurrency Engineering
Amsterdam, Netherlands

Get the Grip: A Gentle Introduction to S-Net

April 9, 2008
S-HACK Workshop (S-HACK'08)
Hatfield, United Kingdom

High-Level Programming in Multicore Environments

March 19, 2008, Invited Talk
University of Amsterdam
Amsterdam, Netherlands

Efficient Heap Management for Declarative Data Parallel Programming on Multicores

January 9, 2008
3rd Workshop on Declarative Aspects of Multicore Programming (DAMP'08)
Co-located with the 35th ACM Symposium on Principles of Programming Languages (POPL'08)
San Francisco, California, USA

2007

Software, eine merkwürdige Ware

November 15, 2007
7. Lübecker Hochschultag
Lübeck, Germany

On Implementing S-Net

September 29, 2007
19th International Symposium on Implementation and Application of Functional Languages (IFL'07)
Freiburg, Germany

CAOS: A Domain-Specific Language for the Parallel Simulation of Cellular Automata

September 4, 2007
9th International Conference on Parallel Computing Technologies (PaCT'07)
Pereslavl-Zalessky, Russia

Multicore Programming with SAC and S-Net

August 21, 2007, Invited Talk
Catholic University of Eichstätt
Eichstätt, Germany

A Lazy Array Semantics for SAC and some Notes on Implementation

June 5, 2007
6th International SaC Developers' Conference (SaC-DevCon-6)
Hatfield, England, UK

What's the Problem with Multi-Threading?

June 4, 2007
6th International SaC Developers' Conference (SaC-DevCon-6)
Hatfield, England, UK

S-Net: A Declarative Approach to Defining Stream Processing Networks of Asynchronous Components

June 1, 2007
21. Workshop der GI-Fachgruppe Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS'07)
(21. Workshop of the German Informatics Society's Special Interest Group on Parallel Algorithms, Computer Architecture, and System Software)
Hamburg, Germany

Generic Array Programming in Multicore Environments

January 16, 2007, Invited Talk
2nd Workshop on Declarative Aspects of Multicore Programming (DAMP'07)
Co-located with the 34th ACM Symposium on Principles of Programming Languages (POPL'07)
Nice, France

2006

Asynchronous Stream Processing with S-Net

December 5, 2006
2nd Micro-Grid Workshop on Scalable on-chip Parallelism
Hitchin, England, UK

Declarative Stream Processing for Multicores with S-Net

November 1, 2006
University of Hertfordshire, Department of Computer Science
Hatfield, England, UK

S-Net: Functional Stream Processing based on Record Subtyping

October 20, 2006
University of Lübeck, Institute of Software Technology and Programming Languages
Lübeck, Germany

A Multithreaded Runtime System for S-Net

October 10, 2006
Æther Plenary Meeting
Barcelona, Spain

S-Net: A Typed Stream Processing Language

September 4, 2006
18th International Symposium on Implementation and Application of Functional Languages (IFL'06)
Budapest, Hungary

S-Net and SAC

June 7, 2006
5th International SaC Developers' Conference (SaC-DevCon-5)
Hatfield, England, UK

MT Refurbished

June 6, 2006
5th International SaC Developers' Conference (SaC-DevCon-5)
Hatfield, England, UK

Reflections on Generators

June 5, 2006
5th International SaC Developers' Conference (SaC-DevCon-5)
Hatfield, England, UK

SAC: Functional Programming for Parallel and Vector (?) Computers

March 16, 2006
High Performance Computing Center Stuttgart (HLRS)
Stuttgart, Germany

2005

Software, eine merkwürdige Ware

November 17, 2005
6. Lübecker Hochschultag
Lübeck, Germany

Optimizations for Generic Array Programming

October 6, 2005
13. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'05)
(13. German Workshop on Programming Languages and Foundations of Programming)
Fischbachau, Germany

SAC: A Functional Language for Generic Array Processing

September 22, 2005, Invited Talk
University of Glasgow, Department of Computing Science
Glasgow, Scotland, UK

With-Loop Fusion for Data Locality and Parallelism

September 19, 2005
17th International Workshop on Implementation and Application of Functional Languages (IFL'05)
Dublin, Ireland

Merging Compositions of Array Skeletons

September 14, 2005
12th International Conference on Parallel Computing (ParCo'05)
Malaga, Spain

CAOS - A Language for Describung Cellular Automata

July 7, 2005
University of Lübeck, Institute of Software Technology and Programming Languages
Lübeck, Germany

A Hybrid Shared Memory Execution Model for a Data Parallel Language with I/O

July 4, 2005
3rd International Workshop on High Level Parallel Programming and Applications (HLPP'05)
Warwick University, Coventry, England, UK

Sac2C: A Language Implementation for Symmetric Homogeneous Multithreading

July 2, 2005, Invited Talk
Micro-Grid Workshop on Scalable on-chip Parallelism
Amsterdam, Netherlands

Generic Parallel Array Programming in SAC

June 24, 2005
20. Workshop der GI-Fachgruppe Parallel-Algorithmen, -Rechnerstrukturen und -Systemsoftware (PARS'05)
(20. Workshop of the German Informatics Society's Special Interest Group on Parallel Algorithms, Computer Architecture, and System Software)
Lübeck, Germany

Compiling SAC Programs into Efficient Code - An Optimization Challenge

June 16, 2005, Invited Talk
Autonomous University of Baja California at Tijuana, Faculty of Chemistry and Engineering
Tijuana, Baja California del Norte, Mexico

SAC: A Functional Language for High-Performance Computing

June 15, 2005, Invited Talk
Autonomous University of Baja California at Tijuana, Faculty of Chemistry and Engineering
Tijuana, Baja California del Norte, Mexico

From High-Level Programming with Arrays to Efficient Parallel Execution in SAC

June 13, 2005, Invited Talk
Autonomous University of Baja California at Mexicali, Institute of Engineering
Mexicali, Baja California del Norte, Mexico

Functional Array Programming in SAC (Single Assignment C)

June 10, 2005, Invited Talk
University of California at Irvine, School of Engineering
Irvine, California, USA

SAC: A Functional Language for High-Performance Computing

June 8, 2005, Invited Talk
Center for Scientific Research and Higher Education (CICESE)
Ensenada, Baja California del Norte, Mexico

With-Loop Fusion in SAC

May 4, 2005
22. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte
(22nd Workshop of the German Informatics Society's Special Interest Group on Programming Languages and Computing Concepts)
Bad Honnef, Germany

2004

Visions Beyond Sac2c 1.0

November 26, 2004
SAC Futures Workshop
Marielyst, Denmark

Towards Version 1.0 of Sac2c

November 21, 2004
SAC Futures Workshop
Marielyst, Denmark

Efficient Functional Array Programming in SAC

November 11, 2004
1st Lübeck-Tartu Workshop on Informatics (LTWI'04)
Lübeck, Germany

A Survey on the SAC Project

September 13, 2004
4th Workshop on SAC - Single Assignment C (SaC'04b)
Lübeck, Germany

Generic Array Programming in SAC

June 3, 2004
University of Lübeck, Institute of Software Technology and Programming Languages
Lübeck, Germany

Generic Array Programming in SAC

May 3, 2004.
21. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte
(21st Workshop of the German Informatics Society's Special Interest Group on Programming Languages and Computing Concepts)
Bad Honnef, Germany

Implementing a Compute-intensive Numerical Application in the Functional Array Language SAC: A Case Study on Programming Methodology and Runtime Performance

March 18, 2004
12. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'04)
(12th German Workshop on Programming Languages and Foundations of Programming)
Freiburg, Germany

Dynamic Function Dispatch in the Context of the Module System

February 19, 2004
3rd Workshop on SAC - Single Assignment C (SaC'04)
Lübeck, Germany

Three Dimensions of Array Optimization in SAC

January 20, 2004, Invited Talk
Technical University of Berlin, Institute of Software Technology and Theoretical Computer Science
Research Group Language Design and Compiler Construction

2003

Towards an Efficient Functional Implementation of the NAS Benchmark FT

September 17, 2003
7th International Conference on Parallel Computing Technologies (PaCT'03)
Nizhni Novgorod, Russia

SAC - From High-level Programming with Arrays to Efficient Parallel Execution

June 17, 2003
2nd International Workshop on High Level Parallel Programming and Applications (HLPP'03)
Paris, France

A Multithreaded Compiler Backend for High-level Array Programming

February 12, 2003
International Conference on Parallel and Distributed Computing and Networks (PDCN'03)
Innsbruck, Austria

Optimizing Array Operations in Three Dimensions - Past, Present, Future

January 17, 2003
2nd Workshop on SAC - Single Assignment C (SaC'03)
Lübeck, Germany

2002

Axis Control in SAC

November 28, 2002
University of Lübeck, Institute of Software Technology and Programming Languages
Lübeck, Germany

Introducing Generalized Rank Conjunctions to SAC or How to Write and to Compile Nested Array Operations

September 17, 2002
14th International Workshop on Implementation of Functional Languages (IFL'02)
Madrid, Spain

Lessons Learned from the Shared Memory Parallelization of a Functional Array Language

June 22, 2002, Invited Talk
Workshop on Performance Optimization for High-Level Languages and Libraries (POHLL'02)
Part of the 16th ACM International Conference on Supercomputing (ICS'02)
New York City, New York, USA

Implementing a Compute-intensive Fluid Dynamics Benchmark in SAC

June 18, 2002
Kiel-Lübeck Workshop on Programming Methodology
Kiel, Germany

Implementing the NAS Benchmark MG in SAC

April 15, 2002
7th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS'02)
Part of the 16th International Parallel and Distributed Processing Symposium (IPDPS'02)
Fort Lauderdale, Florida, USA

Improved Implementation of the NAS Benchmark MG

March 6, 2002
1st Workshop on SAC - Single Assignment C (SaC'02)
Kiel, Germany

SAC: Compiling High-Level Generic Programs to Efficiently Executable Multithreaded Code III

February 7, 2002
University of Lübeck, Institute of Software Technology and Programming Languages
Lübeck, Germany

SAC: Compiling High-Level Generic Programs to Efficiently Executable Multithreaded Code II

January 31, 2002
University of Lübeck, Institute of Software Technology and Programming Languages
Lübeck, Germany

SAC: Compiling High-Level Generic Programs to Efficiently Executable Multithreaded Code I

January 24, 2002
University of Lübeck, Institute of Software Technology and Programming Languages
Lübeck, Germany

2001

SAC: A Functional Array Processing Language II

December 13, 2001
University of Lübeck, Institute of Software Technology and Programming Languages
Lübeck, Germany

SAC: A Functional Array Processing Language I

December 6, 2001
University of Lübeck, Institute of Software Technology and Programming Languages
Lübeck, Germany

Optimizations on Array Skeletons in a Shared Memory Environment

September 24, 2001
13th International Workshop on Implementation of Functional Languages (IFL'01)
Stockholm, Sweden

Implicit Shared Memory Multiprocessor Support for the Functional Programming Language SAC - Single Assignment C

March 1, 2001, PhD Presentation
University of Kiel, Institute of Computer Science and Applied Mathematics
Kiel, Germany

2000

Improving Cache Effectiveness through Array Data Layout in SAC

September 5, 2000
12th International Workshop on Implementation of Functional Languages (IFL'00)
Aachen, Germany

HPF vs. SAC - a Case Study

August 30, 2000
6th European Conference on Parallel Processing (Euro-Par'00)
Munich, Germany

Improving Cache Effectiveness through Array Data Layout in SAC

August 22, 2000
University of Kiel, Institute of Computer Science and Applied Mathematics
Research Group Computer Organization and Architecture
Kiel, Germany

HPF vs. SAC - a Case Study

August 15, 2000
University of Kiel, Institute of Computer Science and Applied Mathematics
Research Group Computer Organization and Architecture
Kiel, Germany

1999

Accelerating APL Programs with SAC

August 14, 1999
International ACM SIGAPL Conference on Array Processing Languages (APL'99)
Scranton, Pennsylvania, USA

Accelerating APL Programs with SAC

July 31, 1999
University of Kiel, Institute of Computer Science and Applied Mathematics
Research Group Computer Organization and Architecture
Kiel, Germany

1998

Compiling SAC High-level Array Operations into Efficiently Executable Code for Shared Memory Multiprocessors

November 11, 1998
Working Group on Programming Languages and Programming Methodology
University of Kiel, Institute of Computer Science and Applied Mathematics
Kiel, Germany

Shared Memory Multiprocessor Support for SAC

September 9, 1998
10th International Workshop on Implementation of Functional Languages (IFL'98)
London, England, UK

Shared Memory Multiprocessor Support for SAC

August 31, 1998
University of Kiel, Institute of Computer Science and Applied Mathematics
Research Group Computer Organization and Architecture
Kiel, Germany

How to Achieve High Performance with Numerical Codes

February 12, 1998
University of Kiel, Institute of Computer Science and Applied Mathematics
Research Group Applied Mathematics
Kiel, Germany

1997

Implementation of Synchronization Mechanisms for the Non-sequential Execution of With-loops

December 16, 1997
University of Kiel, Institute of Computer Science and Applied Mathematics
Research Group Computer Organization and Architecture
Kiel, Germany

Preliminary Experience with the Non-sequential Execution of SAC Programs on a Shared Memory Architecture

June 11, 1997
University of Kiel, Institute of Computer Science and Applied Mathematics
Research Group Computer Organization and Architecture
Kiel, Germany

1996

On Implementing Classes and Objects in the SAC Compiler

February 15, 1995
University of Kiel, Institute of Computer Science and Applied Mathematics
Research Group Computer Organization and Architecture
Kiel, Germany

1995

Classes and Objects as Basis for I/O in SAC

September 15, 1995
7th International Workshop on Implementation of Functional Languages (IFL'95)
Båstad, Sweden

Classes and Objects as Basis for I/O in SAC

September 8, 1997
University of Kiel, Institute of Computer Science and Applied Mathematics
Research Group Computer Organization and Architecture
Kiel, Germany