Elias Castegren

Decoupling Isolation and Concurrency: An Actor-Centric View of Behaviour-Oriented Concurrency

Cheeseman, Luke; Castegren, Elias; Drossopoulou, Sophia; Wrigstad, Tobias et al.

Part of Concurrent Programming, Open Systems and Formal Methods, Springer, 2025

Encore: Coda

Castegren, Elias; Wrigstad, Tobias

Part of Active Object Languages, p. 59-91, Springer Nature, 2024

• DOI for Encore: Coda

Trieste: A C++ DSL for Flexible Tree Rewriting

Clebsch, Sylvan; Blomqvist, Matilda; Castegren, Elias; Johnson, Matthew A. et al.

Part of SLE '24, p. 184-189, 2024

• DOI for Trieste: A C++ DSL for Flexible Tree Rewriting
• Download full text (pdf) of Trieste: A C++ DSL for Flexible Tree Rewriting

Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM

Åkerblom, Beatrice; Castegren, Elias

Part of The Art, Science, and Engineering of Programming, 2024

• DOI for Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM
• Download full text (pdf) of Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM

Reference Capabilities for Flexible Memory Management

Arvidsson, Ellen; Castegren, Elias; Clebsch, Sylvan; Drossopoulou, Sophia et al.

Part of Proceedings of the ACM on Programming Languages, p. 1363-1393, 2023

• DOI for Reference Capabilities for Flexible Memory Management
• Download full text (pdf) of Reference Capabilities for Flexible Memory Management

Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM

Åkerblom, Beatrice; Castegren, Elias

Part of The Art, Science, and Engineering of Programming, 2024

• DOI for Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM
• Download full text (pdf) of Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM

Reference Capabilities for Flexible Memory Management

Arvidsson, Ellen; Castegren, Elias; Clebsch, Sylvan; Drossopoulou, Sophia et al.

Part of Proceedings of the ACM on Programming Languages, p. 1363-1393, 2023

• DOI for Reference Capabilities for Flexible Memory Management
• Download full text (pdf) of Reference Capabilities for Flexible Memory Management

Statically Resolvable Ambiguity

Palmkvist, Viktor; Castegren, Elias; Haller, Philipp; Broman, David

Part of Proceedings of the ACM on Programming Languages, p. 1686-1712, 2023

• DOI for Statically Resolvable Ambiguity
• Download full text (pdf) of Statically Resolvable Ambiguity

Bestow and Atomic: Concurrent programming using isolation, delegation and grouping

Castegren, Elias; Wallin, Joel; Wrigstad, Tobias

Part of The Journal of logical and algebraic methods in programming, p. 130-151, 2018

• DOI for Bestow and Atomic: Concurrent programming using isolation, delegation and grouping

OOlong: A Concurrent Object Calculus for Extensibility and Reuse

Castegren, Elias; Wrigstad, Tobias

Part of ACM SIGAPP Applied Computing Review, p. 47-60, 2018

• DOI for OOlong: A Concurrent Object Calculus for Extensibility and Reuse

Decoupling Isolation and Concurrency: An Actor-Centric View of Behaviour-Oriented Concurrency

Cheeseman, Luke; Castegren, Elias; Drossopoulou, Sophia; Wrigstad, Tobias et al.

Part of Concurrent Programming, Open Systems and Formal Methods, Springer, 2025

Encore: Coda

Castegren, Elias; Wrigstad, Tobias

Part of Active Object Languages, p. 59-91, Springer Nature, 2024

• DOI for Encore: Coda

Capability-Based Type Systems for Concurrency Control

Castegren, Elias

2018

• Download full text (pdf) of Capability-Based Type Systems for Concurrency Control

Trieste: A C++ DSL for Flexible Tree Rewriting

Clebsch, Sylvan; Blomqvist, Matilda; Castegren, Elias; Johnson, Matthew A. et al.

Part of SLE '24, p. 184-189, 2024

• DOI for Trieste: A C++ DSL for Flexible Tree Rewriting
• Download full text (pdf) of Trieste: A C++ DSL for Flexible Tree Rewriting

Developing a Monadic Type Checker for an Object-Oriented Language: An Experience Report

Castegren, Elias; Fernandez-Reyes, Kiko

p. 184-196, 2019

• DOI for Developing a Monadic Type Checker for an Object-Oriented Language: An Experience Report

Forward to a Promising Future

Fernandez-Reyes, Kiko; Clarke, Dave; Castegren, Elias; Vo, Huu-Phuc

Part of Conference proceedings COORDINATION 2018, 2018

• DOI for Forward to a Promising Future
• Download full text (pdf) of Forward to a Promising Future

Parallel Programming With Arrays in Kappa

Åkerblom, Beatrice; Castegren, Elias; Wrigstad, Tobias

Part of 5th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, 2018

• DOI for Parallel Programming With Arrays in Kappa

OOlong: An Extensible Concurrent Object Calculus

Castegren, Elias; Wrigstad, Tobias

Part of SAC '18, p. 1022-1029, 2018

• DOI for OOlong: An Extensible Concurrent Object Calculus
• Download full text (pdf) of OOlong: An Extensible Concurrent Object Calculus

C♭: A New Modular Approach to Implementing Efficient and Tunable Collections

Brandauer, Stephan; Castegren, Elias; Wrigstad, Tobias

Part of Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2018), p. 57-71, 2018

• DOI for C♭: A New Modular Approach to Implementing Efficient and Tunable Collections

Attached and Detached Closures in Actors

Castegren, Elias; Clarke, Dave; Fernandez-Reyes, Kiko; Wrigstad, Tobias et al.

Part of Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, p. 54-61, 2018

• DOI for Attached and Detached Closures in Actors

Relaxed Linear References for Lock-free Data Structures

Castegren, Elias; Wrigstad, Tobias

Part of 31st European Conference on Object-Oriented Programming (ECOOP 2017), 2017

• DOI for Relaxed Linear References for Lock-free Data Structures
• Download full text (pdf) of Relaxed Linear References for Lock-free Data Structures

Mastery Learning-Like Teaching with Achievements

Wrigstad, Tobias; Castegren, Elias

2017

• Download full text (pdf) of Mastery Learning-Like Teaching with Achievements

Reference Capabilities for Concurrency & Scalability: an Experience Report

Castegren, Elias; Wrigstad, Tobias

2017

• Download full text (pdf) of Reference Capabilities for Concurrency & Scalability: an Experience Report

Actors without Borders: Amnesty for Imprisoned State

Castegren, Elias; Wrigstad, Tobias

p. 10-20, 2017

• DOI for Actors without Borders: Amnesty for Imprisoned State
• Download full text (pdf) of Actors without Borders: Amnesty for Imprisoned State

Kappa: Insights, Current Status and Future Work

Castegren, Elias; Wrigstad, Tobias

2016

• Download full text (pdf) of Kappa: Insights, Current Status and Future Work

Reference Capabilities for Concurrency Control

Castegren, Elias; Wrigstad, Tobias

Part of ECOOP 2016 — Object-Oriented Programming, 2016

• Download full text (pdf) of Reference Capabilities for Concurrency Control

Types for CAS: Relaxed Linearity with Ownership Transfer

Castegren, Elias; Wrigstad, Tobias

2016

• Download full text (pdf) of Types for CAS: Relaxed Linearity with Ownership Transfer

Parallel Objects for Multicores: A Glimpse at the Parallel Language ENCORE

Brandauer, Stephan; Castegren, Elias; Clarke, Dave; Fernandez-Reyes, Kiko et al.

Part of Formal Methods for Multicore Programming, p. 1-56, 2015

• DOI for Parallel Objects for Multicores: A Glimpse at the Parallel Language ENCORE

Refined Ownership: Fine-grained controlled internal sharing

Castegren, Elias; Östlund, Johan; Wrigstad, Tobias

Part of Formal Methods for Multicore Programming, p. 179-210, 2015

• DOI for Refined Ownership: Fine-grained controlled internal sharing

Types for CAS: Relaxed Linearity with Ownership Transfer

Castegren, Elias; Wrigstad, Tobias

2017

LOLCAT: Relaxed Linear References for Lock-free Programming

Castegren, Elias; Wrigstad, Tobias

2016

• Download full text (pdf) of LOLCAT: Relaxed Linear References for Lock-free Programming

Reference Capabilities for Trait Based Reuse and Concurrency Control

Castegren, Elias; Wrigstad, Tobias

2016

• Download full text (pdf) of Reference Capabilities for Trait Based Reuse and Concurrency Control