About CASA

Center for Advanced Software Analysis is an umbrella for a series of research projects related to program analysis and web technologies - LAWP, TRIA, and SADL - located at Department of Computer Science, Aarhus University.

The center is supported by grants (totalling 2.2 M euros) from the Danish Research Council for Technology and Production Sciences and the Danish Council for Independent Research. The research activities are additionally financially supported by IBM Research and Google.

TRIA - Tools for Rich Internet Applications

Rich internet applications are computer programs that use web browsers as platform. This is a popular approach to software development that has many advantages compared to alternative architectures, but it also poses unique challenges to the software developers due to the dynamic nature of the underlying technologies, including JavaScript, DOM, AJAX, and JSON.

The TRIA research project aims to develop formal languages for specifying essential requirements and assumptions together with program analysis tools for verifying consistency between the components, in collaboration with the software company Trifork.

SADL - Static Analysis for Dynamic Languages

Software developers increasingly choose dynamic programming languages despite their well-known drawbacks compared to languages that are statically typed. The flexibility of dynamic languages often makes them more suitable for rapid development of small and medium-sized software applications, whereas statically typed languages permit static type checking that catches many programming errors early in development where they are cheap to correct.

The SADL project aims to lead the way in unifying the two kinds of programming languages by means of static analysis and thereby give the programmers the best from both worlds.

LAWP - Languages and Analyses for Web Programming (2008-2012)

Errors in programs are a well-known problem, both to programmers and users. Modern Web-based software systems are being built from components that in complicated ways communicate with each other and the users. With the increasing prevalence and complexity of the Web, the consequences of programming errors are becoming problematic.

The LAWP research project aims to develop high-level languages and static analysis techniques for XML transformations and server-based web applications, in order to prevent programming errors.


  • TAJS - type analysis for JavaScript
  • Artemis - automated testing for JavaScript
  • JSRefactor - refactoring for JavaScript
  • TSCheck - finding bugs in TypeScript declaration files
  • ServletValidator - program analysis for Servlets
  • XACT - type-safe XML transformations
  • JWIG - high-level Web programming
  • JSA - string analysis for Java

Recent Publications

How to apply

If you are interested in joining CASA as a postdoc, assistant professor, or PhD student, please contact Associate Professor Anders Møller (amoeller@cs.au.dk) and supply a CV and a short description of your experience with program analysis, web technologies, and scripting languages.

Current Members