Joeri De Koster -

Registered user since Tue 1 Nov 2016

Name:Joeri De Koster

Country:Belgium

Affiliation:Vrije Universiteit Brussel, Belgium

Contributions

FTfJP 2022	Author of A Graph-Based Formal Semantics of Reactive Programming from First Principles within the FTfJP-track
AGERE 2021	Author of Closing within the AGERE 2021-track Committee Member in Organizing Committee within the AGERE 2021-track Session Chair of Safety and Failures (part of AGERE 2021) Author of Opening within the AGERE 2021-track
SPLASH 2021	Organizing Committee of AGERE within the Workshops-track
AGERE 2020	Author of AGERE: Closing within the AGERE 2020-track Committee Member in Organizing Committee within the AGERE 2020-track Author of AGERE: Opening within the AGERE 2020-track
‹Programming› 2021	Author of Advanced Join Patterns for the Actor Model based on CEP Techniques within the Research Papers-track
ECOOP 2020	Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Research Papers-track Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Artifacts-track
AGERE 2019	Committee Member in Organizing Committee within the AGERE 2019-track Committee Member in Organizing Committee within the AGERE 2019-track
AGERE 2018	Author of Chocola: Integrating Futures, Actors, and Transactions within the AGERE-track Committee Member in Organizing Committee within the AGERE-track
‹Programming› 2019	Committee Member in Program Committee within the Research Papers-track
REBLS 2018	Author of Skitter: A DSL for Distributed Reactive Workflows within the REBLS 2018-track
Programming for the Large 2018	Committee Member in Organizing Committee within the Programming for the Large 2018 (cancelled)-track
SPLASH 2018	Author of Chocola: Integrating Futures, Actors, and Transactions within the Posters-track Author of Skitter: A DSL for Distributed Reactive Workflows within the Posters-track
REBLS 2017	Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the REBELS-track
WODA 2017	Author of Dynamic Verification of Inter-parameter Constraints in Web Applications within the WODA 2017-track
SEPS 2017	Author of Transactional Actors: Communication in Transactions within the SEPS 2017-track
AGERE 2017	Session Chair of Session 1: Verification and Language Models (part of AGERE 2017) Author of Sparrow - A DSL for Coordinating Large Groups of Heterogeneous Actors within the AGERE 2017-track Session Chair of Session 2: Runtime Environments and Debugging (part of AGERE 2017) Committee Member in Organizing Committee within the AGERE 2017-track
‹Programming› 2018	Author of Search-based Tier Assignment for Optimising Offline Availability in Multi-tier Web Applications within the Research Papers-track
ProWeb 2017	Author of Enriching the Internet By Acting and Reacting within the ProWeb 2017-track
MoreVMs 2017	Author of An Extensible Virtual Machine Design for the Execution of High-level Languages on Tagged-token Dataflow Machines within the MoreVMs 2017-track
‹Programming› 2017	Student Volunteer Chair in Organizing Committee
AGERE 2016	Author of Shared State for Actors: Pass-By-Replication Semantics within the AGERE 2016-track Author of 43 Years of Actors: A Taxonomy of Actor Models and Their Key Properties within the AGERE 2016-track
ECOOP 2018	Author of Static typing of complex presence constraints in interfaces within the ECOOP Research Papers-track
GPCE 2016	Author of Dependence-Driven Delimited CPS Transformation for JavaScript within the GPCE-track
ECOOP 2016	Author of Transactional Tasks: Parallelism in Software Transactions within the Research Track-track Committee Member in Artifact Evaluation Committee within the Artifacts-track Author of Slice-based Web Development: Mapping Slices to Tiers within the Posters-track Author of Typing Third Party Web Service Usage within the Posters-track Author of Transactional Tasks: Parallelism in Software Transactions within the Posters-track
WODA 2015	Author of A Formal Foundation for Trace-Based JIT Compilers within the WODA-track
Onward! 2015	Author of Just-in-Time Data Structures within the Onward! Papers-track
AGERE 2012	Author of Domains: safe sharing among actors within the AGERE 2012-track