Einar Broch Johnsen -

Registered user since Thu 5 Jun 2014

Name: Einar Broch Johnsen

Affiliation: University of Oslo

Contributions

FormaliSE 2020	PC Member in Program Committee within the FormaliSE 2020-track
AGERE 2019	Committee Member in Program Committee within the AGERE 2019-track
FormaliSE 2019	Committee Member in Program Committee within the FormaliSE 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 Artifacts-track Author of Godot: All the Benefits of Implicit and Explicit Futures within the Posters-track
FASE 2019	Author of Implementing SOS with Active Objects: A Case Study of a Multicore Memory System within the FASE 2019-track
ETAPS 2019	Author of Implementing SOS with Active Objects: A Case Study of a Multicore Memory System within the Posters-track
VORTEX 2018	Author of Analysis of SLA Compliance in the Cloud within the VORTEX-track
ICSE 2020	Author of Lazy Product Discovery in Huge Configuration Spaces within the Technical Papers-track
FormaliSE 2018	Committee Member in Program Committee within the FormaliSE 2018-track
NOOL 2015	Author of Inversion in Programming Language Design: The Encore Way within the NOOL-track
AGERE!	Committee Member in Program Committee
ECOOP 2015	Committee Member in Programme Committee within the Research Track-track
AGERE 2012	Committee Member in Program Committee within the AGERE 2012-track