Aarhus University Seal / Aarhus Universitets segl


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.

2014.10.25 |

Artifact Award to PhD student Asger Feldthaus and Associate Professor Anders Møller

PhD student Asger Feldthaus and his advisor Anders Møller have received an ACM SIGPLAN OOPSLA 2014 Artifact Award for the research tool TSCheck, which is capable of effectively finding errors in TypeScript declaration files using novel program analysis algorithms.

Showing results 41 to 50 of 113

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