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

2018.03.21 | CASA

Sergio Mover visits the CASA team on April 4 and 5

On April 4 and 5, Sergio Mover from University of Colorado will visit the CASA team. During the visit, Sergio will give an exicting talk on Abstractions and models to design safe Event-Driven Cyber-Physical Systems. The talk takes place in Nygaard-295 at 11:00 on April 4.

2018.03.12 | CASA

Qirun Zhang visits the CASA team on March 15 and 16

On March 15 and 16, Qirun Zhang from the Department of Computer Science at UC Davis will visit the CASA team. During the visit, Qirun will give an exicting talk on Practical Program Analysis: Principles and Techniques. The talk takes place in Ada-333 at 12:00 on March 15.

2017.10.30 | CASA

ACM SIGPLAN Distinguished Paper Award to Adamsen and Møller

Congratulations to Christoffer Quist Adamsen and Anders Møller who have received ACM SIGPLAN Distinguished Paper Award at OOPSLA 2017 for the paper Practical Initialization Race Detection for JavaScript Web Applications. The paper is written in co-operation with Frank Tip.

Contact:

Head of Research

Anders Møller

Professor
M
H bldg. 5341, 224
P +4587156254
P +4523309994

Administration

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