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

ESEC/FSE 2023	Committee Member in Program Committee within the Industry Papers-track
TyDe 2023	Committee Member in Program Committee within the TyDe 2023-track
ECOOP 2023	Author of Restrictable Variants: A Simple and Practical Alternative to Extensible Variants within the Research Papers-track Author of Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism within the Research Papers-track Author of Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints within the Research Papers-track
SPLASH 2022	Author of The Principles of the Flix Programming Language within the Onward! Papers-track
ISSTA 2022	Programme Committee in Program Committee within the Technical Papers-track
ECOOP 2022	Keynote Speaker of Dahl-Nygaard Junior Prize: Magnus Madsen - An Introduction to the Flix Programming Language within the Keynotes-track Committee Member in Program Committee within the Research Papers-track
ICSE 2022	Committee Member in Program Committee within the Technical Track-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
ICOOOLPS 2021	Committee Member in Program Committee within the ICOOOLPS-track
PLDI 2021	Committee Member in Program Committee within the PLDI-track
ProWeb21	Committee Member in Program Committee within the ProWeb21-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
ECOOP 2020	Author of A Semantics for the Essence of React within the Research Papers-track
ICOOOLPS 2020	Committee Member in Program Committee within the ICOOOLPS-track
SySEPL 2020	Committee Member in Program Committee within the SySEPL 2020-track
SPLASH 2019	Publications Chair in Organizing Committee
MPLR 2019	Committee Member in Program Committee within the MPLR 2019-track
DPA 2019	Committee Member in Organizing Committee 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
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
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
SOAP 2017	Committee Member in Program Committee within the SOAP-track
ECOOP 2016	Author of Flix and its Implementation: A Language for Static Analysis within the Posters-track
PLDI 2016	Author of From Datalog to Flix: A Declarative Language for Fixed Points on Lattices within the Research Papers-track
SPLASH 2015	Author of Static Analysis of Event-Driven Node.js JavaScript Applications within the OOPSLA-track