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
642015
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
462017
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
22018
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
12018
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
2019
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
2019
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
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
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–14