Kiko Fernandez-Reyes -

Registered user since Sat 2 Sep 2017

Name:Kiko Fernandez-Reyes

Bio:

I was part of the programming languages research group at Uppsala University with specialisation in concurrent and functional programming languages, type systems, formal methods, core developer of the actor-based Encore programming language, and main lecturer of the course Advanced Software Design. Nowadays, I spent my days working for Klarna trying to make payments smoooth using Erlang and Haskell :)

Country:Sweden

Affiliation:Klarna

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

Twitter:https://twitter.com/kikofernandez

GitHub:https://github.com/kikofernandez

Research interests:type system, parallel programming, compilers

Contributions

SPLASH 2022	Committee Member in Program Committee within the Onward! Papers-track
Erlang 2022	PC Member in Program Committee within the Erlang 2022-track
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
ECOOP 2020	Committee Member in Artifact Evaluation Committee within the Artifacts-track
FTfJP 2020	Author of Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom within the FTfJP-track
SPLASH 2019	Co-chair in Organizers within the Student Volunteers-track Student Volunteer Co-Chair in Organizing Committee
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
VMIL 2019	Author of Towards Gradual Checking of Reference Capabilities within the VMIL 2019-track
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