Read the abstract OOPSLA'15 website
Read the abstract DLS'15 symposium website
On Tuesday, May 19, Magnus Madsen defends his PhD thesis "Static Analysis of Dynamic Languages".
Type-Intertwined Heap Analysis
Erik Krogh Kristensen started as PhD student on May 1 2015.
Read the abstract ISSTA'15 conference web site
The European Research Council (ERC) established by the European Commission has just awarded an ERC Consolidator Grant of 2 million euro to Associate Professor Anders Møller for the project Automated Program Analysis for Advanced Web Applications.
On Monday, March 9, Casper S. Jensen successfully defended his PhD thesis "Automated Testing of Event-Driven Applications".
In Defense of Soundiness: A Manifesto in CACM