Static Type Checking for the Kompics Component Model: Kola - The Kompics Language. - Lars Kroll; Jim Dowling; Seif Haridi (PMLDC@ECOOP, 2016)

Fast and Flexible Networking for Message-Oriented Middleware. - Lars Kroll; Alexandru A. Ormenisan; Jim Dowling (ICDCS, 2017)

Kompics Scala: narrowing the gap between algorithmic specification and executable code (short paper). - Lars Kroll; Paris Carbone; Seif Haridi (SCALA@SPLASH, 2017)

KompicsTesting - Unit Testing Event Streams. - Ifeanyi W. Ubah; Lars Kroll; Alexandru A. Ormenisan; Seif Haridi (CoRR, 2017)

Arcon: Continuous and Deep Data Stream Analytics. - Max Meldrum; Klas Segeljakt; Lars Kroll; Paris Carbone; Christian Schulte 001; Seif Haridi (BIRTE, 2019)

Arc: an IR for batch and stream programming. - Lars Kroll; Klas Segeljakt; Paris Carbone; Christian Schulte 001; Seif Haridi (DBPL, 2019)

Lecture Notes on Leader-based Sequence Paxos - An Understandable Sequence Consensus Algorithm. - Seif Haridi; Lars Kroll; Paris Carbone (CoRR, 2020)

Compile-time Safety and Runtime Performance in Programming Frameworks for Distributed Systems. - Lars Kroll (2020)