Anders Møller

Current students:

• Georgian-Vlad Saioc (PhD student)

• Wenyuan Xu (PhD student)

• Mathias Rud Laursen (PhD student)

Former PhD students:

• Christian Kirkegaard (PhD, 2006, co-supervised with Michael Schwartzbach):
  Programming with XML
  now at Netcompany

• Mathias Schwarz (PhD, April 2013):
  Design and Analysis of Web Application Frameworks
  now postdoc at CASA at CLC Bio at Uber

• Simon Holm Jensen (PhD, April 2013):
  Static Analysis for JavaScript
  now at Samsung Research America Snowflake Computing Facebook

• Asger Feldthaus (PhD, January 2015):
  Pointer Analysis for JavaScript Programming Tools
  now at Google Aarhus Semmle Github

• Casper S. Jensen (PhD, March 2015):
  Automated Testing of Event-Driven Applications
  now at Uber

• Magnus Madsen (PhD, May 2015):
  Static Analysis of Dynamic Languages
  now at Samsung Research America University of Waterloo Aalborg University Aarhus University, as assistant associate professor

• Esben Andreasen (PhD, August 2016):
  Designing Abstractions for JavaScript Program Analysis
  now postdoc at CASA at Semmle Github

• Fabio Strocco (PhD, September 2016):
  Type Soundness in the Dart Programming Language
  now at Microsoft VOSS

• Christoffer Quist Adamsen (PhD, May 2018):
  Automated Testing Techniques for Event-Driven and Dynamically Typed Software Applications
  now at Google Aarhus

• Erik Krogh Kristensen (PhD, October 2019):
  Automated Techniques for Creation and Maintenance of TypeScript Declaration Files
  now at Semmle Github

• Benjamin Barslev Nielsen (PhD, January 2021):
  Static Analysis for Node.js
  now postdoc at CASA at Coana

• Martin Torp (PhD, November 2021):
  Techniques and Tools for Supporting Maintenance of Node.js Programs
  now at Coana

• Oskar Haarklou Veileborg (PhD, June 2023):
  Localized Static Program Analysis for Optimization and Error Detection
  now at Coana

Former MSc students:

• Christian Kirkegaard (Cand. Scient. 2003):
  Towards XML in Programming Languages

• Henning Böttger (Cand. Scient., 2004):
  Improving Cooperation Between Programmers and HTML Designers Using Contracts

• Gunner Olesen (Master IT, 2004):
  System Integration with Web Services on the Business Intranet

• Torben Ruby (Cand. Scient., 2004):
  Specification, Implementation, and Verification of Web Services

• Mads Østerby Olesen (Cand. Scient., 2004):
  Static Validation of XSLT

• Alexander Harrow (Cand. IT, 2005):
  XML and Relational Databases - A Survey

• Martin Mosegaard Jensen (Cand. Scient., 2006):
  Understanding Parametric Shape Analysis

• Janus Dam Nielsen (Cand. Scient., 2006):
  Relations between Schema Languages for XML

• Søren Kuula (Cand. Scient., 2006):
  Practical Type-Safe XSLT 2.0 Stylesheet Authoring

• Michael Ustrup (Cand. Scient., 2006):
  Coding Conventions

• Colin Samuel Rosenthal (Cand. IT, 2007):
  Contract-Based Web Development

• Henrik Thuesen (Cand. Scient., 2007):
  Type Checking for JavaScript

• Bárður Háskor (Cand. Scient., 2007):
  Analysis of String Expressions

• Rune Simonsen &
• Rasmus Kromann-Larsen (Cand. Scient., 2007):
  Analyzing JavaScript Programs

• Rasmus Nygaard Andersen (Cand. Scient., 2007):
  Web Application Frameworks

• Jonas Krarup Dam (Cand. Scient., 2007):
  Static Analysis for Java Servlets and JSP

• Anders Jacobsen (Cand. Scient., 2007):
  Analysis of SAX Applications

• Sune Koch Hansen (Cand. Scient., 2008):
  Call-Graph Analysis for JavaScript

• Kasper Hansen (Cand. Polyt., 2008):
  Web Service Standards

• Lea Troels Møller Pedersen (Cand. Scient., 2009):
  Program Slicing for String Analysis

• Ronny Rundberg Bruus (Cand. Scient., 2009):
  Safety Analysis for Web Applications

• Simon Corfix Lykke (Cand. Scient., 2010):
  Streaming XSLT

• Jakob Benjamin Boisen Juhl (Cand. Scient., 2010):
  Scripting in OpenEngine

• Smári Viðarsson Waage (Cand. Scient., 2010):
  A Study of Trace-Based Compilation

• Anders Viskum (Cand. Scient., 2010):
  Web Application Testing

• Kristian Klüver Jensen (Cand. Scient., 2010):
  Type Checking SQL/XML

• Valerio Bruno (MSc, 2011):
  Concolic Testing with PALE

• Martin C. Thuesen (Cand. Scient., 2011):
  Contracts for jQuery

• Casper Bach Poulsen (Cand. Scient., 2011):
  Improving Automated Testing for JavaScript

• Asger Eriksen (Cand. Scient., 2012):
  Dart's Type System and Success Types

• Morten Poulsen (Master IT, 2013):
  An Upgrade of a Legacy Web Service Infrastructure

• Jacob Hougaard &
• Kasper Føns (Cand. Scient., 2014):
  A Study of the DASH Algorithm for Software Property Checking

• Morten Passow Odgaard (Master IT, 2014):
  JavaScript Type Inference using Dynamic Analysis

• Nils Asbjørn Joensen (Cand. Scient., 2014):
  Identification of Classes and Modules in JavaScript

• Troels Leth Jensen &
• Jesper Lindstrøm Nielsen (Cand. Scient., 2015):
  Type Inference for Dart

• Ulrik Sahl Lystbæk (Cand. Scient., 2015):
  Demand-driven Pointer Analysis for Code Completion

• Christian Budde Christensen &
• Randi Hillerøe (Cand. Scient., 2015)
  Type Analysis for PHP Arrays

• Alex Fuller Fischer (Cand. Scient., 2018)
  Static Analysis for WebAssembly

• Mathias Rud Laursen &
• Kasper S. Nielsen (Cand. Scient., 2023):
  Precise and Efficient Context Sensitive Points-To Analysis for Go