2015.08.10 |

The paper "Message Safety in Dart" is accepted at DLS'15

Read the abstract DLS'15 symposium website

2015.05.14 |

Magnus Madsen PhD defense

On Tuesday, May 19, Magnus Madsen defends his PhD thesis "Static Analysis of Dynamic Languages".

2015.05.14 |

talk by Bor-Yuh Evan Chang, U. Colorado Boulder

Type-Intertwined Heap Analysis

2015.05.01 |

Erik Krogh Kristensen joins CASA as PhD student

Erik Krogh Kristensen started as PhD student on May 1 2015.

2015.04.15 |

talk by Michael Pradel, TU Darmstadt

DLint: Dynamically Checking Bad Coding Practices in JavaScript

2015.03.11 |

Anders Møller receives ERC Consolidator Grant

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.

2015.03.09 |

Casper S. Jensen PhD defense

On Monday, March 9, Casper S. Jensen successfully defended his PhD thesis "Automated Testing of Event-Driven Applications".

2015.02.20 |

The article In Defense of Soundiness: A Manifesto appears in CACM

In Defense of Soundiness: A Manifesto in CACM

2015.01.05 |

The paper QuickChecking Static Analysis Properties is accepted at ICST'15

Read the abstract ICST'15 conference web site

Showing results 31 to 40 of 106

Previous 1 2 3 4 5 6 7 8 9 10 Next