Aarhus University Seal / Aarhus Universitets segl

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

2019.05.28 | CASA

Honorable mention to Christoffer Quist Adamsen

Former PhD student Christoffer Quist Adamsen (now Software Engineer at Google) has been selected by the Executive Committee of ACM SIGSOFT and its selection committee for this year’s honorable mention for the ACM Outstanding Doctoral Dissertation Award. The honorable mention is given to Christoffer for his PhD dissertation: Automated Testing…

Frank Tip, Professor at Northeastern University.

2018.09.10 | CASA

Visit and talk by Frank Tip: Asynchronous Programming: Challenges and Research Opportunities

Frank Tip will be visiting the CASA group September 17-19. On September 17, he will give a talk on Asynchronous Programming: Challenges and Research Opportunities from 10:00-11:00 in Nygaard-395.

Jens Palsberg, Professor at UCLA

2018.08.15 | CASA

Talk by Jens Palsberg: Jones-Optimal Partial Evaluation by Specialization-Safe Normalization

On August 20, Jens Palberg will visit the group and give a talk about Jones-Optimal Partial Evaluation by Specialization-Safe Normalization in Nygaard-295 from 13:00-14:00.

Contact:

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