Talk: 12:35-13:20 (English)

io-sim: testing, simulating, and prototyping concurrent programs in Haskell

We present applications of the Haskell library io-sim. This library provides type classes with concurrency primitives that can either be run in IO, or executed in simulation. The library has been developed to help with QuickCheck-style property based testing of concurrent code, where the determinism of the simulations is helpful to get minimal failing test cases. Subsequently, it has also turned out to be quite useful for prototyping distributed systems, getting performance estimates and prediction points of congestion before starting a full implementation.

Philipp Kant


During his postdoc years in theoretical particle physics, Philipp learned about functional programming, and in particular Haskell, and was immediately fascinated. He left academia in 2014, switching to software development. In 2017, he joined IOHK, a cryptocurrency company, where he now works at the interface between research and development.