Anders Møller
Book:
An Introduction to XML and Web Technologies
(with Michael I. Schwartzbach)
January 2006, Addison-Wesley
[book Web site | BibTeX]

Research papers (newer first):

Checking Correctness of TypeScript Interfaces for JavaScript Libraries
(with Asger Feldthaus)
accepted at OOPSLA 2014new

Determinacy in Static Analysis of jQuery
(with Esben Andreasen)
conditionally accepted at OOPSLA 2014new

Sparse Dataflow Analysis with Pointers and Reachability
(with Magnus Madsen)
accepted at SAS 2014new
[abstract | PDF | BibTeX]

Semi-Automatic Rename Refactoring for JavaScript
(with Asger Feldthaus)
in Proc. OOPSLA 2013
[abstract | PDF | BibTeX]

Automated Detection of Client-State Manipulation Vulnerabilities
(with Mathias Schwarz)
accepted for publication in ACM TOSEM new
earlier version in Proc. ICSE 2012 (ACM SIGSOFT Distinguished Paper)
[abstract | PDF | BibTeX]

Server Interface Descriptions for Automated Testing of JavaScript Web Applications
(with Casper S. Jensen and Zhendong Su)
in Proc. ESEC/FSE 2013
[abstract | PDF | BibTeX]

Automated Testing with Targeted Event Sequence Generation
(with Casper S. Jensen and Mukul R. Prasad)
in Proc. ISSTA 2013
[abstract | PDF | BibTeX]

Remedying the Eval that Men Do
(with Simon Holm Jensen and Peter A. Jonsson)
in Proc. ISSTA 2012 (ACM SIGSOFT Distinguished Paper)
[abstract | PDF | BibTeX]

Improving Tools for JavaScript Programmers (Position Paper)
(with Esben Andreasen, Asger Feldthaus, Simon Holm Jensen, Casper S. Jensen, Peter A. Jonsson, and Magnus Madsen)
in Proc. STOP 2012
[abstract | PDF | BibTeX]

Tool-supported Refactoring for JavaScript
(with Asger Feldthaus, Todd Millstein, Max Schäfer, and Frank Tip)
in Proc. OOPSLA 2011
[abstract | PDF | BibTeX]

Modeling the HTML DOM and Browser API in Static Analysis of JavaScript Web Applications
(with Simon Holm Jensen and Magnus Madsen)
in Proc. ESEC/FSE 2011
[abstract | PDF | BibTeX]

A Framework for Automated Testing of JavaScript Web Applications
(with Shay Artzi, Julian Dolby, Simon Holm Jensen, and Frank Tip)
in Proc. ICSE 2011
[abstract | PDF | BibTeX]

HTML Validation of Context-Free Languages
(with Mathias Schwarz)
in Proc. FoSSaCS 2011
[abstract | PDF (tech report) | BibTeX]

XML Graphs in Program Analysis
(with Michael I. Schwartzbach)
in Science of Computer Programming, 76(6)
an earlier version appears in Proc. PEPM 2007 (invited paper)
[abstract | PDF | BibTeX]

Interprocedural Analysis with Lazy Propagation
(with Simon Holm Jensen and Peter Thiemann)
in Proc. SAS 2010
[abstract | PDF (tech report) | BibTeX]

Analyzing Ambiguity of Context-Free Grammars
(with Claus Brabrand and Robert Giegerich)
in Science of Computer Programming, 75(3)
an earlier version appears in Proc. CIAA 2007
[abstract | PDF | BibTeX]

Type Analysis for JavaScript
(with Simon Holm Jensen and Peter Thiemann)
in Proc. SAS 2009
[abstract | PDF | BibTeX]

JWIG: Yet Another Framework for Maintainable and Secure Web Applications
(with Mathias Schwarz)
in Proc. WEBIST 2009
[abstract | PDF (tech report version) | BibTeX]

Static Analysis for Event-Based XML Processing
presented at PLAN-X 2008,
[abstract | PDF | BibTeX]

Dual Syntax for XML Languages
(with Claus Brabrand and Michael I. Schwartzbach)
in Information Systems, 33(4)
an earlier version appears in Proc. DBPL 2005
[abstract | PDF | BibTeX]

Static Validation of XSL Transformations
(with Mads Østerby Olesen and Michael I. Schwartzbach)
in ACM Transactions on Programming Languages and Systems, 29(4)
[abstract | PDF | BibTeX]

Static Analysis for Java Servlets and JSP
(with Christian Kirkegaard)
in Proc. SAS 2006
full version available as BRICS RS-06-10
[abstract | PDF (tech report version) | BibTeX]

Type Checking with XML Schema in XACT
(with Christian Kirkegaard)
presented at PLAN-X 2006,
also published as BRICS RS-05-31
[abstract | PDF | BibTeX]

The Design Space of Type Checkers for XML Transformation Languages
(with Michael I. Schwartzbach)
in Proc. ICDT 2005 (invited paper)
[abstract | PDF | BibTeX]

Contracts for Cooperation between Web Service Programmers and HTML Designers
(with Henning Böttger and Michael I. Schwartzbach)
in Journal of Web Engineering, 5(1)
[abstract | PDF | BibTeX]

A Runtime System for XML Transformations in Java
(with Aske Simon Christensen and Christian Kirkegaard)
in Proc. XSym 2004
[abstract | PDF | BibTeX]

Static Analysis of XML Transformations in Java
(with Christian Kirkegaard and Michael I. Schwartzbach)
in IEEE Transactions on Software Engineering, 30(3)
[abstract | PDF | BibTeX]

Precise Analysis of String Expressions
(with Aske Simon Christensen and Michael I. Schwartzbach)
in Proc. SAS 2003
[abstract | PDF | BibTeX]

Extending Java for High-Level Web Service Construction
(with Aske Simon Christensen and Michael I. Schwartzbach)
in ACM Transactions on Programming Languages and Systems, 25(6)
[abstract | PDF | BibTeX]

Static Analysis for Dynamic XML
(with Aske Simon Christensen and Michael I. Schwartzbach)
presented at PLAN-X 2002,
also published as BRICS RS-02-24
[abstract | PDF | BibTeX]

Language-Based Caching of Dynamically Generated HTML
(with Claus Brabrand, Steffan Olesen, and Michael I. Schwartzbach)
in World Wide Web Journal, 5(4)
[abstract | PDF | BibTeX]

The <bigwig> Project
(with Claus Brabrand and Michael I. Schwartzbach)
in ACM Transactions on Internet Technology, 2(2)
[abstract | HTML | PDF | BibTeX]

Static Validation of Dynamically Generated HTML
(with Claus Brabrand and Michael I. Schwartzbach)
in Proc. PASTE 2001
[abstract | PDF | BibTeX]

The Pointer Assertion Logic Engine
(with Michael I. Schwartzbach)
in Proc. PLDI 2001
[abstract | PDF | BibTeX]

PowerForms: Declarative Client-Side Form Field Validation
(with Claus Brabrand, Mikkel Ricky, and Michael I. Schwartzbach)
in World Wide Web Journal, 3(4)
[abstract | PDF | BibTeX]

The DSD Schema Language
(with Nils Klarlund and Michael I. Schwartzbach)
in Automated Software Engineering, 9(3),
an earlier version appears in Proc. FMSP 2000
[PostScript | BibTeX]

MONA Implementation Secrets
(with Nils Klarlund and Michael I. Schwartzbach)
in International Journal of Foundations of Computer Science, 13(4)
an earlier version appears in Proceedings of CIAA 2000
[abstract | PDF | BibTeX]

Compile-Time Debugging of C Programs Working on Trees
(with Jacob Elgaard and Michael I. Schwartzbach)
in Proc. ESOP 2000
[abstract | PDF | BibTeX]

A Runtime System for Interactive Web Services
(with Claus Brabrand, Anders Sandholm, and Michael I. Schwartzbach)
in Proc. WWW 1999,
also in Computer Networks 31(11-16)
[abstract | HTML | PostScript | BibTeX]

MONA 1.x: New Techniques for WS1S and WS2S (tool paper)
(with Jacob Elgaard and Nils Klarlund)
in Proc. CAV 1998
[abstract | PostScript | BibTeX]

Other publications:

The Big Manual for the Java String Analyzer
(with Asger Feldthaus)
[PDF | BibTeX]

Verifikation af Softwaresystemer (in Danish)
in Carlsbergfondets Årsskrift, 2005

Document Structure Description 2.0
BRICS NS-02-7
[HTML | PDF | BibTeX]

JWIG User Manual
(with Aske Simon Christensen)
BRICS NS-02-6
[ PDF | BibTeX]

Program Verification with Monadic Second-Order Logic & Languages for Web Service Development (PhD dissertation)
BRICS DS-02-4
[abstract | BibTeX]

Interactive Web Services with Java (slide collection)
(with Michael I. Schwartzbach)
BRICS NS-02-1
[HTML | BibTeX]

The XML Revolution - Technologies for the future Web (slide collection)
(with Michael I. Schwartzbach)
BRICS NS-01-8
(this is a revised edition of BRICS NS-00-8)
[HTML | BibTeX]

MONA Version 1.4 User Manual
(with Nils Klarlund)
BRICS NS-01-1
(this is a revised edition of BRICS NS-98-3)
[abstract | PDF | BibTeX]

Document Structure Description 1.0
(with Nils Klarlund and Michael I. Schwartzbach)
BRICS NS-00-7
[abstract | HTML | PostScript | PDF | BibTeX]

MONA, DSD, and <bigwig> (PhD progress report)
[abstract | BibTeX]

The papers distributed here have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Co-authors:

Citations
Valid CSS! Valid HTML 4.01!