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.08.16 | CASA
2016.08.03 | CASA
At the 2016 ACM SIGSOFT International Symposium on Software Testing and Analysis, the Distinguished Paper Award was presented to Christoffer Quist Adamsen, Gianluca Mezzetti, and Anders Møller for the article "Analysing Test Completeness for Dynamic Languages".
2016.07.01 | CASA
"Message Safety in Dart" by Erik Ernst, Anders Møller, Mathias Schwarz, and Fabio Strocco. Unlike traditional static type checking, the type system in the Dart programming language is unsound by design, even for fully annotated programs. The rationale has been that this allows compile-time detection of likely errors and enables code completion…
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.