Følg
Kiko Fernández
Kiko Fernández
Ericsson
Verifisert e-postadresse på ericsson.com - Startside
Tittel
Sitert av
Sitert av
År
A survey of active object languages
FD Boer, V Serbanescu, R Hähnle, L Henrio, J Rochas, CC Din, ...
ACM Computing Surveys (CSUR) 50 (5), 1-39, 2017
1532017
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
912015
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
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
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
162019
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 Ser. 5 (2), 01:1-01: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
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
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–17