Elias Castegren

Most-cited papers

Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore
Stephan Brandauer, Elias Castegren, D. Clarke, Kiko Fernandez-Reyes +5 more
2015International School on Formal Methods for the Design of Computer, Communication and Software Systems82 citations
Semantic Scholar
Reference Capabilities for Concurrency Control
Elias Castegren, Tobias Wrigstad
2016European Conference on Object-Oriented Programming53 citations
Semantic Scholar
Reference Capabilities for Flexible Memory Management
Ellen Arvidsson, Elias Castegren, S. Clebsch, S. Drossopoulou +3 more
2023Proc. ACM Program. Lang.17 citations Open access
Semantic Scholar
Forward to a Promising Future
Kiko Fernandez-Reyes, D. Clarke, Elias Castegren, Huu-Phuc Vo
2018International Conference on Coordination Models and Languages16 citations Open access
Semantic Scholar
Relaxed Linear References for Lock-free Data Structures
Elias Castegren, Tobias Wrigstad
2017European Conference on Object-Oriented Programming14 citations
Semantic Scholar
LOLCAT : Relaxed Linear References for Lock-free Programming
Elias Castegren, Tobias Wrigstad
20168 citations
Semantic Scholar
Mastery Learning-Like Teaching with Achievements
Tobias Wrigstad, Elias Castegren
2019ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity7 citations
Semantic Scholar
Reference Capabilities for Safe Parallel Array Programming
Beatrice Åkerblom, Elias Castegren, Tobias Wrigstad
2019The Art, Science, and Engineering of Programming5 citations Open access
Semantic Scholar
OOlong: a concurrent object calculus for extensibility and reuse
Elias Castegren, Tobias Wrigstad
2019SIAP5 citations
Semantic Scholar
Attached and detached closures in actors
Elias Castegren, D. Clarke, Kiko Fernandez-Reyes, Tobias Wrigstad +1 more
2018AGERE!@SPLASH5 citations
Semantic Scholar
OOlong: an extensible concurrent object calculus
Elias Castegren, Tobias Wrigstad
2018ACM Symposium on Applied Computing5 citations Open access
Semantic Scholar
Bestow and Atomic: Concurrent Programming using Isolation, Delegation and Grouping
Elias Castegren, Joel Wallin, Tobias Wrigstad
2018J. Log. Algebraic Methods Program.4 citations Open access
Semantic Scholar
Actors without Borders: Amnesty for Imprisoned State
Elias Castegren, Tobias Wrigstad
2017PLACES@ETAPS3 citations Open access
Semantic Scholar
Decoupling Isolation and Concurrency: An Actor-Centric View of Behaviour-Oriented Concurrency
Luke Cheeseman, Elias Castegren, S. Drossopoulou, Tobias Wrigstad +2 more
2026Concurrent Programming, Open Systems and Formal Methods2 citations
Semantic Scholar
Statically Resolvable Ambiguity
Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman
2023Proc. ACM Program. Lang.2 citations Open access
Semantic Scholar
Resolvable ambiguity: principled resolution of syntactically ambiguous programs
Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman
2021International Conference on Compiler Construction2 citations Open access
Semantic Scholar
Kappa : Insights, Current Status and Future Work
Elias Castegren, Tobias Wrigstad
20162 citations
Semantic Scholar
Reference Capabilities for Trait Based Reuse and Concurrency Control
Elias Castegren, Tobias Wrigstad
20162 citations
Semantic Scholar
Refined Ownership: - Fine-Grained Controlled Internal Sharing
Elias Castegren, J. Östlund, Tobias Wrigstad
2015International School on Formal Methods for the Design of Computer, Communication and Software Systems2 citations
Semantic Scholar
LAPS : A General Framework for Modeling Alias Management Using Access Permission Sets
Elias Castegren
20122 citations
Semantic Scholar
Trieste: A C++ DSL for Flexible Tree Rewriting
S. Clebsch, Matilda Blomqvist, Elias Castegren, Matthew A. Johnson +1 more
2024Software Language Engineering1 citations Open access
Semantic Scholar
Developing a monadic type checker for an object-oriented language: an experience report
Elias Castegren, Kiko Fernandez-Reyes
2019Software Language Engineering1 citations
Semantic Scholar
Progress Report: Exploring API Design for Capabilities for Programming with Arrays
Beatrice Åkerblom, Elias Castegren, Tobias Wrigstad
2019ICOOOLPS@ECOOP1 citations Open access
Semantic Scholar
Parallel programming with arrays in Kappa
Beatrice Åkerblom, Elias Castegren, Tobias Wrigstad
2018ARRAY@PLDI1 citations
Semantic Scholar
Types for CAS: Relaxed Linearity with Ownership Transfer
Elias Castegren, Tobias Wrigstad
20161 citations
Semantic Scholar
When Behaviours Have to Happen: An Axiomatic Model of Causality in Behaviour-Oriented Concurrency
Luke Cheeseman, Elias Castegren, Tobias Wrigstad, S. Drossopoulou +1 more
2026International Conference on Concurrency Theory0 citations
Semantic Scholar
Encore: Coda
Elias Castegren, Tobias Wrigstad
2024Active Object Languages: Current Research Trends0 citations
Semantic Scholar
Repr Types: One Abstraction to Rule Them All
Viktor Palmkvist, Anders AAgren Thun'e, Elias Castegren, David Broman
2024arXiv.org0 citations
Semantic Scholar
Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM
Beatrice Åkerblom, Elias Castegren
2024The Art, Science, and Engineering of Programming0 citations Open access
Semantic Scholar
Resolvable Ambiguity
Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman
2019arXiv.org0 citations
Semantic Scholar
Implementation and experimentation of data(cid:29)ow explicit futures
A. Maille, Corinne Moy, L. Henrio, Stephan Brandauer +7 more
20190 citations
Semantic Scholar
Source Code for "Developing a Monadic Type Checker for an Object-Oriented Language"
Elias Castegren, Kiko Fernandez-Reyes
2019Artifact Digital Object Group0 citations
Semantic Scholar
C♭: a new modular approach to implementing efficient and tunable collections
Stephan Brandauer, Elias Castegren, Tobias Wrigstad
2018SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software0 citations
Semantic Scholar
Reference Capabilities for Concurrency a Scalability : an Experience Report
Elias Castegren, Tobias Wrigstad
20170 citations
Semantic Scholar
Kappa : Insights , Current Status and Future Work 1 Extended abstract presented at IWACO ’ 16
Elias Castegren, Tobias Wrigstad
20160 citations
Semantic Scholar
AD1 Supplemental Instruction
Elias Castegren
20100 citations
Semantic Scholar
Design and Implementation of Temperature-Aware Garbage Collectors
A. Yang, Erik Österlund, Jesper Wilhelmsson, Hanna Nyblom +17 more
0 citations
Semantic Scholar
when Behaviours Have to Happen An Axiomatic Model of Causality in Behaviour-Oriented Concurrency
Luke Cheeseman, Elias Castegren, Tobias Wrigstad, S. Drossopoulou +1 more
0 citations
Semantic Scholar