BibTeX records: Magnus Madsen

download as .bib file

@article{DBLP:journals/darts/MadsenSL23,
  author       = {Magnus Madsen and
                  Jonathan Lindegaard Starup and
                  Matthew Lutze},
  title        = {Restrictable Variants: {A} Simple and Practical Alternative to Extensible
                  Variants (Artifact)},
  journal      = {Dagstuhl Artifacts Ser.},
  volume       = {9},
  number       = {2},
  pages        = {12:1--12:3},
  year         = {2023},
  url          = {https://doi.org/10.4230/DARTS.9.2.12},
  doi          = {10.4230/DARTS.9.2.12},
  timestamp    = {Tue, 11 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/darts/MadsenSL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LutzeMSB23,
  author       = {Matthew Lutze and
                  Magnus Madsen and
                  Philipp Schuster and
                  Jonathan Immanuel Brachth{\"{a}}user},
  title        = {With or Without You: Programming with Effect Exclusion},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {7},
  number       = {{ICFP}},
  pages        = {448--475},
  year         = {2023},
  url          = {https://doi.org/10.1145/3607846},
  doi          = {10.1145/3607846},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/LutzeMSB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MadsenPH23,
  author       = {Magnus Madsen and
                  Jaco van de Pol and
                  Troels Henriksen},
  title        = {Fast and Efficient Boolean Unification for Hindley-Milner-Style Type
                  and Effect Systems},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {7},
  number       = {{OOPSLA2}},
  pages        = {516--543},
  year         = {2023},
  url          = {https://doi.org/10.1145/3622816},
  doi          = {10.1145/3622816},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/MadsenPH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MadsenSL23,
  author       = {Magnus Madsen and
                  Jonathan Lindegaard Starup and
                  Matthew Lutze},
  editor       = {Karim Ali and
                  Guido Salvaneschi},
  title        = {Restrictable Variants: {A} Simple and Practical Alternative to Extensible
                  Variants},
  booktitle    = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
                  July 17-21, 2023, Seattle, Washington, United States},
  series       = {LIPIcs},
  volume       = {263},
  pages        = {17:1--17:27},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.17},
  doi          = {10.4230/LIPICS.ECOOP.2023.17},
  timestamp    = {Tue, 11 Jul 2023 16:52:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/MadsenSL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MadsenP23,
  author       = {Magnus Madsen and
                  Jaco van de Pol},
  editor       = {Karim Ali and
                  Guido Salvaneschi},
  title        = {Programming with Purity Reflection: Peaceful Coexistence of Effects,
                  Laziness, and Parallelism},
  booktitle    = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
                  July 17-21, 2023, Seattle, Washington, United States},
  series       = {LIPIcs},
  volume       = {263},
  pages        = {18:1--18:27},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.18},
  doi          = {10.4230/LIPICS.ECOOP.2023.18},
  timestamp    = {Tue, 11 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/MadsenP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/StarupML23,
  author       = {Jonathan Lindegaard Starup and
                  Magnus Madsen and
                  Ondrej Lhot{\'{a}}k},
  editor       = {Karim Ali and
                  Guido Salvaneschi},
  title        = {Breaking the Negative Cycle: Exploring the Design Space of Stratification
                  for First-Class Datalog Constraints},
  booktitle    = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
                  July 17-21, 2023, Seattle, Washington, United States},
  series       = {LIPIcs},
  volume       = {263},
  pages        = {31:1--31:28},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.31},
  doi          = {10.4230/LIPICS.ECOOP.2023.31},
  timestamp    = {Tue, 11 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/StarupML23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datalog/MadsenSL22,
  author       = {Magnus Madsen and
                  Jonathan Lindegaard Starup and
                  Ondrej Lhot{\'{a}}k},
  editor       = {Mario Alviano and
                  Andreas Pieris},
  title        = {Flix: {A} Meta Programming Language for Datalog},
  booktitle    = {Proceedings of the 4th International Workshop on the Resurgence of
                  Datalog in Academia and Industry (Datalog-2.0 2022) co-located with
                  the 16th International Conference on Logic Programming and Nonmonotonic
                  Reasoning {(LPNMR} 2022), Genova-Nervi, Italy, September 5, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3203},
  pages        = {202--206},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3203/short8.pdf},
  timestamp    = {Tue, 11 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/datalog/MadsenSL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/onward/Madsen22,
  author       = {Magnus Madsen},
  editor       = {Christophe Scholliers and
                  Jeremy Singer},
  title        = {The Principles of the Flix Programming Language},
  booktitle    = {Proceedings of the 2022 {ACM} {SIGPLAN} International Symposium on
                  New Ideas, New Paradigms, and Reflections on Programming and Software,
                  Onward! 2022, Auckland, New Zealand, December 8-10, 2022},
  pages        = {112--127},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563835.3567661},
  doi          = {10.1145/3563835.3567661},
  timestamp    = {Fri, 02 Dec 2022 18:08:52 +0100},
  biburl       = {https://dblp.org/rec/conf/onward/Madsen22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MadsenP21,
  author       = {Magnus Madsen and
                  Jaco van de Pol},
  title        = {Relational nullable types with Boolean unification},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {5},
  number       = {{OOPSLA}},
  pages        = {1--28},
  year         = {2021},
  url          = {https://doi.org/10.1145/3485487},
  doi          = {10.1145/3485487},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/MadsenP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MadsenL20,
  author       = {Magnus Madsen and
                  Ondrej Lhot{\'{a}}k},
  title        = {Fixpoints for the masses: programming with first-class Datalog constraints},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{OOPSLA}},
  pages        = {125:1--125:28},
  year         = {2020},
  url          = {https://doi.org/10.1145/3428193},
  doi          = {10.1145/3428193},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/MadsenL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MadsenP20,
  author       = {Magnus Madsen and
                  Jaco van de Pol},
  title        = {Polymorphic types and effects with Boolean unification},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{OOPSLA}},
  pages        = {154:1--154:29},
  year         = {2020},
  url          = {https://doi.org/10.1145/3428222},
  doi          = {10.1145/3428222},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/MadsenP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/StievenartM20,
  author       = {Quentin Sti{\'{e}}venart and
                  Magnus Madsen},
  title        = {Fuzzing channel-based concurrency runtimes using types and effects},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {4},
  number       = {{OOPSLA}},
  pages        = {186:1--186:27},
  year         = {2020},
  url          = {https://doi.org/10.1145/3428254},
  doi          = {10.1145/3428254},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/StievenartM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MadsenLT19,
  author       = {Magnus Madsen and
                  Ondrej Lhot{\'{a}}k and
                  Frank Tip},
  editor       = {Robert Hirschfeld and
                  Tobias Pape},
  title        = {A Semantics for the Essence of React},
  booktitle    = {34th European Conference on Object-Oriented Programming, {ECOOP} 2020,
                  November 15-17, 2020, Berlin, Germany (Virtual Conference)},
  series       = {LIPIcs},
  volume       = {166},
  pages        = {12:1--12:26},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2020.12},
  doi          = {10.4230/LIPICS.ECOOP.2020.12},
  timestamp    = {Mon, 21 Dec 2020 13:23:22 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/MadsenLT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AlimadadiZMT18,
  author       = {Saba Alimadadi and
                  Di Zhong and
                  Magnus Madsen and
                  Frank Tip},
  title        = {Finding broken promises in asynchronous JavaScript programs},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {2},
  number       = {{OOPSLA}},
  pages        = {162:1--162:26},
  year         = {2018},
  url          = {https://doi.org/10.1145/3276532},
  doi          = {10.1145/3276532},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/AlimadadiZMT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/MadsenZL18,
  author       = {Magnus Madsen and
                  Ramin Zarifi and
                  Ondrej Lhot{\'{a}}k},
  editor       = {Christophe Dubach and
                  Jingling Xue},
  title        = {Tail call elimination and data representation for functional languages
                  on the Java virtual machine},
  booktitle    = {Proceedings of the 27th International Conference on Compiler Construction,
                  {CC} 2018, February 24-25, 2018, Vienna, Austria},
  pages        = {139--150},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3178372.3179499},
  doi          = {10.1145/3178372.3179499},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cc/MadsenZL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/MadsenL18,
  author       = {Magnus Madsen and
                  Ondrej Lhot{\'{a}}k},
  editor       = {Frank Tip and
                  Eric Bodden},
  title        = {Safe and sound program analysis with Flix},
  booktitle    = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
                  Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
                  July 16-21, 2018},
  pages        = {38--48},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3213846.3213847},
  doi          = {10.1145/3213846.3213847},
  timestamp    = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/MadsenL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/MadsenL18,
  author       = {Magnus Madsen and
                  Ondrej Lhot{\'{a}}k},
  editor       = {David Sabel and
                  Peter Thiemann},
  title        = {Implicit Parameters for Logic Programming},
  booktitle    = {Proceedings of the 20th International Symposium on Principles and
                  Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
                  Germany, September 03-05, 2018},
  pages        = {14:1--14:14},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236950.3236953},
  doi          = {10.1145/3236950.3236953},
  timestamp    = {Mon, 23 Mar 2020 12:22:51 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/MadsenL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/MadsenLT17,
  author       = {Magnus Madsen and
                  Ondrej Lhot{\'{a}}k and
                  Frank Tip},
  title        = {A model for reasoning about JavaScript promises},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {1},
  number       = {{OOPSLA}},
  pages        = {86:1--86:24},
  year         = {2017},
  url          = {https://doi.org/10.1145/3133910},
  doi          = {10.1145/3133910},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/MadsenLT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MadsenTASM16,
  author       = {Magnus Madsen and
                  Frank Tip and
                  Esben Andreasen and
                  Koushik Sen and
                  Anders M{\o}ller},
  editor       = {Laura K. Dillon and
                  Willem Visser and
                  Laurie A. Williams},
  title        = {Feedback-directed instrumentation for deployed JavaScript applications},
  booktitle    = {Proceedings of the 38th International Conference on Software Engineering,
                  {ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
  pages        = {899--910},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2884781.2884846},
  doi          = {10.1145/2884781.2884846},
  timestamp    = {Tue, 10 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/MadsenTASM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MadsenYL16,
  author       = {Magnus Madsen and
                  Ming{-}Ho Yee and
                  Ondrej Lhot{\'{a}}k},
  editor       = {Chandra Krintz and
                  Emery D. Berger},
  title        = {From Datalog to flix: a declarative language for fixed points on lattices},
  booktitle    = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
                  USA, June 13-17, 2016},
  pages        = {194--208},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2908080.2908096},
  doi          = {10.1145/2908080.2908096},
  timestamp    = {Sat, 30 Sep 2023 09:54:48 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/MadsenYL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MadsenTL15,
  author       = {Magnus Madsen and
                  Frank Tip and
                  Ondrej Lhot{\'{a}}k},
  editor       = {Jonathan Aldrich and
                  Patrick Eugster},
  title        = {Static analysis of event-driven Node.js JavaScript applications},
  booktitle    = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
                  Object-Oriented Programming, Systems, Languages, and Applications,
                  {OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
                  25-30, 2015},
  pages        = {505--519},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2814270.2814272},
  doi          = {10.1145/2814270.2814272},
  timestamp    = {Wed, 23 Jun 2021 16:58:51 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/MadsenTL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/MadsenA14,
  author       = {Magnus Madsen and
                  Esben Andreasen},
  editor       = {Albert Cohen},
  title        = {String Analysis for Dynamic Field Access},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {8409},
  pages        = {197--217},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54807-9\_12},
  doi          = {10.1007/978-3-642-54807-9\_12},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/cc/MadsenA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MadsenM14,
  author       = {Magnus Madsen and
                  Anders M{\o}ller},
  editor       = {Markus M{\"{u}}ller{-}Olm and
                  Helmut Seidl},
  title        = {Sparse Dataflow Analysis with Pointers and Reachability},
  booktitle    = {Static Analysis - 21st International Symposium, {SAS} 2014, Munich,
                  Germany, September 11-13, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8723},
  pages        = {201--218},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10936-7\_13},
  doi          = {10.1007/978-3-319-10936-7\_13},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/sas/MadsenM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MadsenLF13,
  author       = {Magnus Madsen and
                  Benjamin Livshits and
                  Michael Fanning},
  editor       = {Bertrand Meyer and
                  Luciano Baresi and
                  Mira Mezini},
  title        = {Practical static analysis of JavaScript applications in the presence
                  of frameworks and libraries},
  booktitle    = {Joint Meeting of the European Software Engineering Conference and
                  the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering,
                  ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
  pages        = {499--509},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2491411.2491417},
  doi          = {10.1145/2491411.2491417},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/MadsenLF13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/JensenMM11,
  author       = {Simon Holm Jensen and
                  Magnus Madsen and
                  Anders M{\o}ller},
  editor       = {Tibor Gyim{\'{o}}thy and
                  Andreas Zeller},
  title        = {Modeling the {HTML} {DOM} and browser {API} in static analysis of
                  JavaScript web applications},
  booktitle    = {SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of
                  Software Engineering {(FSE-19)} and ESEC'11: 13th European Software
                  Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9,
                  2011},
  pages        = {59--69},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2025113.2025125},
  doi          = {10.1145/2025113.2025125},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/JensenMM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics