Kiko Fernández
TitleCited byYear
Parallel objects for multicores: A glimpse at the parallel language encore
S Brandauer, E Castegren, D Clarke, K Fernandez-Reyes, EB Johnsen, ...
International School on Formal Methods for the Design of Computer …, 2015
572015
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), 76, 2017
382017
Part: An asynchronous parallel abstraction for speculative pipeline computations
K Fernandez-Reyes, D Clarke, DS McCain
International Conference on Coordination Languages and Models, 101-120, 2016
232016
Forward to a promising future
K Fernandez-Reyes, D Clarke, E Castegren, HP Vo
International Conference on Coordination Languages and Models, 162-180, 2018
42018
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
12018
Towards Gradual Checking of Reference Capabilities
K Fernandez-Reyes, IO Gariano, J Noble, T Wrigstad
arXiv preprint arXiv:1909.01465, 2019
2019
Godot: All the Benefits of Implicit and Explicit Futures
K Fernandez-Reyes, D Clarke, L Henrio, EB Johnsen, T Wrigstad
2019
Developing a Monadic Type Checker for an Object-Oriented Language: An Experience Report
E Castegren, K Fernandez-Reyes
2019
Run, Actor, Run
S Blessing, K Fernandez-Reyes, AM Yang, S Drossopoulou, T Wrigstad
2019
Godot: All the Benefits of Implicit and Explicit Futures (Artifact)
K Fernandez-Reyes, D Clarke, L Henrio, EB Johnsen, T Wrigstad
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2019
2019
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
2018
Affine killing: Semantics for stopping the ParT
K Fernandez-Reyes, D Clarke
TyDe 2017, September 3, Oxford, UK, 2017
2017
Affine killing
K Fernandez-Reyes, D Clarke
2017
The system can't perform the operation now. Try again later.
Articles 1–13