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