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

ECOOP 2022 Committee Member in Program Committee within the Research Papers-track
ICOOOLPS 2021 Committee Member in Program Committee within the ICOOOLPS-track
ProWeb21 Committee Member in Program Committee within the ProWeb21-track
DLS 2021 PC Member in Program Committee within the DLS 2021-track
SPLASH 2021 Committee Member in External Review Committee within the OOPSLA-track
Author of Relational Nullable Types with Boolean Unification within the OOPSLA-track
PLDI 2021 Committee Member in Program Committee within the PLDI-track
SySEPL 2020 Committee Member in Program Committee within the SySEPL 2020-track
ICOOOLPS 2020 Committee Member in Program Committee within the ICOOOLPS-track
ICSE 2022 Committee Member in Program Committee within the Technical Track-track
ECOOP 2020 Author of A Semantics for the Essence of React within the Research Papers-track
SPLASH 2020 Author 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
DPA 2019 Committee Member in Organizing Committee within the DPA-track
MPLR 2019 Committee Member in Program Committee within the MPLR 2019-track
SPLASH 2019 Publications Chair in Organizing Committee
DPA 2018 Committee Member in Organizing Committee within the DPA-track
Session Chair of Session II (part of DPA)
Author of Program Analysis with Flix within the DPA-track
SPLASH 2018 Author of Finding Broken Promises in Asynchronous JavaScript Programs within the Posters-track
Author of Finding Broken Promises in Asynchronous JavaScript Programs within the Artifacts-track
Author of Finding Broken Promises in Asynchronous JavaScript Programs within the OOPSLA-track
SOAP 2017 Committee Member in Program Committee within the SOAP-track
ECOOP 2018 Committee Member in Program Committee within the ECOOP Research Papers-track
ISSTA 2018 Author of Safe and Sound Program Analysis with Flix within the ISSTA Technical Papers-track
SPLASH 2017 Author of A Model for Reasoning about JavaScript Promises within the OOPSLA-track
PLDI 2016 Author of From Datalog to Flix: A Declarative Language for Fixed Points on Lattices within the Research Papers-track
ECOOP 2016 Author of Flix and its Implementation: A Language for Static Analysis within the Posters-track
SPLASH 2015 Author of Static Analysis of Event-Driven Node.js JavaScript Applications within the OOPSLA-track