Some selected presentations:
These presentations are copyright © Anders Møller.
|
XML as an Interchange Format invited talk at Petri Nets 2000, Meeting on XML/SGML based Interchange Formats for Petri Nets [PDF | PostScript] | ||
|
The MONA Project presented at BRICS, Aalborg and at DTU, Lyngby. [PostScript] | ||
|
Program Verification with Graph Types and Monadic Second-order
Logic presented at University of California, Berkeley. [PDF] | ||
|
Logic, Automata, and Program Verification presented at IT University of Copenhagen. [PDF] | ||
|
Program Analyses for Interactive Web Services presented at AT&T Labs Research. [PDF] | ||
|
Static Analysis for Dynamic XML presented at the PLAN-X 2002 workshop. [PDF] | ||
|
Development of Interactive Web Services
with High-Level Programming Languages presented at LinuxForum 2003. [HTML] | ||
|
Web Technology at DAIMI [HTML] | ||
|
Precise Analysis of String Expressions [PDF] | ||
|
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 SAS'06, also presented at University of Aalborg, IT University of Copenhagen, and IFIP WG 2.4 Meeting 2007. [PDF (extended version)] | ||
|
XML Graphs in Program Analysis presented at IBM T.J. Watson. [PDF] |