Forward to a Promising Future
Fernandez-Reyes, Kiko, Clarke, Dave, Castegren, Elias, Vo, Huu-Phuc
Published in Coordination Models and Languages (2018)
Published in Coordination Models and Languages (2018)
Get full text
Book Chapter
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore
Brandauer, Stephan, Castegren, Elias, Clarke, Dave, Fernandez-Reyes, Kiko, Johnsen, Einar Broch, Pun, Ka I., Tarifa, S. Lizeth Tapia, Wrigstad, Tobias, Yang, Albert Mingkun
Published in Formal Methods for Multicore Programming (2015)
Published in Formal Methods for Multicore Programming (2015)
Get full text
Book Chapter
Conference Proceeding
ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations
Get full text
Book Chapter
Conference Proceeding
Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom
Fernandez-Reyes, Kiko, Gariano, Isaac Oscar, Noble, James, Greenwood-Thessman, Erin, Homer, Michael, Wrigstad, Tobias
Year of Publication 15.09.2021
Year of Publication 15.09.2021
Get full text
Journal Article
Towards Gradual Checking of Reference Capabilities
Fernandez-Reyes, Kiko, Gariano, Isaac Oscar, Noble, James, Wrigstad, Tobias
Year of Publication 03.09.2019
Year of Publication 03.09.2019
Get full text
Journal Article
Towards Gradual Checking of Reference Capabilities
Fernandez-Reyes, Kiko, Gariano, Isaac Oscar, Noble, James, Wrigstad, Tobias
Published in arXiv.org (15.10.2019)
Get full text
Published in arXiv.org (15.10.2019)
Paper
Godot: All the Benefits of Implicit and Explicit Futures (Artifact)
Fernandez-Reyes, Kiko, Clarke, Dave, Henrio, Ludovic, Johnsen, Einar Broch, Wrigstad, Tobias
Year of Publication 12.07.2019
Year of Publication 12.07.2019
Get full text
Data Set