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.

2015.01.02 |

Benjamin Barslev Nielsen joins CASA as student programmer in January 2015.

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 |

The paper Sparse Dataflow Analysis with Pointers and Reachability is accepted at SAS'14

Link to the paper

2014.06.02 |

Xavier Rival visits CASA

About Xavier Rival