| 2026 | CONCUR | When Behaviours Have to Happen: An Axiomatic Model of Causality in Behaviour-Oriented Concurrency. | Luke Cheeseman, Elias Castegren, Tobias Wrigstad, Sophia Drossopoulou, Matthew J. Parkinson |
| 2024 | SLE | Trieste: A C++ DSL for Flexible Tree Rewriting. | Sylvan Clebsch, Matilda Blomqvist, Elias Castegren, Matthew A. Johnson, Matthew J. Parkinson |
| 2021 | CC | Resolvable ambiguity: principled resolution of syntactically ambiguous programs. | Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman |
| 2019 | ECOOP | Progress Report: Exploring API Design for Capabilities for Programming with Arrays. | Beatrice kerblom, Elias Castegren, Tobias Wrigstad |
| 2019 | SLE | Developing a monadic type checker for an object-oriented language: an experience report. | Elias Castegren, Kiko Fernandez-Reyes |
| 2018 | Coordination | Forward to a Promising Future. | Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren, Huu-Phuc Vo |
| 2018 | OOPSLA | C♭: a new modular approach to implementing efficient and tunable collections. | Stephan Brandauer, Elias Castegren, Tobias Wrigstad |
| 2018 | PLDI | Parallel programming with arrays in Kappa. | Beatrice kerblom, Elias Castegren, Tobias Wrigstad |
| 2018 | SAC | OOlong: an extensible concurrent object calculus. | Elias Castegren, Tobias Wrigstad |
| 2017 | ECOOP | Relaxed Linear References for Lock-free Data Structures. | Elias Castegren, Tobias Wrigstad |
| 2016 | ECOOP | Reference Capabilities for Concurrency Control. | Elias Castegren, Tobias Wrigstad |