Presentations

2011

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