Title: Colocation of Potential Parallelism in a Distributed Adaptive Run-time System for Parallel Haskell EM G.61 14:15 – 15:15, Wednesday 31 October Abstract: This talk presents a novel variant of work stealing for load balancing in a distributed graph reducer, executing a semi-explicit parallel dialect of Haskell. The key concept of this load-balancer is...

Title and abstract TBD.

Title: High Performance Stencil Code Generation with Lift Speaker: Bastian Hagedorn, University of Münster 13:15, EM G.61. Abstract Stencil computations are widely used from physical simulations to machine-learning. They are embarrassingly parallel and are commonly executed on modern parallel systems such as multi-core CPUs, Graphic Processing Units (GPUs). Although stencil computations have been extensively...

Yue will run a reading group covering the POPL 2018 paper “Higher-Order Constrained Horn Clauses for Verification”.

Time, Location: 14:15, Wednesday 6 December, EM G.61. Speaker: Jan De Muijnck-Hughes Title: Type-Driven Development of Communicating Systems using Idris Abstract Communicating protocols are a cornerstone of modern system design. However, there is a disconnect between the different tooling used to design, implement and reason about these protocols and their implementations. Session Types are...