Kiko Fernandez-Reyes

Registered user since Sat 2 Sep 2017

Name:Kiko Fernandez-Reyes
Country:Sweden
Affiliation:Uppsala University
Research interests:type system, parallel programming, compilers

Contributions

SPLASH 2021 Author of Dala: A Simple Capability-Based Dynamic Language Design for Data Race-Freedom within the Onward! Papers-track
Author of Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom within the Posters-track
FTfJP 2020 Author of Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom within the FTfJP-track
ECOOP 2020 Committee Member in Artifact Evaluation Committee within the Artifacts-track
VMIL 2019 Author of Towards Gradual Checking of Reference Capabilities within the VMIL 2019-track
AGERE 2019 Committee Member in Program Committee within the AGERE 2019-track
Author of Run, Actor, Run - Towards Cross-Actor Language Benchmarking within the AGERE 2019-track
SLE 2019 Author of Developing a Monadic Type Checker for an Object-Oriented Language (Experience Report) within the SLE 2019-track
SPLASH 2019 Co-chair in Organizers within the Student Volunteers-track
Student Volunteer Co-Chair in Organizing Committee
ECOOP 2019 Author of Godot: All the Benefits of Implicit and Explicit Futures within the Research Papers-track
Author of Godot: All the Benefits of Implicit and Explicit Futures within the Posters-track
Author of Godot: All the Benefits of Implicit and Explicit Futures within the Artifacts-track
AGERE 2018 Author of Attached and Detached Closures in Actors within the AGERE-track
TyDe 2017 Author of Affine killing within the TyDe 2017-track