Aarhus University Seal / Aarhus Universitets segl


2016.03.04 | CASA

Article accepted at ECOOP 2016

The article "Trace Typing: An Approach for Evaluating Retrofitted Type Systems" by Esben Andreasen et al. has been accepted at ECOOP 2016.

2016.03.01 | CASA

Martin Torp joins CASA as Student Programmer

Martin Torp joined the CASA team as a Student Programmer on March 1.

2015.09.01 | People , CASA

Hamid A. Toussi joins CASA as PhD Student

Hamid A. Toussi started as PhD Student on September 1, 2015. He holds a MSc in Computer Science and a BSc in Computer Engineering. Before starting his PhD studies, Hamid  worked as a Software Engineer and university instructor for a few years in Mashhad, Iran.

2015.08.10 |

ACM SIGSOFT Distinguished Paper Award at ISSTA'15

Read the abstract ISSTA'15 symposium website

2015.08.10 |

Mathias Vorreiter Pedersen joins CASA as PhD Student

Mathias Vorreiter Pedersen started as PhD student on August 1 2015

2015.08.10 | CASA

Benjamin Barslev Nielsen joins CASA as PhD Student

Benjamin Barslev Nielsen started as PhD student on August 1 2015

2015.08.10 |

The paper "Message Safety in Dart" is accepted at DLS'15

Read the abstract DLS'15 symposium website

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

Showing results 31 to 40 of 113

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