Elias Castegren
Associate senior lecturer/Assistant Professor at Institutionen för informationsteknologi; Datalogi
- Telephone:
- +46 18 471 54 03
- E-mail:
- elias.castegren@it.uu.se
- Visiting address:
- Hus 10, Lägerhyddsvägen 1
- Postal address:
- Box 337
751 05 UPPSALA
More information is available to staff who log in.
Short presentation
I am an associate senior lecturer 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
- parallel programming
- programming languages
- theorem proving
Publications
Recent publications
- Reference Capabilities for Flexible Memory Management (2023)
- Encore: Coda (2023)
- Statically Resolvable Ambiguity (2023)
- Developing a Monadic Type Checker for an Object-Oriented Language (2019)
- C♭: A New Modular Approach to Implementing Efficient and Tunable Collections (2018)
All publications
Articles
- Reference Capabilities for Flexible Memory Management (2023)
- Statically Resolvable Ambiguity (2023)
- Bestow and Atomic (2018)
- OOlong (2018)
- Types for CAS (2017)
Books
Chapters
Conferences
- Developing a Monadic Type Checker for an Object-Oriented Language (2019)
- C♭: A New Modular Approach to Implementing Efficient and Tunable Collections (2018)
- Attached and Detached Closures in Actors (2018)
- OOlong (2018)
- Forward to a Promising Future (2018)
- Parallel Programming With Arrays in Kappa (2018)
- Actors without Borders (2017)
- Relaxed Linear References for Lock-free Data Structures (2017)
- Reference Capabilities for Concurrency & Scalability (2017)
- Mastery Learning-Like Teaching with Achievements (2017)
- Kappa (2016)
- Reference Capabilities for Concurrency Control (2016)
- Types for CAS: Relaxed Linearity with Ownership Transfer (2016)
- Parallel Objects for Multicores (2015)
- Refined Ownership (2015)
Reports
