Center for Advanced Software Analysis is located at Department of Computer Science, Aarhus University. The center conducts research in program analysis and web technologies, aiming to improve software quality and programmer productivity.
The center is supported by grants (totalling 4.2 M euros) from the European Research Council, 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.
2016.06.06 | Research news
In dynamically typed programming languages, type errors can occur at runtime. Executing the test suites that often accompany programs may provide some confidence about absence of such errors, but generally without any guarantee. We present a program analysis that can check whether a test suite has sufficient coverage to prove a given type-related…
2016.04.14 | CASA
2016.03.04 | CASA
The article "Trace Typing: An Approach for Evaluating Retrofitted Type Systems" by Esben Andreasen et al. has been accepted at ECOOP 2016.
Head of Research
The Danish Research Council for Technology and Production Sciences and the Danish Council for Independent Research (Sapere Aude), grants no. 09-064210, 10-081627, 10-082660.
The European Research Council (ERC Consolidator Grant), grant no. 647544.