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 524
751 20 UPPSALA
Ladda ned kontaktuppgifter för Elias Castegren vid Institutionen för informationsteknologi; Datalogi
- Akademiska meriter:
- Docent
Kort presentation
Jag är biträdande universitetslektor (docent) 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
-
Decoupling Isolation and Concurrency: An Actor-Centric View of Behaviour-Oriented Concurrency
Ingår i Concurrent Programming, Open Systems and Formal Methods, s. 165-186, Springer, 2025
-
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
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
-
Decoupling Isolation and Concurrency: An Actor-Centric View of Behaviour-Oriented Concurrency
Ingår i Concurrent Programming, Open Systems and Formal Methods, s. 165-186, Springer, 2025
-
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
-
Ingår i Conference proceedings COORDINATION 2018, 2018
-
Parallel Programming With Arrays in Kappa
Ingår i 5th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming, 2018
-
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
-
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
-
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
-
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