2016.07.01 | CASA

Paper accepted at Science of Computer Programming: Message Safety in Dart

"Message Safety in Dart" by Erik Ernst, Anders Møller, Mathias Schwarz, and Fabio Strocco. Unlike traditional static type checking, the type system in the Dart programming language is unsound by design, even for fully annotated programs. The rationale has been that this allows compile-time detection of likely errors and enables code completion…

2016.06.06 | Research news, CASA , Public/media, Staff, Students

New paper: Analyzing Test Completeness for Dynamic Languages

In dynamically typed programming languages, type errors can occur at runtime. Executing the test suites that often accompany programs may provide some confidence about absence of such errors, but generally without any guarantee. We present a program analysis that can check whether a test suite has sufficient coverage to prove a given type-related…

2016.04.14 | CASA , Awards, Research news, Staff, Students, Public/media

ACM SIGSOFT Distinguished Paper Award for Esben Andreasen and Anders Møller

The article "Feedback-Directed Instrumentation for Deployed JavaScript Applications" has been selected to receive an ACM SIGSOFT Distinguished Paper Award. From the CASA team Esben Andreasen and Anders Møller have co-authored the publication.

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

Showing results 21 to 30 of 106

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