Kiko Fernandez-Reyes

According to our database, Kiko Fernandez-Reyes authored at least 15 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Nominal Types for Erlang.

Isabell Huang, John Högberg, Kiko Fernandez-Reyes, Tobias Wrigstad

Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, 2024

2023

TLS the Erlang/OTP Way (Experience Report).

Ingela Anderton Andin, Raimo Niskanen, Peter Dimitrov, Kiko Fernandez-Reyes

Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, 2023

2021

Abstractions to Control the Future.

Francisco Ramón Fernández Reyes

PhD thesis, 2021

Dala: a simple capability-based dynamic language design for data race-freedom.

Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Erin Greenwood-Thessman, Michael Homer, Tobias Wrigstad

Proceedings of the Onward! 2021: Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, 2021

2019

Godot: All the Benefits of Implicit and Explicit Futures (Artifact).

Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad

Dagstuhl Artifacts Ser., 2019

Towards Gradual Checking of Reference Capabilities.

Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Tobias Wrigstad

CoRR, 2019

Developing a monadic type checker for an object-oriented language: an experience report.

Elias Castegren, Kiko Fernandez-Reyes

Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019

Godot: All the Benefits of Implicit and Explicit Futures.

Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

Run, actor, run: towards cross-actor language benchmarking.

Sebastian Blessing, Kiko Fernandez-Reyes, Albert Mingkun Yang, Sophia Drossopoulou, Tobias Wrigstad

Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, 2019

2018

The impact of opt-in gamification on students' grades in a software design course.

Kiko Fernandez-Reyes, Dave Clarke, Janina Hornbach

Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Forward to a Promising Future.

Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren, Huu-Phuc Vo

Proceedings of the Coordination Models and Languages, 2018

Attached and detached closures in actors.

Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Tobias Wrigstad, Albert Mingkun Yang

Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, 2018

2017

A Survey of Active Object Languages.

Frank S. de Boer, Vlad Serbanescu, Reiner Hähnle, Ludovic Henrio, Justine Rochas, Crystal Chang Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah, Kiko Fernandez-Reyes, Albert Mingkun Yang

ACM Comput. Surv., 2017

2016

ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations.

Kiko Fernandez-Reyes, Dave Clarke, Daniel S. McCain

Proceedings of the Coordination Models and Languages, 2016

2015

Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore.

Stephan Brandauer, Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, Tobias Wrigstad, Albert Mingkun Yang

Proceedings of the Formal Methods for Multicore Programming, 2015