Aarhus University Seal / Aarhus Universitets segl

Magnus Madsen

  1. 2018
  2. Published

    Finding Broken Promises in Asynchronous JavaScript Programs. / Alimadadi, Saba; Zhong, Di; Madsen, Magnus; Tip, Frank.

    In: Proceedings of the ACM on Programming Languages , Vol. 2, No. OOPSLA, 162, 24.10.2018, p. 162:1-162:26.

    Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

  3. Published

    Implicit Parameters for Logic Programming. / Madsen, Magnus; Lhoták, Ondrej.

    Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. ed. / David Sabel; Peter Thiemann. New York, NY, USA : Association for Computing Machinery, 2018. 14 (PPDP '18).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  4. Published

    Safe and Sound Program Analysis with Flix. / Madsen, Magnus; Lhoták, Ondrej.

    ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis. ed. / Eric Bodden; Frank Tip. New York, NY, USA : Association for Computing Machinery, 2018. p. 38-48 (ISSTA 2018).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  5. Published

    Tail Call Elimination and Data Representation for Functional Languages on the Java Virtual Machine. / Madsen, Magnus; Zarifi, Ramin; Lhoták, Ondrej.

    CC 2018 - Proceedings of the 27th International Conference on Compiler Construction, Co-located with CGO 2018. ed. / Jingling Xue; Christophe Dubach. New York, NY, USA : Association for Computing Machinery, 2018. p. 139-150 (CC 2018).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  6. 2015
  7. Published

    Static Analysis of Dynamic Languages. / Madsen, Magnus.

    Department of Computer Science, Aarhus University, 2015. 236 p.

    Research output: Book/anthology/dissertation/reportPh.D. thesisResearch

  8. 2014
  9. Published

    Sparse Dataflow Analysis with Pointers and Reachability. / Madsen, Magnus; Møller, Anders.

    Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings. ed. / Markus Müller-Olm ; Helmut Seidl. Springer VS, 2014. p. 201-218 (Lecture Notes in Computer Science, Vol. 8723).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  10. Published

    String Analysis for Dynamic Field Access. / Madsen, Magnus; Andreasen, Esben.

    Compiler Construction: 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. ed. / Albert Cohen . Springer, 2014. p. 197-217 (Lecture Notes in Computer Science, Vol. 8409).

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  11. 2013
  12. Published

    Practical static analysis of JavaScript applications in the presence of frameworks and libraries. / Madsen, Magnus; Livshits, Benjamin; Fanning, Michael.

    Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering , ESEC/FSE 2013 . ed. / Bertrand Meyer; Luciano Baresi; Mira Mezini. Association for Computing Machinery, 2013. p. 499-509.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  13. 2012
  14. Published

    Improving Tools for JavaScript Programmers (Position Paper). / Andreasen, Esben; Feldthaus, Asger; Jensen, Simon Holm; Jensen, Casper S.; Jonsson, Peter A.; Madsen, Magnus; Møller, Anders.

    2012. Paper presented at International Workshop on Scripts to Programs, Beijing, China.

    Research output: Contribution to conferencePaperResearchpeer-review

  15. 2011
  16. Published

    Modeling the HTML DOM and Browser API in Static Analysis of JavaScript Web Applications. / Jensen, Simon Holm; Madsen, Magnus; Møller, Anders.

    Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering. ESEC/FSE '11 . Association for Computing Machinery, 2011. p. 59-69.

    Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review