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

DPA 2019Committee Member in Organizing Committee within the DPA-track
MPLR 2019Committee Member in Program Committee within the MPLR 2019-track
SPLASH 2019Publications Chair in Organizing Committee
DPA 2018Committee 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 2018Author 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 2017Committee Member in Program Committee within the SOAP-track
ECOOP 2018Committee Member in Program Committee within the ECOOP Research Papers-track
ISSTA 2018Author of Safe and Sound Program Analysis with Flix within the ISSTA Technical Papers-track
SPLASH 2017Author of A Model for Reasoning about JavaScript Promises within the OOPSLA-track
PLDI 2016Author of From Datalog to Flix: A Declarative Language for Fixed Points on Lattices within the Research Papers-track
ECOOP 2016Author of Flix and its Implementation: A Language for Static Analysis within the Posters-track
SPLASH 2015Author of Static Analysis of Event-Driven Node.js JavaScript Applications within the OOPSLA-track