ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
SPLASH 2020 (series) / ECOOP 2020 (series) / Magnus Madsen
Magnus Madsen

Registered user since Mon 21 Sep 2015

Name: Magnus Madsen

Country: Denmark

Affiliation: Aarhus University

Personal website: http://cs.au.dk/~magnusm/

Research interests: Programming Languages

Contributions

SySEPL 2020Committee Member in Program Committee within the SySEPL 2020-track
ICOOOLPS 2020Committee Member in Program Committee within the ICOOOLPS-track
ECOOP 2020Author of A Semantics for the Essence of React within the Research Papers-track
SPLASH 2020Author of Fuzzing Channel-based Concurrency Runtimes Using Types and Effects within the OOPSLA-track
Author of Fixpoints for the Masses: Programming with First-class Datalog Constraints within the OOPSLA-track
Author of Polymorphic Types and Effects with Boolean Unification within the OOPSLA-track
Show activities from other conferences

Using general profile