AGERE!@SPLASH

Keyphrases

Publications

2021

2020

2019

Kouhei Sakurai, Taiki Shimizu
Actor-based incremental tree data processing for large-scale machine learning applications. AGERE!@SPLASH (2019)
Sebastian Blessing, Kiko Fernandez-Reyes, Albert Mingkun Yang, Sophia Drossopoulou, Tobias Wrigstad
Run, actor, run: towards cross-actor language benchmarking. AGERE!@SPLASH (2019)
Colin S. Gordon
Modal assertions for actor correctness. AGERE!@SPLASH (2019)
Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE!@SPLASH 2019, Athens, Greece, October 22, 2019. AGERE!@SPLASH (2019)
Michael Tran, Alexander Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel, Stian Lasse Lybech
Locations and session types in a language with higher-order reflection. AGERE!@SPLASH (2019)
Tim Soethout, Tijs van der Storm, Jurgen J. Vinju
Static local coordination avoidance for distributed objects. AGERE!@SPLASH (2019)

2018

2017

2016

2015

2014