Elias Castegren
Elias Castegren
Verifierad e-postadress på kth.se - Startsida
Titel
Citeras av
Citeras av
År
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore
S Brandauer, E Castegren, D Clarke, K Fernandez-Reyes, EB Johnsen, ...
International School on Formal Methods for the Design of Computer …, 2015
772015
Reference capabilities for concurrency control
E Castegren, T Wrigstad
ECOOP 2016, July 17–22, Rome, Italy, 2016
412016
Relaxed linear references for lock-free data structures
E Castegren, T Wrigstad
European Conference on Object-Oriented Programming (ECOOP), 47: 1-47: 31, 2017
122017
Forward to a promising future
K Fernandez-Reyes, D Clarke, E Castegren, HP Vo
International Conference on Coordination Languages and Models, 162-180, 2018
102018
Mastery Learning-Like Teaching with Achievements
T Wrigstad, E Castegren
arXiv preprint arXiv:1906.03510, 2019
92019
Capability-Based Type Systems for Concurrency Control
E Castegren
Acta Universitatis Upsaliensis, 2018
72018
Lolcat: Relaxed linear references for lock-free programming
E Castegren, T Wrigstad
72016
OOlong: an extensible concurrent object calculus
E Castegren, T Wrigstad
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1022-1029, 2018
52018
Capable: Capabilities for scalability
E Castegren, T Wrigstad
International Workshop on Aliasing, Confinement and Ownership in Object …, 2014
52014
Bestow and atomic: Concurrent programming using isolation, delegation and grouping
E Castegren, J Wallin, T Wrigstad
Journal of Logical and Algebraic Methods in Programming 100, 130-151, 2018
42018
Attached and detached closures in actors
E Castegren, D Clarke, K Fernandez-Reyes, T Wrigstad, AM Yang
Proceedings of the 8th ACM SIGPLAN International Workshop on Programming …, 2018
32018
Actors without Borders: Amnesty for Imprisoned State
E Castegren, T Wrigstad
arXiv preprint arXiv:1704.03094, 2017
32017
Kappa: Insights, Current Status and Future Work
E Castegren, T Wrigstad
IWACO, 2016
32016
LAPS: A General Framework for Modeling Alias Management Using Access Permission Sets
E Castegren
32012
Reference capabilities for trait based reuse and concurrency control
E Castegren, T Wrigstad
22016
Types for CAS: Relaxed Linearity with Ownership Transfer
E Castegren, T Wrigstad
28th Nordic Workshop on Programming Theory (NWPT'16) 31 October-2 November …, 2016
22016
Developing a monadic type checker for an object-oriented language: an experience report
E Castegren, K Fernandez-Reyes
Proceedings of the 12th ACM SIGPLAN International Conference on Software …, 2019
12019
Reference Capabilities for Safe Parallel Array Programming
E Castegren, T Wrigstad
arXiv preprint arXiv:1905.13716, 2019
12019
Parallel programming with arrays in Kappa
B Åkerblom, E Castegren, T Wrigstad
Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries …, 2018
12018
Types for CAS: Relaxed Linearity with Ownership Transfer
E Castegren, T Wrigstad
12017
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20