You are here: casa.au.dk

About CASA

Center for Advanced Software Analysis is located at Department of Computer ScienceAarhus 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 Councilthe 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.

News

2016.07.01 | CASA

Paper accepted at Science of Computer Programming: Message Safety in Dart

"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…

2016.06.06 | Research news

New paper: Analyzing Test Completeness for Dynamic Languages

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

ACM SIGSOFT Distinguished Paper Award for Esben Andreasen and Anders Møller

The article "Feedback-Directed Instrumentation for Deployed JavaScript Applications" has been selected to receive an ACM SIGSOFT Distinguished Paper Award. From the CASA team Esben Andreasen and Anders Møller have co-authored the publication.

Contact:

Head of Research

Anders Møller

Associate professor
M
H bldg. 5341, 224
P +4587156254
P +45 23309994

Administration

Sofia Rasmussen

Research Group Coordinator

Funding

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.

 

ERC Banner

Comments on content: 
Revised 01.07.2016