| 2025 | ASPLOS | Dynamic Partial Deadlock Detection and Recovery via Garbage Collection. | Georgian-Vlad Saioc, I-Ting Angelina Lee, Anders Mller, Milind Chabbi |
| 2025 | ECOOP | Event Race Detection for Node.js Using Delay Injections. | Andr Takeshi Endo, Anders Mller |
| 2024 | ECOOP | Indirection-Bounded Call Graph Analysis. | Madhurima Chakraborty, Aakash Gnanakumar, Manu Sridharan, Anders Mller |
| 2021 | ICSE | Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries. | Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Mller |
| 2021 | ICSE | Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries. | Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Mller |
| 2021 | ISSTA | Modular call graph construction for security scanning of Node.js applications. | Benjamin Barslev Nielsen, Martin Toldam Torp, Anders Mller |
| 2020 | ECOOP | Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript. | Benjamin Barslev Nielsen, Anders Mller |
| 2020 | ICSE | Extracting taint specifications for JavaScript libraries. | Cristian-Alexandru Staicu, Martin Toldam Torp, Max Schfer, Anders Mller, Michael Pradel |
| 2020 | ICST | NodeRacer: Event Race Detection for Node.js Applications. | Andr Takeshi Endo, Anders Mller |
| 2019 | ICSE | Reasonably-most-general clients for JavaScript library analysis. | Erik Krogh Kristensen, Anders Mller |
| 2018 | ECOOP | Type Regression Testing to Detect Breaking Changes in Node.js Libraries. | Gianluca Mezzetti, Anders Mller, Martin Toldam Torp |
| 2017 | FASE | Inference and Evolution of TypeScript Declaration Files. | Erik Krogh Kristensen, Anders Mller |
| 2017 | ICSE | Repairing event race errors by controlling nondeterminism. | Christoffer Quist Adamsen, Anders Mller, Rezwana Karim, Manu Sridharan, Frank Tip, Koushik Sen |
| 2017 | ISSTA | ArtForm: a tool for exploring the codebase of form-based websites. | Ben Spencer, Michael Benedikt, Anders Mller, Franck van Breugel |
| 2017 | PLDI | Systematic approaches for increasing soundness and precision of static analyzers. | Esben Sparre Andreasen, Anders Mller, Benjamin Barslev Nielsen |
| 2017 | PLDI | Systematic black-box analysis of collaborative web applications. | Marina Billes, Anders Mller, Michael Pradel |
| 2016 | DLS | Type safety analysis for Dart. | Thomas S. Heinze, Anders Mller, Fabio Strocco |
| 2016 | DLS | Type unsoundness in practice: an empirical study of Dart. | Gianluca Mezzetti, Anders Mller, Fabio Strocco |
| 2016 | ICSE | Feedback-directed instrumentation for deployed JavaScript applications. | Magnus Madsen, Frank Tip, Esben Andreasen, Koushik Sen, Anders Mller |
| 2016 | ISSTA | Analyzing test completeness for dynamic languages. | Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Mller |
| 2015 | DLS | Message safety in Dart. | Erik Ernst, Anders Mller, Mathias Schwarz, Fabio Strocco |
| 2015 | ICST | QuickChecking Static Analysis Properties. | Jan Midtgaard, Anders Mller |
| 2015 | ISSTA | Systematic execution of Android test suites in adverse conditions. | Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Mller |
| 2015 | OOPSLA | Stateless model checking of event-driven applications. | Casper Svenning Jensen, Anders Mller, Veselin Raychev, Dimitar Dimitrov, Martin T. Vechev |
| 2014 | OOPSLA | Determinacy in static analysis for jQuery. | Esben Andreasen, Anders Mller |
| 2014 | OOPSLA | Checking correctness of TypeScript interfaces for JavaScript libraries. | Asger Feldthaus, Anders Mller |
| 2014 | SAS | Sparse Dataflow Analysis with Pointers and Reachability. | Magnus Madsen, Anders Mller |
| 2013 | ISSTA | Automated testing with targeted event sequence generation. | Casper Svenning Jensen, Mukul R. Prasad, Anders Mller |
| 2013 | OOPSLA | Semi-automatic rename refactoring for JavaScript. | Asger Feldthaus, Anders Mller |
| 2012 | ICSE | Automated detection of client-state manipulation vulnerabilities. | Anders Mller, Mathias Schwarz |
| 2012 | ISSTA | Remedying the eval that men do. | Simon Holm Jensen, Peter A. Jonsson, Anders Mller |
| 2011 | FOSSACS | HTML Validation of Context-Free Languages. | Anders Mller, Mathias Schwarz |
| 2011 | ICSE | A framework for automated testing of javascript web applications. | Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Mller, Frank Tip |
| 2011 | OOPSLA | Tool-supported refactoring for JavaScript. | Asger Feldthaus, Todd D. Millstein, Anders Mller, Max Schfer, Frank Tip |
| 2011 | OOPSLA | Refactoring towards the good parts of javascript. | Asger Feldthaus, Todd D. Millstein, Anders Mller, Max Schfer, Frank Tip |
| 2010 | SAS | Interprocedural Analysis with Lazy Propagation. | Simon Holm Jensen, Anders Mller, Peter Thiemann |
| 2009 | WEBIST | JWIG: Yet Another Framework for Maintainable and Secure Web Applications. | Anders Mller, Mathias Schwarz |
| 2009 | SAS | Type Analysis for JavaScript. | Simon Holm Jensen, Anders Mller, Peter Thiemann |
| 2007 | PEPM | XML graphs in program analysis. | Anders Mller, Michael I. Schwartzbach |
| 2006 | SAS | Static Analysis for Java Servlets and JSP. | Christian Kirkegaard, Anders Mller |
| 2005 | ICDT | The Design Space of Type Checkers for XML Transformation Languages. | Anders Mller, Michael I. Schwartzbach |
| 2004 | APSEC | Monitored Software Components - A Novel Software Engineering Approach. | Daniel Sundmark, Anders Mller, Mikael Nolin |
| 2003 | SAS | Precise Analysis of String Expressions. | Aske Simon Christensen, Anders Mller, Michael I. Schwartzbach |
| 2001 | PLDI | The Pointer Assertion Logic Engine. | Anders Mller, Michael I. Schwartzbach |
| 2000 | ESOP | Compile-Time Debugging of C Programs Working on Trees. | Jacob Elgaard, Anders Mller, Michael I. Schwartzbach |
| 1998 | CAV | MONA 1.x: New Techniques for WS1S and WS2S. | Jacob Elgaard, Nils Klarlund, Anders Mller |