Publications (BibTeX format)
@Article{ginger2024,
author = {Georgian-Vlad Saioc and Julien Lange and Anders M\o{}ller},
title = {Automated Verification of Parametric Channel-Based Process Communication},
journal = {Proceedings of the ACM on Programming Languages (PACMPL)},
volume = {?},
number = {{OOPSLA}},
pages = {?},
year = {2024},
}
@InProceedings{bounded2024,
author = {Madhurima Chakraborty and Aakash Gnanakumar and Manu Sridharan and Anders M\o{}ller},
title = {Indirection-Bounded Call Graph Analysis},
booktitle = {Proc. 38th European Conference on Object-Oriented Programming (ECOOP)},
year = {2024},
month = {September},
}
@Article{approx2024,
author = {Mathias Rud Laursen and Wenyuan Xu and Anders M\o{}ller},
title = {Reducing Static Analysis Unsoundness with Approximate Interpretation},
journal = {Proceedings of the ACM on Programming Languages (PACMPL)},
volume = {4},
number = {{PLDI}},
pages = {194:1--194:24},
year = {2024},
}
@InProceedings{goat2022,
author = {Oskar Haarklou Veileborg and Georgian-Vlad Saioc and Anders M\o{}ller},
title = {Detecting Blocking Errors in {G}o Programs using Localized Abstract Interpretation},
booktitle = {Proc. 37th IEEE/ACM International Conference on Automated Software Engineering (ASE)},
year = {2022},
month = {October},
}
@InProceedings{jam2021,
author = {Benjamin Barslev Nielsen and Martin Toldam Torp and Anders M\o{}ller},
title = {Modular Call Graph Construction for Security Scanning of {N}ode.js Applications},
booktitle = {Proc. 30th International Symposium on Software Testing and Analysis (ISSTA)},
year = {2021},
month = {July},
}
@InProceedings{jsfix2021,
author = {Benjamin Barslev Nielsen and Martin Toldam Torp and Anders M\o{}ller},
title = {Semantic Patches for Adaptation of JavaScript Programs to Evolving Libraries},
booktitle = {Proc. 43rd International Conference on Software Engineering (ICSE)},
year = {2021},
month = {May},
}
@Article{streamliner2020,
author = {Oskar Haarklou Veileborg and Anders M\o{}ller},
title = {Eliminating Abstraction Overhead of {Java} Stream Pipelines using Ahead-of-Time Program Optimization},
journal = {Proceedings of the ACM on Programming Languages (PACMPL)},
volume = {4},
number = {{OOPSLA}},
pages = {168:1--168:29},
year = {2020},
}
@Article{tapir2020,
author = {Anders M\o{}ller and Benjamin Barslev Nielsen and Martin Toldam Torp},
title = {Detecting Locations in {JavaScript} Programs Affected by Breaking Library Changes},
journal = {Proceedings of the ACM on Programming Languages (PACMPL)},
volume = {4},
number = {{OOPSLA}},
pages = {187:1--187:25},
year = {2020},
}
@InProceedings{valuepartitioning2020,
author = {Benjamin Barslev Nielsen and Anders M\o{}ller},
title = {Value Partitioning: A Lightweight Approach to Relational Static Analysis for {JavaScript}},
booktitle = {Proc. 34th European Conference on Object-Oriented Programming (ECOOP)},
year = {2020},
month = {July},
}
@Article{zipper2020,
author = {Yue Li and Tian Tan and Anders M\o{}ller and Yannis Smaragdakis},
title = {A Principled Approach to Selective Context Sensitivity for Pointer Analysis},
journal = {ACM Transactions on Programming Languages and Systems},
year = {2020},
month = {May},
volume = {42},
number = {2},
articleno = {10},
doi = {10.1145/3381915},
}
@InProceedings{taser2020,
author = {Cristian-Alexandru Staicu and Martin Toldam Torp and Max Sch\"a{}fer and Anders M\o{}ller and Michael Pradel},
title = {Extracting Taint Specifications for {JavaScript} Libraries},
booktitle = {Proc. 42nd International Conference on Software Engineering (ICSE)},
year = {2020},
month = {May},
}
@InProceedings{noderacer2020,
author = {Andr\'e{} Takeshi Endo and Anders M\o{}ller},
title = {{NodeRacer}: Event Race Detection for {Node.js} Applications},
booktitle = {Proc. IEEE International Conference on
Software Testing, Verification, and Validation (ICST)},
year = {2020},
month = {March},
}
@Article{tajsvr2019,
author = {Benno Stein and Benjamin Barslev Nielsen and Bor-Yuh Evan Chang and Anders M\o{}ller},
title = {Static Analysis with Demand-Driven Value Refinement},
journal = {Proceedings of the ACM on Programming Languages (PACMPL)},
volume = {3},
number = {{OOPSLA}},
pages = {140:1--140:29},
year = {2019},
}
@InProceedings{noregretsplus2019,
author = {Anders M\o{}ller and Martin Toldam Torp},
title = {Model-Based Testing of Breaking Changes in {N}ode.js Libraries},
booktitle = {Proc. 27th joint meeting of the European Software Engineering Conference
and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)},
year = {2019},
month = {August},
}
@InProceedings{reagent2019,
author = {Erik Krogh Kristensen and Anders M\o{}ller},
title = {Reasonably-Most-General Clients for {JavaScript} Library Analysis},
booktitle = {Proc. 41st International Conference on Software Engineering (ICSE)},
year = {2019},
month = {May},
}
@article{wasm2018,
author = {Anders M{\o}ller},
title = {Technical perspective -- {WebAssembly}: a quiet revolution of the web},
journal = {Commun. {ACM}},
volume = {61},
number = {12},
pages = {106},
year = {2018},
}
@Article{zipper2018,
author = {Yue Li and Tian Tan and Anders M\o{}ller and Yannis Smaragdakis},
title = {Precision-Guided Context Sensitivity for Pointer Analysis},
journal = {Proceedings of the ACM on Programming Languages (PACMPL)},
volume = {2},
number = {{OOPSLA}},
pages = {141:1--141:29},
year = {2018},
}
@InProceedings{ajaxracer2018,
author = {Christoffer Quist Adamsen and Anders M\o{}ller and Saba Alimadadi and Frank Tip},
title = {Practical {AJAX} Race Detection for JavaScript Web Applications},
booktitle = {Proc. 26th joint meeting of the European Software Engineering Conference
and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)},
year = {2018},
month = {November},
}
@InProceedings{scaler2018,
author = {Yue Li and Tian Tan and Anders M\o{}ller and Yannis Smaragdakis},
title = {Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity},
booktitle = {Proc. 26th joint meeting of the European Software Engineering Conference
and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)},
year = {2018},
month = {November},
}
@InProceedings{noregrets2018,
author = {Gianluca Mezzetti and Anders M\o{}ller and Martin Toldam Torp},
title = {Type Regression Testing to Detect Breaking Changes in {N}ode.js Libraries},
booktitle = {Proc. 32nd European Conference on Object-Oriented Programming (ECOOP)},
year = {2018},
month = {July},
}
@Article{initracer2017,
author = {Christoffer Quist Adamsen and Anders M\o{}ller and Frank Tip},
title = {Practical Initialization Race Detection for {J}ava{S}cript Web Applications},
journal = {Proceedings of the ACM on Programming Languages (PACMPL)},
volume = {1},
number = {{OOPSLA}},
pages = {66:1--66:22},
year = {2017},
}
@Article{tstest2017,
author = {Erik Krogh Kristensen and Anders M\o{}ller},
title = {Type Test Scripts for {TypeScript} Testing},
journal = {Proceedings of the ACM on Programming Languages (PACMPL)},
volume = {1},
number = {{OOPSLA}},
pages = {90:1--90:25},
year = {2017},
}
@Article{jssurvey2017,
author = {Esben Andreasen and Anders M\o{}ller and Liang Gong and Michael Pradel and Marija Selakovic and Koushik Sen and Cristian-Alexandru Staicu},
title = {A Survey of Dynamic Analysis and Test Generation for {J}ava{S}cript},
journal = {ACM Computing Surveys},
volume = {50},
number = {5},
pages = {66:1--66:36},
year = {2017},
}
@Article{lcheck2017,
author = {Jan Midtgaard and Anders M\o{}ller},
title = {QuickChecking Static Analysis Properties},
journal = {Software Testing, Verification and Reliability},
volume = {27},
number = {6},
year = {2017},
publisher = {Wiley},
note = {Earlier version in Proc. IEEE International Conference on
Software Testing, Verification, and Validation (ICST) 2015},
}
@InProceedings{artform2017,
author = {Benjamin Spencer and Michael Benedikt and Anders M\o{}ller and Franck van Breugel},
title = {{ArtForm}: A Tool for Exploring the Codebase of Form-based Websites},
booktitle = {Proc. 26th International Symposium on Software Testing and Analysis (ISSTA) Demonstrations},
year = {2017},
month = {July},
}
@InProceedings{tajsexperience2017,
author = {Esben Sparre Andreasen and Anders M\o{}ller and Benjamin Barslev Nielsen},
title = {Systematic Approaches for Increasing Soundness and Precision of Static Analyzers},
booktitle = {Proc. 6th International Workshop on the State Of the Art in Program Analysis (SOAP)},
year = {2017},
month = {June},
}
@InProceedings{simian2017,
author = {Marina Billes and Anders M\o{}ller and Michael Pradel},
title = {Systematic Black-Box Analysis of Collaborative Web Applications},
booktitle = {Proc. 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
year = {2017},
month = {June},
}
@InProceedings{eventracecommander2017,
author = {Christoffer Quist Adamsen and Anders M\o{}ller and Rezwana Karim and Manu Sridharam and Frank Tip and Koushik Sen},
title = {Repairing Event Race Errors by Controlling Nondeterminism},
booktitle = {Proc. 39th International Conference on Software Engineering (ICSE)},
year = {2017},
month = {May},
}
@InProceedings{tstools2017,
author = {Erik Krogh Kristensen and Anders M\o{}ller},
title = {Inference and Evolution of TypeScript Declaration Files},
booktitle = {Proc. 20th International Conference on Fundamental Approaches to Software Engineering (FASE)},
year = {2017},
month = {April},
}
@Article{fletch2017,
author = {Erik Ernst and Anders M\o{}ller and Mathias Schwarz and Fabio Strocco},
title = {Message Safety in {D}art},
journal = {Science of Computer Programming},
volume = {133P1},
pages = {51-73},
year = {2017},
publisher = {Elsevier},
note = {Accepted for publication.
Earlier version in Proc. 11th Dynamic Languages Symposium (DLS) 2015},
}
@InProceedings{safedart2016,
author = {Thomas S. Heinze and Anders M\o{}ller and Fabio Strocco},
title = {Type Safety Analysis for {D}art},
booktitle = {Proc. 12th Dynamic Languages Symposium (DLS)},
year = {2016},
month = {October},
}
@InProceedings{undart2016,
author = {Gianluca Mezzetti and Anders M\o{}ller and Fabio Strocco},
title = {Type Unsoundness in Practice: An Empirical Study of {D}art},
booktitle = {Proc. 12th Dynamic Languages Symposium (DLS)},
year = {2016},
month = {October},
}
@InProceedings{goodenough2016,
author = {Christoffer Quist Adamsen and Gianluca Mezzetti and Anders M\o{}ller},
title = {Analyzing Test Completeness for Dynamic Languages},
booktitle = {Proc. 25th International Symposium on Software Testing and Analysis (ISSTA)},
year = {2016},
month = {July},
}
@InProceedings{crowdie2016,
author = {Magnus Madsen and Frank Tip and Esben Andreasen and Koushik Sen and Anders M\o{}ller},
title = {Feedback-Directed Instrumentation for Deployed {J}ava{S}cript Applications},
booktitle = {Proc. 38th International Conference on Software Engineering (ICSE)},
year = {2016},
month = {May},
}
@InProceedings{r4_2015,
author = {Casper S. Jensen and Anders M\o{}ller and Veselin Raychev and Dimitar Dimitrov and Martin Vechev},
title = {Stateless Model Checking of Event-Driven Applications},
booktitle = {Proc. ACM SIGPLAN Conference on Object-Oriented Programming,
Systems, Languages, and Applications (OOPSLA)},
year = {2015},
month = {October},
}
@Article{xmlgraphs2011,
author = {Erik Ernst and Anders M\o{}ller and Mathias Schwarz and Fabio Strocco},
title = {Message Safety in {D}art},
journal = {Science of Computer Programming},
year = {2016},
publisher = {Elsevier},
note = {Accepted for publication.
Earlier version in
Proc 11th Dynamic Languages Symposium (DLS) 2015},
}
@InProceedings{fletch2015,
author = {Erik Ernst and Anders M\o{}ller and Mathias Schwarz and Fabio Strocco},
title = {Message Safety in {D}art},
booktitle = {Proc. 11th Dynamic Languages Symposium (DLS)},
year = {2015},
month = {October},
}
@Misc{spa,
author = {Anders M\o{}ller and Michael I. Schwartzbach},
title = {Static Program Analysis},
year = {2018},
month = {October},
note = {Department of Computer Science, Aarhus University,
\texttt{http://cs.au.dk/\~{}amoeller/spa/}},
}
@InProceedings{thor2015,
author = {Christoffer Quist Adamsen and Gianluca Mezzetti and Anders M\o{}ller},
title = {Systematic Execution of {A}ndroid Test Suites in Adverse Conditions},
booktitle = {Proc. 24th International Symposium on Software Testing and Analysis (ISSTA)},
year = {2015},
month = {July},
}
@article{soundiness2015,
author = {Livshits, Benjamin and Sridharan, Manu and Smaragdakis, Yannis and
Lhot\'{a}k, Ond\v{r}ej and Amaral, J. Nelson and Chang, Bor-Yuh Evan and
Guyer, Samuel Z. and Khedker, Uday P. and M{\o}ller, Anders and Vardoulakis, Dimitrios},
title = {In Defense of Soundiness: A Manifesto},
journal = {Commun. {ACM}},
volume = {58},
number = {2},
pages = {44-46},
year = {2015},
}
@InProceedings{lcheck2015,
author = {Jan Midtgaard and Anders M\o{}ller},
title = {QuickChecking Static Analysis Properties},
booktitle = {Proc. IEEE International Conference on
Software Testing, Verification, and Validation (ICST)},
year = {2015},
month = {April},
}
@Misc{fletch2014,
author = {Erik Ernst and Anders M\o{}ller and Mathias Schwarz and Fabio Strocco},
title = {Managing Gradual Typing with Message-Safety in {D}art},
year = {2014},
month = {October},
notes = {21th International Workshop on Foundations of Object-Oriented Languages (FOOL)}
}
@InProceedings{tscheck2014,
author = {Asger Feldthaus and Anders M\o{}ller},
title = {Checking Correctness of {T}ype{S}cript Interfaces for {J}ava{S}cript Libraries},
booktitle = {Proc. ACM SIGPLAN Conference on Object-Oriented Programming,
Systems, Languages, and Applications (OOPSLA)},
year = {2014},
month = {October},
}
@InProceedings{jquery2014,
author = {Esben Andreasen and Anders M\o{}ller},
title = {Determinacy in Static Analysis for j{Q}uery},
booktitle = {Proc. ACM SIGPLAN Conference on Object-Oriented Programming,
Systems, Languages, and Applications (OOPSLA)},
year = {2014},
month = {October},
}
@InProceedings{sparse2014,
author = {Magnus Madsen and Anders M\o{}ller},
title = {Sparse Dataflow Analysis with Pointers and Reachability},
booktitle = {Proc. 21st International Static Analysis Symposium (SAS)},
year = {2014},
month = {September},
series = {LNCS},
publisher = {Springer-Verlag},
}
@Article{clientstate2014,
author = {Anders M\o{}ller and Mathias Schwarz},
title = {Automated Detection of Client-State Manipulation Vulnerabilities},
journal = {Transactions on Software Engineering and Methodology},
volume = {23},
number = {4},
month = {August},
year = {2014},
publisher = {ACM},
note = {Earlier version in
Proc. 34th International Conference on Software Engineering (ICSE) 2012},
}
@InProceedings{renaming2013,
author = {Asger Feldthaus and Anders M\o{}ller},
title = {Semi-Automatic Rename Refactoring for {J}ava{S}cript},
booktitle = {Proc. ACM SIGPLAN Conference on Object-Oriented Programming,
Systems, Languages, and Applications (OOPSLA)},
year = {2013},
month = {October},
}
@InProceedings{ail2013,
author = {Casper S. Jensen and Anders M\o{}ller and Zhendong Su},
title = {Server Interface Descriptions for Automated Testing of JavaScript Web Applications},
booktitle = {Proc. 9th joint meeting of the European Software Engineering Conference
and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)},
year = {2013},
month = {August},
}
@InProceedings{collider2013,
author = {Casper S. Jensen and Mukul R. Prasad and Anders M\o{}ller},
title = {Automated Testing with Targeted Event Sequence Generation},
booktitle = {Proc. 22nd International Symposium on Software Testing and Analysis (ISSTA)},
year = {2013},
month = {July},
}
@InProceedings{unevalizer2012,
author = {Simon Holm Jensen and Peter A. Jonsson and Anders M\o{}ller},
title = {Remedying the Eval that Men Do},
booktitle = {Proc. 21st International Symposium on Software Testing and Analysis (ISSTA)},
year = {2012},
month = {July},
}
@Misc{stop2012,
author = {Esben Andreasen and Asger Feldthaus and Simon Holm Jensen and
Casper S. Jensen and Peter A. Jonsson and Magnus Madsen and
Anders M\o{}ller},
title = {Improving Tools for {J}ava{S}cript Programmers (Position Paper)},
year = {2012},
note = {International Workshop on Script to Program Evolution (STOP)}
}
@InProceedings{clientstate2012,
author = {Anders M\o{}ller and Mathias Schwarz},
title = {Automated Detection of Client-State Manipulation Vulnerabilities},
booktitle = {Proc. 34th International Conference on Software Engineering (ICSE)},
year = {2012},
month = {June},
}
@InProceedings{jsrefactor2011,
author = {Asger Feldthaus and Todd Millstein and Anders M\o{}ller and Max Sch\"a{}fer and Frank Tip},
title = {Tool-supported Refactoring for {J}ava{S}cript},
booktitle = {Proc. ACM SIGPLAN Conference on Object-Oriented Programming,
Systems, Languages, and Applications (OOPSLA)},
year = {2011},
month = {October},
}
@InProceedings{dom2011,
author = {Simon Holm Jensen and Magnus Madsen and Anders M\o{}ller},
title = {Modeling the {HTML} {DOM} and Browser {API} in Static Analysis of {J}ava{S}cript Web Applications},
booktitle = {Proc. 8th joint meeting of the European Software Engineering Conference
and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)},
year = {2011},
month = {September},
}
@InProceedings{htmlcfg2011,
author = {Anders M\o{}ller and Mathias Schwarz},
title = {{HTML} Validation of Context-Free Languages},
booktitle = {Proc. 14th International Conference on
Foundations of Software Science and Computation Structures (FoSSaCS)},
year = {2011},
month = {March},
series = {LNCS},
volume = {6604},
publisher = {Springer-Verlag},
}
@InProceedings{artemis2011,
author = {Shay Artzi and Julian Dolby and Simon Holm Jensen and
Anders M\o{}ller and Frank Tip},
title = {A Framework for Automated Testing of {J}ava{S}cript Web Applications},
booktitle = {Proc. 33rd International Conference on Software Engineering (ICSE)},
year = {2011},
month = {May},
}
@Article{xmlgraphs2011,
author = {Anders M\o{}ller and Michael I. Schwartzbach},
title = {{XML} Graphs in Program Analysis},
journal = {Science of Computer Programming},
volume = {76},
number = {6},
pages = {492-515},
month = {June},
year = {2011},
publisher = {Elsevier},
note = {Earlier version in
Proc.\ ACM SIGPLAN Workshop on Partial Evaluation and
Program Manipulation (PEPM) 2007},
}
@InProceedings{lazypropagation2010,
author = {Simon Holm Jensen and Anders M\o{}ller and Peter Thiemann},
title = {Interprocedural Analysis with Lazy Propagation},
booktitle = {Proc. 17th International Static Analysis Symposium (SAS)},
year = {2010},
month = {September},
series = {LNCS},
volume = {6337},
publisher = {Springer-Verlag},
}
@Article{ambiguity2010,
author = {Claus Brabrand and Robert Giegerich and Anders M\o{}ller},
title = {Analyzing Ambiguity of Context-Free Grammars},
journal = {Science of Computer Programming},
volume = {75},
number = {3},
pages = {176-191},
month = {March},
year = {2010},
publisher = {Elsevier},
note = {Earlier version in Proc.\ 12th International Conference
on Implementation and Application of Automata (CIAA) 2007,
Springer-Verlag LNCS vol.\ 4783},
}
@Manual{jsamanual2009,
author = {Asger Feldthaus and Anders M{\o}ller},
title = {The Big Manual for the {J}ava {S}tring {A}nalyzer},
organization = {Department of Computer Science, Aarhus University},
month = {November},
year = {2009},
note = {Available from \texttt{\small http://www.brics.dk/JSA/}}
}
@InProceedings{tajs2009,
author = {Simon Holm Jensen and Anders M\o{}ller and Peter Thiemann},
title = {Type Analysis for {J}ava{S}cript},
booktitle = {Proc. 16th International Static Analysis Symposium (SAS)},
year = {2009},
month = {August},
series = {LNCS},
volume = {5673},
publisher = {Springer-Verlag},
}
@InProceedings{jwig2009,
author = {Anders M\o{}ller and Mathias Schwarz},
title = {{JWIG}: Yet Another Framework for Maintainable and Secure Web Applications},
booktitle = {Proc. 5th International Conference on Web Information Systems and Technologies (WEBIST)},
year = {2009},
month = {March},
}
@TechReport{sax2008,
author = {Anders M\o{}ller},
title = {Static Analysis for Event-Based {XML} Processing},
year = {2008},
month = {January},
institution = {BRICS},
number = {RS-08-01},
note = {Presented at Programming Language Technologies for XML (PLAN-X)},
}
@InProceedings{ambiguity2007,
author = {Claus Brabrand and Robert Giegerich and Anders M\o{}ller},
title = {Analyzing Ambiguity of Context-Free Grammars},
booktitle = {Proc. 12th International Conference
on Implementation and Application of Automata (CIAA)},
year = {2007},
month = {July},
series = {LNCS},
volume = {4783},
publisher = {Springer-Verlag},
}
@Article{xsugar2008,
author = {Claus Brabrand and Anders M\o{}ller and Michael I. Schwartzbach},
title = {Dual Syntax for {XML} Languages},
journal = {Information Systems},
year = {2008},
month = {June},
volume = {33},
number = {4},
publisher = {Elsevier},
note = {Earlier version in Proc.\ 10th International Workshop
on Database Programming Languages (DBPL) 2005,
Springer-Verlag LNCS vol.\ 3774}
}
@Article{xslt2007,
author = {Anders M\o{}ller and Mads \O{}sterby Olesen and Michael I. Schwartzbach},
title = {Static Validation of {XSL} {T}ransformations},
journal = {ACM Transactions on Programming Languages and Systems},
year = {2007},
month = {July},
volume = {29},
number = {4},
}
@InProceedings{xmlgraphs2007,
author = {Anders M\o{}ller and Michael I. Schwartzbach},
title = {{XML} Graphs in Program Analysis},
booktitle = {Proc. ACM SIGPLAN Workshop on Partial Evaluation and
Program Manipulation (PEPM)},
year = {2007},
month = {January},
}
@InProceedings{servlets2006,
author = {Christian Kirkegaard and Anders M\o{}ller},
title = {Static Analysis for {J}ava {S}ervlets and {JSP}},
booktitle = {Proc. 13th International Static Analysis Symposium (SAS)},
year = {2006},
month = {August},
series = {LNCS},
volume = {4134},
publisher = {Springer-Verlag},
note = {Full version available as BRICS RS-06-10},
}
@Book{ixwt,
author = {Anders M\o{}ller and Michael I. Schwartzbach},
title = {An Introduction to {XML} and {W}eb Technologies},
publisher = {Addison-Wesley},
year = {2006},
isbn = {0321269667}
}
@Article{contracts2006,
author = {Henning B\"o{}ttger and Anders M\o{}ller and Michael I. Schwartzbach},
title = {Contracts for Cooperation between {W}eb Service Programmers and {HTML} Designers},
journal = {Journal of Web Engineering},
year = {2006},
volume = {5},
number = {1},
pages = {65--89},
}
@TechReport{xactschemas2005,
author = {Christian Kirkegaard and Anders M\o{}ller},
title = {Type Checking with {XML} {S}chema in {X}act},
institution = {BRICS},
number = {RS-05-31},
year = {2005},
month = {September},
note = {Presented at Programming Language Technologies for XML (PLAN-X)},
}
@InProceedings{xmltypes2005,
author = {Anders M\o{}ller and Michael I. Schwartzbach},
title = {The Design Space of Type Checkers for {XML} Transformation Languages},
booktitle = {Proc. 10th International Conference on Database Theory (ICDT)},
year = {2005},
month = {January},
volume = {3363},
series = {LNCS},
publisher = {Springer-Verlag},
pages = {17--36},
}
@InProceedings{xactrun2004,
author = {Aske Simon Christensen and Christian Kirkegaard and Anders M\o{}ller},
title = {A Runtime System for {XML} Transformations in {J}ava},
booktitle = {Proc. Database and XML Technologies,
2nd International XML Database Symposium (XSym)},
year = {2004},
month = {August},
volume = {3186},
series = {LNCS},
publisher = {Springer-Verlag},
}
@Article{xact2004,
author = {Christian Kirkegaard and Anders M\o{}ller and Michael I. Schwartzbach},
title = {Static Analysis of {XML} Transformations in {J}ava},
journal = {IEEE Transactions on Software Engineering},
year = {2004},
month = {March},
volume = {30},
number = {3},
pages = {181--192},
}
@InProceedings{strings2003,
author = {Aske Simon Christensen and Anders M\o{}ller and Michael I. Schwartzbach},
title = {Precise Analysis of String Expressions},
booktitle = {Proc. 10th International Static Analysis Symposium (SAS)},
year = {2003},
month = {June},
volume = {2694},
series = {LNCS},
publisher = {Springer-Verlag},
pages = {1--18},
note = {Available from \texttt{\small http://www.brics.dk/JSA/}},
}
@Article{jwig2003,
author = {Aske Simon Christensen and Anders M\o{}ller and Michael I. Schwartzbach},
title = {Extending {Java} for High-Level {Web} Service Construction},
journal = {ACM Transactions on Programming Languages and Systems},
year = {2003},
month = {November},
volume = {25},
number = {6},
pages = {814--875},
}
@Misc{dsd2spec2002,
author = {Anders M\o{}ller},
title = {{Document Structure Description} 2.0},
year = {2002},
month = {December},
note = {BRICS, Department of Computer Science, Aarhus University,
Notes Series NS-02-7.
Available from \texttt{\small http://www.brics.dk/DSD/}},
}
@Manual{jwigman2002,
author = {Aske Simon Christensen and Anders M{\o}ller},
title = {{JWIG User Manual}},
organization = {BRICS, Department of Computer Science, Aarhus University},
month = {June},
year = {2002},
note = {Notes Series NS-02-6.
Available from \texttt{\small http://www.brics.dk/JWIG/manual/}}
}
@PhdThesis{amoeller2002,
author = {Anders M\o{}ller},
title = {Program Verification with Monadic Second-Order Logic \&
Languages for {W}eb Service Development},
school = {BRICS, Department of Computer Science, Aarhus University},
year = {2002},
month = {June},
}
@TechReport{summarygraphs2002,
author = {Aske Simon Christensen and Anders M\o{}ller and Michael I. Schwartzbach},
title = {Static Analysis for Dynamic {XML}},
institution = {BRICS},
number = {RS-02-24},
year = {2002},
month = {May},
note = {Presented at Programming Language Technologies for XML (PLAN-X) 2002},
}
@Misc{www2002,
author = {Anders M\o{}ller and Michael I. Schwartzbach},
title = {Interactive {Web} Services with {Java}},
year = {2002},
month = {April},
note = {BRICS, Department of Computer Science, Aarhus University,
Notes Series NS-02-1.
Available from \texttt{\small http://www.brics.dk/\~{}amoeller/WWW/}},
}
@Article{caching2002,
author = {Claus Brabrand and Anders M\o{}ller and Steffan Olesen
and Michael I. Schwartzbach},
title = {Language-Based Caching of Dynamically Generated {HTML}},
journal = {World Wide Web Journal},
year = {2002},
volume = {5},
number = {4},
pages = {305--323},
note = {Kluwer},
}
@Article{bigwig2002,
author = {Claus Brabrand and Anders M\o{}ller and Michael I. Schwartzbach},
title = {The {\tt <bigwig>} Project},
journal = {ACM Transactions on Internet Technology},
year = {2002},
volume = {2},
number = {2},
pages = {79--114},
}
@Article{dsd2002,
author = {Nils Klarlund and Anders M\o{}ller and Michael I. Schwartzbach},
title = {The {DSD} Schema Language},
journal = {Automated Software Engineering},
year = {2002},
volume = {9},
number = {3},
pages = {285--319},
note = {Kluwer.
Earlier version in Proc.\ 3rd ACM SIGPLAN-SIGSOFT Workshop on
Formal Methods in Software Practice (FMSP) 2000},
}
@Article{monasecrets2002,
author = {Nils Klarlund and Anders M\o{}ller and Michael I. Schwartzbach},
title = {{MONA} Implementation Secrets},
journal = {International Journal of Foundations of Computer Science},
year = {2002},
volume = {13},
number = {4},
pages = {571--586},
note = {World Scientific Publishing Company.
Earlier version in Proc.\ 5th International Conference
on Implementation and Application of Automata (CIAA) 2000,
Springer-Verlag LNCS vol.\ 2088},
}
@InProceedings{valid2001,
author = {Claus Brabrand and Anders M\o{}ller and Michael I. Schwartzbach},
title = {Static Validation of Dynamically Generated {HTML}},
booktitle = {Proc. ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for
Software Tools and Engineering (PASTE)},
year = {2001},
month = {June},
pages = {221--231},
}
@InProceedings{pale2001,
author = {Anders M\o{}ller and Michael I. Schwartzbach},
title = {The Pointer Assertion Logic Engine},
booktitle = {Proc. ACM SIGPLAN Conference on Programming Language
Design and Implementation (PLDI)},
year = {2001},
month = {June},
note = {Also in SIGPLAN Notices 36(5) (May 2001)},
}
@Manual{monamanual2001,
author = {Nils Klarlund and Anders M{\o}ller},
title = {{MONA Version 1.4 User Manual}},
organization = {BRICS, Department of Computer Science, Aarhus University},
month = {January},
year = {2001},
note = {Notes Series NS-01-1.
Available from \texttt{\small http://www.brics.dk/mona/}.
Revision of BRICS NS-98-3}
}
@Misc{xml2001,
author = {Anders M\o{}ller and Michael I. Schwartzbach},
title = {The {XML} Revolution - Technologies for the future {W}eb},
year = {2001},
month = {December},
note = {BRICS, Department of Computer Science, Aarhus University,
Notes Series NS-01-8.
Available from \texttt{\small http://www.brics.dk/\~{}amoeller/XML/}.
Revision of BRICS NS-00-8},
}
@Article{powerforms2000,
author = {Claus Brabrand and Anders M\o{}ller and Mikkel Ricky
and Michael I. Schwartzbach},
title = {{PowerForms}: Declarative Client-Side Form Field Validation},
journal = {World Wide Web Journal},
year = {2000},
month = {December},
volume = {3},
number = {4},
pages = {205--314},
note = {Kluwer},
}
@MastersThesis{progress2000,
author = {Anders M\o{}ller},
title = {{MONA}, {DSD}, and {\tt <bigwig>}},
school = {Aarhus University},
month = {May},
year = {2000},
note = {BRICS Ph.D.\ Progress Report},
}
@Misc{dsdspec2000,
author = {Nils Klarlund and Anders M\o{}ller and Michael I. Schwartzbach},
title = {{Document Structure Description} 1.0},
year = {2000},
month = {December},
note = {BRICS, Department of Computer Science, Aarhus University,
Notes Series NS-00-7.
Available from \texttt{\small http://www.brics.dk/DSD/}},
}
@InProceedings{trees2000,
author = {Jacob Elgaard and Anders M\o{}ller and Michael I. Schwartzbach},
title = {Compile-Time Debugging of {C} Programs Working on Trees},
booktitle = {Proc. Programming Languages and Systems,
9th European Symposium on Programming (ESOP)},
year = {2000},
month = {March/April},
volume = {1782},
series = {LNCS},
publisher = {Springer-Verlag},
pages = {182--194},
}
@Article{runtime1999,
author = {Claus Brabrand and Anders M\o{}ller and Anders Sandholm
and Michael I. Schwartzbach},
title = {A Runtime System for Interactive {W}eb Services},
journal = {Computer Networks},
year = {1999},
month = {May},
volume = {31},
number = {11-16},
pages = {1391--1401},
note = {Elsevier.
Also in Proc. 8th International World Wide Web Conference (WWW) 1999},
}
@InProceedings{mona1998,
author = {Jacob Elgaard and Nils Klarlund and Anders M{\o}ller},
title = {{MONA} 1.x: new techniques for {WS1S} and {WS2S}},
booktitle = {Proc. 10th International Conference on
Computer-Aided Verification (CAV)},
year = {1998},
month = {June/July},
volume = {1427},
series = {LNCS},
publisher = {Springer-Verlag},
pages = {516--520},
}