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 | 90 | 2015 |
Reference capabilities for concurrency control E Castegren, T Wrigstad ECOOP 2016, July 17–22, Rome, Italy, 2016 | 58 | 2016 |
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 | 17 | 2018 |
Relaxed linear references for lock-free data structures E Castegren, T Wrigstad 31st European Conference on Object-Oriented Programming (ECOOP 2017), 2017 | 16 | 2017 |
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 | 11 | 2023 |
Mastery Learning-Like Teaching with Achievements T Wrigstad, E Castegren arXiv preprint arXiv:1906.03510, 2019 | 11 | 2019 |
Capability-based type systems for concurrency control E Castegren Acta Universitatis Upsaliensis, 2018 | 9 | 2018 |
OOlong: a concurrent object calculus for extensibility and reuse E Castegren, T Wrigstad ACM SIGAPP Applied Computing Review 18 (4), 47-60, 2019 | 7 | 2019 |
OOlong: an extensible concurrent object calculus E Castegren, T Wrigstad Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1022-1029, 2018 | 7 | 2018 |
Lolcat: Relaxed linear references for lock-free programming E Castegren, T Wrigstad | 7 | 2016 |
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 | 6 | 2018 |
Reference capabilities for safe parallel array programming E Castegren, T Wrigstad arXiv preprint arXiv:1905.13716, 2019 | 5 | 2019 |
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 | 5 | 2018 |
Coq and Ott sources for OOlong E Castegren | 5 | 2017 |
Capable: Capabilities for scalability E Castegren, T Wrigstad International Workshop on Aliasing, Confinement and Ownership in Object …, 2014 | 5 | 2014 |
Actors without borders: amnesty for imprisoned state E Castegren, T Wrigstad arXiv preprint arXiv:1704.03094, 2017 | 4 | 2017 |
Kappa: insights, current status and future work E Castegren, T Wrigstad IWACO, 2016 | 4 | 2016 |
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 | 3 | 2021 |
Parallel programming with arrays in kappa B Åkerblom, E Castegren, T Wrigstad Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries …, 2018 | 3 | 2018 |
Reference capabilities for trait based reuse and concurrency control E Castegren, T Wrigstad | 3 | 2016 |