Kiko Fernandez-Reyes

17 papers A 1B 1C 2Journal 4Unranked 7

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Nominal Types for Erlang. Erlang Isabell Huang, John Högberg, Kiko Fernandez-Reyes, Tobias Wrigstad
2024	—	`ed.`	Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, Erlang 2024, Milan, Italy, 2 September 2024 Erlang Kiko Fernandez-Reyes, Adriana Laura Voinea
2023	—	`ed.`	Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, Erlang 2023, Seattle, WA, USA, 4 September 2023 Erlang Workshop Burcu Kulahcioglu Ozkan, Kiko Fernandez-Reyes
2023	—	`conf`	TLS the Erlang/OTP Way (Experience Report). Erlang Workshop Ingela Anderton Andin, Raimo Niskanen, Peter Dimitrov, Kiko Fernandez-Reyes
2021	J	`jnl`	Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom. CoRR Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Erin Greenwood-Thessman, Michael Homer, Tobias Wrigstad
2021	—	`conf`	Dala: a simple capability-based dynamic language design for data race-freedom. Onward! Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Erin Greenwood-Thessman, Michael Homer, Tobias Wrigstad
2019	B	`conf`	Developing a monadic type checker for an object-oriented language: an experience report. SLE Elias Castegren, Kiko Fernandez-Reyes
2019	J	`jnl`	Godot: All the Benefits of Implicit and Explicit Futures (Artifact). Dagstuhl Artifacts Ser. Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad
2019	A	`conf`	Godot: All the Benefits of Implicit and Explicit Futures. ECOOP Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad
2019	—	`conf`	Run, actor, run: towards cross-actor language benchmarking. AGERE!@SPLASH Sebastian Blessing, Kiko Fernandez-Reyes, Albert Mingkun Yang, Sophia Drossopoulou, Tobias Wrigstad
2019	J	`jnl`	Towards Gradual Checking of Reference Capabilities. CoRR Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Tobias Wrigstad
2018	—	`conf`	Attached and detached closures in actors. AGERE!@SPLASH Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Tobias Wrigstad, Albert Mingkun Yang
2018	C	`conf`	Forward to a Promising Future. COORDINATION Kiko Fernandez-Reyes, Dave Clarke, Elias Castegren, Huu-Phuc Vo
2018	—	`conf`	The impact of opt-in gamification on students' grades in a software design course. MoDELS (Companion) Kiko Fernandez-Reyes, Dave Clarke, Janina Hornbach
2017	J	`jnl`	A Survey of Active Object Languages. ACM Comput. Surv. 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
2016	C	`conf`	ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations. COORDINATION Kiko Fernandez-Reyes, Dave Clarke, Daniel S. McCain
2015	—	`conf`	Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore. SFM Stephan Brandauer, Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, Tobias Wrigstad, Albert Mingkun Yang