Elias Castegren
Biträdande universitetslektor vid Institutionen för informationsteknologi; Datalogi
- Telefon:
- 018-471 54 03
- E-post:
- elias.castegren@it.uu.se
- Besöksadress:
- Hus 10, Regementsvägen 10
- Postadress:
- Box 337
751 05 UPPSALA
Ladda ned kontaktuppgifter för Elias Castegren vid Institutionen för informationsteknologi; Datalogi
Kort presentation
Jag är biträdande universitetslektor på avdelningen för datalogi. Min forskning rör programspråk, parallellprogrammering och mekaniserad bevisföring. Mer aktuell information finns på min personliga hemsida.
Nyckelord
- programming languages
- parallel programming
- theorem proving

Publikationer
Senaste publikationer
Ingår i Active Object Languages, s. 59-91, Springer Nature, 2024
Trieste: A C++ DSL for Flexible Tree Rewriting
Ingår i SLE '24, s. 184-189, 2024
- DOI för Trieste: A C++ DSL for Flexible Tree Rewriting
- Ladda ner fulltext (pdf) av Trieste: A C++ DSL for Flexible Tree Rewriting
Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM
Ingår i The Art, Science, and Engineering of Programming, 2024
- DOI för Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM
- Ladda ner fulltext (pdf) av Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM
Reference Capabilities for Flexible Memory Management
Ingår i Proceedings of the ACM on Programming Languages, s. 1363-1393, 2023
- DOI för Reference Capabilities for Flexible Memory Management
- Ladda ner fulltext (pdf) av Reference Capabilities for Flexible Memory Management
Statically Resolvable Ambiguity
Ingår i Proceedings of the ACM on Programming Languages, s. 1686-1712, 2023
Alla publikationer
Artiklar i tidskrift
Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM
Ingår i The Art, Science, and Engineering of Programming, 2024
- DOI för Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM
- Ladda ner fulltext (pdf) av Arrays in Practice: An Empirical Study of Array Access Patterns on the JVM
Reference Capabilities for Flexible Memory Management
Ingår i Proceedings of the ACM on Programming Languages, s. 1363-1393, 2023
- DOI för Reference Capabilities for Flexible Memory Management
- Ladda ner fulltext (pdf) av Reference Capabilities for Flexible Memory Management
Statically Resolvable Ambiguity
Ingår i Proceedings of the ACM on Programming Languages, s. 1686-1712, 2023
Bestow and Atomic: Concurrent programming using isolation, delegation and grouping
Ingår i The Journal of logical and algebraic methods in programming, s. 130-151, 2018
OOlong: A Concurrent Object Calculus for Extensibility and Reuse
Ingår i ACM SIGAPP Applied Computing Review, s. 47-60, 2018
Doktorsavhandlingar, sammanläggning
Kapitel i böcker, delar av antologi
Ingår i Active Object Languages, s. 59-91, Springer Nature, 2024
Konferensbidrag
Trieste: A C++ DSL for Flexible Tree Rewriting
Ingår i SLE '24, s. 184-189, 2024
- DOI för Trieste: A C++ DSL for Flexible Tree Rewriting
- Ladda ner fulltext (pdf) av Trieste: A C++ DSL for Flexible Tree Rewriting
Developing a Monadic Type Checker for an Object-Oriented Language: An Experience Report
s. 184-196, 2019
OOlong: An Extensible Concurrent Object Calculus
Ingår i SAC '18, s. 1022-1029, 2018
- DOI för OOlong: An Extensible Concurrent Object Calculus
- Ladda ner fulltext (pdf) av OOlong: An Extensible Concurrent Object Calculus
Ingår i Conference proceedings COORDINATION 2018, 2018
Attached and Detached Closures in Actors
Ingår i Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, s. 54-61, 2018
C♭: A New Modular Approach to Implementing Efficient and Tunable Collections
Ingår i Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward! 2018), s. 57-71, 2018
Parallel Programming With Arrays in Kappa
Ingår i 5th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, 2018
Relaxed Linear References for Lock-free Data Structures
Ingår i 31st European Conference on Object-Oriented Programming (ECOOP 2017), 2017
- DOI för Relaxed Linear References for Lock-free Data Structures
- Ladda ner fulltext (pdf) av 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
s. 10-20, 2017
- DOI för Actors without Borders: Amnesty for Imprisoned State
- Ladda ner fulltext (pdf) av Actors without Borders: Amnesty for Imprisoned State
Kappa: Insights, Current Status and Future Work
2016
Reference Capabilities for Concurrency Control
Ingår i 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
Ingår i Formal Methods for Multicore Programming, s. 1-56, 2015
Refined Ownership: Fine-grained controlled internal sharing
Ingår i Formal Methods for Multicore Programming, s. 179-210, 2015