Kiko Fernandez-Reyes

Orcid: 0000-0001-8654-118X

Affiliations:
  • Uppsala University, Sweden (PhD 2021)


According to our database1, Kiko Fernandez-Reyes authored at least 14 papers between 2015 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
TLS the Erlang/OTP Way (Experience Report).
Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, 2023

2021
Abstractions to Control the Future.
PhD thesis, 2021

Dala: a simple capability-based dynamic language design for data race-freedom.
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).
Dagstuhl Artifacts Ser., 2019

Towards Gradual Checking of Reference Capabilities.
CoRR, 2019

Developing a monadic type checker for an object-oriented language: an experience report.
Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019

Godot: All the Benefits of Implicit and Explicit Futures.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

Run, actor, run: towards cross-actor language benchmarking.
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.
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2018

Forward to a Promising Future.
Proceedings of the Coordination Models and Languages, 2018

Attached and detached closures in actors.
Proceedings of the 8th ACM SIGPLAN International Workshop on Programming Based on Actors, 2018

2017
A Survey of Active Object Languages.
ACM Comput. Surv., 2017

2016
ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations.
Proceedings of the Coordination Models and Languages, 2016

2015
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore.
Proceedings of the Formal Methods for Multicore Programming, 2015


  Loading...