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.
2017.01.10 | CASA
Abstract: Most static program analysis techniques do not fully verify all possible executions of a program. They leave executions unverified when they do not check certain properties, fail to verify properties, or check properties under certain unsound assumptions, such as the absence of arithmetic overflow...
2017.01.02 | CASA
2016.12.13 | CASA
Modern web applications are written in an event-driven style, in which event handlers execute asynchronously in response to user or system events. The nondeterminism arising from this programming style can lead to pernicious errors. Recent work focuses on detecting event races and classifying them as harmful or harmless. However, since modifying…
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.