Ikuti
Kiko Fernández
Kiko Fernández
Ericsson
Email yang diverifikasi di ericsson.com - Beranda
Judul
Dikutip oleh
Dikutip oleh
Tahun
A survey of active object languages
F Boer, V Serbanescu, R Hähnle, L Henrio, J Rochas, CC Din, ...
ACM Computing Surveys (CSUR) 50 (5), 1-39, 2017
1582017
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
932015
Part: An asynchronous parallel abstraction for speculative pipeline computations
K Fernandez-Reyes, D Clarke, DS McCain
Coordination Models and Languages: 18th IFIP WG 6.1 International Conference …, 2016
302016
Run, actor, run: towards cross-actor language benchmarking
S Blessing, K Fernandez-Reyes, AM Yang, S Drossopoulou, T Wrigstad
Proceedings of the 9th ACM SIGPLAN International Workshop on Programming …, 2019
182019
Godot: All the benefits of implicit and explicit futures
K Fernandez-Reyes, D Clarke, L Henrio, EB Johnsen, T Wrigstad
Leibniz International Proceedings in Informatics 134, 2019
172019
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
172018
The impact of opt-in gamification on students' grades in a software design course
K Fernandez-Reyes, D Clarke, J Hornbach
Proceedings of the 21st ACM/IEEE International Conference on Model Driven …, 2018
102018
Dala: a simple capability-based dynamic language design for data race-freedom
K Fernandez-Reyes, IO Gariano, J Noble, E Greenwood-Thessman, ...
Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas …, 2021
72021
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
62018
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
Godot: all the benefits of implicit and explicit futures (artifact)
K Fernandez-Reyes, D Clarke, L Henrio, EB Johnsen, T Wrigstad
Dagstuhl Artifacts Series 5 (2), 1: 1-1: 2, 2019
22019
Affine killing: semantics for stopping the ParT
K Fernandez-Reyes, D Clarke
TyDe 2017, September 3, Oxford, UK, 2017
22017
Towards Gradual Checking of Reference Capabilities
K Fernandez-Reyes, IO Gariano, J Noble, T Wrigstad
arXiv preprint arXiv:1909.01465, 2019
12019
Nominal Types for Erlang
I Huang, J Högberg, K Fernandez-Reyes, T Wrigstad
Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, 24-32, 2024
2024
TLS the Erlang/OTP Way (Experience Report)
IA Andin, R Niskanen, P Dimitrov, K Fernandez-Reyes
Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, 2-13, 2023
2023
LIPIcs, Volume 134, ECOOP'19, Complete Volume}}
AF Donaldson, S Meier, S Mover, BYE Chang, K Fernandez-Reyes, ...
33rd European Conference on Object-Oriented Programming (ECOOP 2019) 134, 0, 2019
2019
33rd European Conference on Object-Oriented Programming (ECOOP 2019)
S Meier, S Mover, BYE Chang, K Fernandez-Reyes, D Clarke, L Henrio, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2019
2019
Affine killing
K Fernandez-Reyes, D Clarke
2017
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–18