Elias Castegren
Associate senior lecturer/Assistant Professor at Department of Information Technology; Division of Computing Science
- Telephone:
- +46 18 471 54 03
- E-mail:
- elias.castegren@it.uu.se
- Visiting address:
- Hus 10, Regementsvägen 10
- Postal address:
- Box 524
751 20 UPPSALA
- Academic merits:
- Docent
Short presentation
I am an associate senior lecturer (docent) at the Computing Science Division. My research concerns programming languages, parallel programming and mechanized theorem proving. More recent information is available on my personal webpage.
Keywords
- programming languages
- parallel programming
- theorem proving
Publications
Recent publications
-
When Behaviours Have to Happen: An Axiomatic Model of Causality in Behaviour-Oriented Concurrency
Part of 37th International Conference on Concurrency Theory (CONCUR 2026), 2026
- DOI for When Behaviours Have to Happen: An Axiomatic Model of Causality in Behaviour-Oriented Concurrency
- Download full text (pdf) of When Behaviours Have to Happen: An Axiomatic Model of Causality in Behaviour-Oriented Concurrency
-
Decoupling Isolation and Concurrency: An Actor-Centric View of Behaviour-Oriented Concurrency
Part of Concurrent Programming, Open Systems and Formal Methods, p. 165-186, Springer, 2025
-
Part of Active Object Languages, p. 59-91, Springer Nature, 2024
-
Trieste: A C++ DSL for Flexible Tree Rewriting
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
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
All publications
Articles in journal
-
Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM
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
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
Part of Proceedings of the ACM on Programming Languages, p. 1686-1712, 2023
-
Bestow and Atomic: Concurrent programming using isolation, delegation and grouping
Part of The Journal of logical and algebraic methods in programming, p. 130-151, 2018
-
OOlong: A Concurrent Object Calculus for Extensibility and Reuse
Part of ACM SIGAPP Applied Computing Review, p. 47-60, 2018
Chapters in book
-
Decoupling Isolation and Concurrency: An Actor-Centric View of Behaviour-Oriented Concurrency
Part of Concurrent Programming, Open Systems and Formal Methods, p. 165-186, Springer, 2025
-
Part of Active Object Languages, p. 59-91, Springer Nature, 2024
Comprehensive doctoral thesis
Conference papers
-
When Behaviours Have to Happen: An Axiomatic Model of Causality in Behaviour-Oriented Concurrency
Part of 37th International Conference on Concurrency Theory (CONCUR 2026), 2026
- DOI for When Behaviours Have to Happen: An Axiomatic Model of Causality in Behaviour-Oriented Concurrency
- Download full text (pdf) of When Behaviours Have to Happen: An Axiomatic Model of Causality in Behaviour-Oriented Concurrency
-
Trieste: A C++ DSL for Flexible Tree Rewriting
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
p. 184-196, 2019
-
Parallel Programming With Arrays in Kappa
Part of 5th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, 2018
-
Part of Conference proceedings COORDINATION 2018, 2018
-
OOlong: An Extensible Concurrent Object Calculus
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
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
-
Attached and Detached Closures in Actors
Part of Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, p. 54-61, 2018
-
Relaxed Linear References for Lock-free Data Structures
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
2017
-
Reference Capabilities for Concurrency & Scalability: an Experience Report
2017
-
Actors without Borders: Amnesty for Imprisoned State
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
2016
-
Reference Capabilities for Concurrency Control
Part of ECOOP 2016 — Object-Oriented Programming, 2016
-
Types for CAS: Relaxed Linearity with Ownership Transfer
2016
-
Parallel Objects for Multicores: A Glimpse at the Parallel Language ENCORE
Part of Formal Methods for Multicore Programming, p. 1-56, 2015
-
Refined Ownership: Fine-grained controlled internal sharing
Part of Formal Methods for Multicore Programming, p. 179-210, 2015