News

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

2014.06.02 |

Xavier Rival visits CASA

About Xavier Rival

Showing results 31 to 40 of 97

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