Anders Møller (41) has been appointed professor at the Department of Computer Science as of 1 April. His appointment will be celebrated on 5 May 2017 with an inaugural lecture followed by a reception at the department.

On February 1, Simon Gregersen joins the CASA team as a Student Programmer.

I'm currently pursuing my bachelor's degree in computer science at the…

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...

TypeScript is a typed extension of JavaScript that has become widely used. More than 2000 JavaScript libraries now have publicly available TypeScript declaration files, which allows the libraries to be used when programming TypeScript applications. Such declaration files are written manually, however, and they are often lagging behind the continuous development of the libraries, thereby hindering their usability. The existing tool TSCheck is capable of detecting mismatches between the libraries and their declaration files, but it is less suitable when creating and evolving declaration files...

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 source code to prevent harmful races can be a difficult and error-prone task, it may be preferable to steer away from the bad executions.

Alex Summers from ETH Zurich will give a talk about the Viper Project on October 26 in Nygaard-295. Abstract...

Jeremy Siek from Indiana University will give a talk about Compiling gradually typed languages for efficiency on September 7 at 14:00 in Nygaard-395. Abstract...

On Wednesday 24 August, Esben Andreasen will defend his PhD dissertation entitled Designing abstractions for JavaScript program analysis. After the completing his PhD degree, Esben will remain a CASA team member but now as a Postdoc.