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, Lägerhyddsvägen 1
- Postadress:
- Box 337
751 05 UPPSALA
Ladda ned kontaktuppgifter för Elias Castegren vid Institutionen för informationsteknologi; Datalogi
Mer information visas för dig som medarbetare om du loggar in.
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
- parallel programming
- programming languages
- theorem proving
Publikationer
Senaste publikationer
- 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)
Alla publikationer
Artiklar
- Reference Capabilities for Flexible Memory Management (2023)
- Statically Resolvable Ambiguity (2023)
- Bestow and Atomic (2018)
- OOlong (2018)
- Types for CAS (2017)
Böcker
Kapitel
Konferenser
- 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)
Rapporter
