Follow
Kiko Fernández
Title
Cited by
Cited by
Year
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
1422017
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
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
322016
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
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
152019
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
122019
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
92018
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
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
42021
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
Towards Gradual Checking of Reference Capabilities
K Fernandez-Reyes, IO Gariano, J Noble, T Wrigstad
arXiv preprint arXiv:1909.01465, 2019
12019
Affine killing: semantics for stopping the ParT
K Fernandez-Reyes, D Clarke
TyDe 2017, September 3, Oxford, UK, 2017
12017
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
Affine killing
K Fernandez-Reyes, D Clarke
2017
The system can't perform the operation now. Try again later.
Articles 1–15