Kiko Fernandez-Reyes -

Registered user since Sat 2 Sep 2017

Name:Kiko Fernandez-Reyes

Country:Sweden

Affiliation:Uppsala University

Personal website:https://www.plresearcher.com/

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