Följ
Elias Castegren
Elias Castegren
Assistant Professor, Uppsala University
Verifierad e-postadress på it.uu.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, ...
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
522016
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20