Sep 12, 2018 Comments Off on Schedule
Schedule
October 21, 2018 (Sunday)
- 15:00 — Hotel Check In (early check-in from 12:00 is negotiable if informed in advance)
- 19:00 — 21:00: Welcome Reception
October 22, 2018 (Monday)
- 07:30 — 09:00: Breakfast
- 09:00 — 09:15: Welcome, Overview, Administrative issues
- 09:15 — 10:30: Self-introductions
- 10:30 — 11:00: Tea break
- 11:00 — 11:50: Self-introductions
- 12:00 — 13:30: Lunch
- 13:30 — 15:15: A brief history of streams (Aggelos Biboudis)
- 15:15 — 15:45: Tea break
- 15:45 — 17:00: Lucid, Lustre and its descendants (Marc Pouzet)
- 17:00 — 18:00: Discussion
- 18:00 — 19:30: Dinner
October 23, 2018 (Tuesday)
- 07:30 — 09:00: Breakfast
- 09:00 — 10:30:
- – Compiling Ziria to Hardware (Geoffrey Mainland)
- – Machine Fusion is not Associative (Ben Lippmeier)
- 10:30 — 11:00: Tea break
- 11:00 — 12:00: What if — we considered our streams arrays? (Sven Bodo Scholz)
- 11:50 — 12:00: Group photo
- 12:00 — 13:30: Lunch
- 13:30 — 15:00: Versatile Event Correlation with Algebraic effects (Oliver Bračevac)
- 15:00 — 15:20: Coffee break
- 15:20 — 18:00:
- – Streaming data compression (Jeremy Gibbons)
- – Pull vs. Push-Based Loop Fusion in Query Engines (Amir Shaikhha)
- 18:00 — 19:30: Dinner
October 24, 2018 (Wednesday)
- 07:30 — 09:00: Breakfast
- 09:00 — 12:00: Software for the SKA telescope (Peter Braam)
- 10:30 — 11:00: Tea break
- 11:00 — 12:00: Streaming with Nessie (John Reppy)
- 12:00 — 13:30: Lunch
- 14:00 — 20:30: Excursion and Banquet
October 25, 2018 (Thursday)
- 07:30 — 09:00: Breakfast
- 09:00 — 10:50:
- – Is this even a good idea? (Trevor McDonell)
- – Vélus: A formally verified compiler for Lustre (Timothy Bourke)
- 10:50 — 11:20: Tea break
- 11:20 — 12:00: Final panel discussion: what’s next
- 12:00 — 13:30: Lunch