News

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

2015.01.02 |

Thomas Heinze joins CASA as postdoc on 1 January 2015

Thomas Heinze has studied computer science at Friedrich Schiller University Jena, where he also received his PhD by the end of 2013 under the supervision of Wolfram Amme.

Showing results 31 to 40 of 105

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