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
Affiliation:Aarhus University
Personal website:http://cs.au.dk/~magnusm/
Research interests:Programming Languages

Contributions

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

SPLASH 2020-profile
View general profile