Magnus Madsen - ECOOP 2020

Sun 15 - Tue 17 November 2020 Online Conference

co-located with SPLASH 2020

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

SySEPL 2020	Committee Member in Program Committee within the SySEPL 2020-track
ICOOOLPS 2020	Committee Member in Program Committee within the ICOOOLPS-track
ECOOP 2020	A Semantics for the Essence of React
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
Show activities from other conferences

SPLASH 2020-profile
View general profile