Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Magnus Madsen
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.