Table of Contents

6th SaC Developers' Conference (DevCon-6)



The programme of this year's SaC Developers' Conference can be found below. Please note that coffee breaks and time for discussions are implicit. Therefore, please allow at least 1/4 of your scheduled time for discussion.

Time Name Title
13:00 - 14:30 Kai Trojahner The Untyped Array Calculus — Its Syntax and Semantics
14:30 - 16:00 Kai Trojahner The Typed Array Calculus
16:00 - 17:00 Clemens Grelck What's the Problem with Multi-Threading?
17:00 - 18:00 Sven-Bodo Scholz Side-Effects in With-Loops – the Unleashing and the Taming of the Non-Determinism Beast
9:00 - 10:30 Sven-Bodo Scholz How Lazy Should Efficient Array Programming Be?
10:30 - 12:00 Clemens Grelck A Lazy Array Semantics for SAC and some Notes on Implementation
12:00 - 13:00 Frank Penczek A Multi-Threaded Runtime System for S-Net
14:00 - 16:00 Florian Büther Idea, Use and Implementation of Symbolic Array Attributes in sac2c
16:00 - 18:00 Stephan Herhut Record Types – Typed Records
9:00 - 9:30 Sven-Bodo Scholz Cutting the Crap: a Proposal for Re-Designing the Primitive Operations
9:30 - 10:00 Stephan Herhut SAC4C: On Binding C and SAC
10:00 - 11:00 Robert Bernecky Whither SAC or Wither SAC?
11:00 - 11:30 Kai Trojahner Image Registration Using SAC
11:30 - 12:30 Walter Fil »Niche Array Languages« and Their Success and Failure in Business Today
12:30 - 13:00 Farewell

List of Participants

Robert Bernecky University of Toronto Canada
Florian Büther University of Lübeck Germany
Walter Fil Future Perfect Ltd. Switzerland
Torben Gerhards Christian-Albrechts-Universität zu Kiel Germany
Clemens Grelck University of Hertfordshire United Kingdom
Stephan Herhut University of Hertfordshire United Kingdom
Frank Penczek University of Lübeck Germany
Robert Piper University of Hertfordshire United Kingdom
Sven-Bodo Scholz University of Hertfordshire United Kingdom
Alex Shafarenko University of Hertfordshire United Kingdom
Kai Trojahner University of Lübeck Germany
Carlos Huertas Villegas University of Baja California Mexico


Please note that the SaC Developers' Conference is an invitation-only workshop. If you have not been invited but wish to participate, please do contact this year's workshop chair Stephan Herhut. Accommodation

Conference Hertfordshire offers Bed & Breakfast, conveniently located on the de Havilland campus. From there, the workshop location can be reached in 5 minutes using a frequent and free shuttle-bus service. The University B'n'B is now fully booked.

Travelodge Hatfield Central offers budget en-suite rooms starting at 39£ a night. It is located close to de Havilland Campus.

Premier Travel Inn Hatfield offers rooms starting at 49£. Being a bit further towards the town centre, it is still only a short travel from the workshop location.


All meetings take place in room D102, College Lane Campus. For further directions, see the campus map and the general travel directions for the University of Hertfordshire.