Seguir
Elias Castegren
Elias Castegren
Assistant Professor, Uppsala University
Dirección de correo verificada de it.uu.se - Página principal
Título
Citado por
Citado por
Año
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore
S Brandauer, E Castegren, D Clarke, K Fernandez-Reyes, EB Johnsen, ...
Formal Methods for Multicore Programming: 15th International School on …, 2015
872015
Reference capabilities for concurrency control
E Castegren, T Wrigstad
ECOOP 2016, July 17–22, Rome, Italy, 2016
532016
Forward to a promising future
K Fernandez-Reyes, D Clarke, E Castegren, HP Vo
Coordination Models and Languages: 20th IFIP WG 6.1 International Conference …, 2018
162018
Relaxed linear references for lock-free data structures
E Castegren, T Wrigstad
31st European Conference on Object-Oriented Programming (ECOOP 2017), 2017
152017
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
92018
OOlong: a concurrent object calculus for extensibility and reuse
E Castegren, T Wrigstad
ACM SIGAPP Applied Computing Review 18 (4), 47-60, 2019
72019
OOlong: an extensible concurrent object calculus
E Castegren, T Wrigstad
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1022-1029, 2018
72018
Lolcat: Relaxed linear references for lock-free programming
E Castegren, T Wrigstad
72016
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
62018
Reference capabilities for flexible memory management
E Arvidsson, E Castegren, S Clebsch, S Drossopoulou, J Noble, ...
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1363-1393, 2023
52023
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
52018
Coq and Ott sources for OOlong
E Castegren
52017
Capable: Capabilities for scalability
E Castegren, T Wrigstad
International Workshop on Aliasing, Confinement and Ownership in Object …, 2014
52014
Reference capabilities for safe parallel array programming
E Castegren, T Wrigstad
arXiv preprint arXiv:1905.13716, 2019
42019
Actors without borders: amnesty for imprisoned state
E Castegren, T Wrigstad
arXiv preprint arXiv:1704.03094, 2017
42017
Kappa: insights, current status and future work
E Castegren, T Wrigstad
IWACO, 2016
42016
Resolvable ambiguity: principled resolution of syntactically ambiguous programs
V Palmkvist, E Castegren, P Haller, D Broman
Proceedings of the 30th ACM SIGPLAN International Conference on Compiler …, 2021
32021
LAPS: A General Framework for Modeling Alias Management Using Access Permission Sets
E Castegren
32012
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
22019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20