Aarhus University Seal / Aarhus Universitets segl

News

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.

2014.10.01 |

Invited talk at WSCR'14

WSCR'14

2014.08.01 |

The papers Determinacy in Static Analysis of jQuery and Checking Correctness of TypeScript Interfaces for JavaScript Libraries are accepted at OOPSLA'14

Determinacy in Static Analysis of jQuery Checking Correctness of TypeScript Interfaces for JavaScript Libraries OOPSLA'14

2014.07.01 |

Invited talk at HOPA'14

HOPA'14

Showing results 41 to 50 of 109

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