Anders Møller

A few selected presentations:

Verifying Programs that Manipulate Pointers
invited talk at the INFINITY 2003 workshop, also presented at University of Aalborg and University of Uppsala.
[PDF]

The MONA Project - Logic, Automata, and Program Verification
presented at Dresden University of Technology.
[PDF]

Type Checking with XML Schema in XACT
presented at the PLAN-X 2006 workshop.
[PDF]

Static Analysis for Java Servlets and JSP
presented at SAS'06, University of Aalborg, IT University of Copenhagen, IFIP WG 2.4 Meeting 2007, and UC Davis.
[PDF (extended version)]

XML Graphs in Program Analysis
presented at IBM T.J. Watson.
[PDF]

Type Analysis for JavaScript
presented (in various versions) at IFIP WG 2.4 Meeting 2009, Google Aarhus, IBM T.J. Watson, Microsoft Research, University of Wisconsin-Madison, and Google NYC.
[PDF]

How (Not) to Present a Paper
presented at the CS PhD retreat 2009, 2011, 2013 and 2015
[PDF]

See also teaching material on Static Program Analysis and XML and Web Technologies

These presentations are copyright © Anders Møller.

Valid CSS! Valid HTML 4.01!