Aarhus University Seal / Aarhus Universitets segl


2017.10.30 | CASA , Featured, Public/media

ACM SIGPLAN Distinguished Paper Award to Adamsen and Møller

Congratulations to Christoffer Quist Adamsen and Anders Møller who have received ACM SIGPLAN Distinguished Paper Award at OOPSLA 2017 for the paper Practical Initialization Race Detection for JavaScript Web Applications. The paper is written in co-operation with Frank Tip.

Yue Li & Tian Tan

2017.09.12 | CASA , People , Featured, Public/media

Welcome to two new postdocs

On September 11, Tian Tan and Yue Li joined the CASA team as Postdocs supervised by Anders Møller. Both have a PhD degree in Computer Science from University of New South Wales, Australia. In their spare time Tian enjoy swimming, fitness, playing volleyball, and so on, but my favorite sport is always basketball, while Yue enjoys playing…

Simon Gregersen

2017.08.01 | CASA , Public/media, People

New PhD student: Simon Gregersen

On August 1, Simon Gregersen joins the groups as a PhD student. Simon obtained his Bachelor's degree in Computer Science from Aarhus University in July 2017, and will be undertaking his PhD studies in the CASA group supervised by Anders Møller. Prior to his enrollment, Simon worked as a student programmer in the same group…

2017.06.23 | CASA , Awards, People

Distinguished Reviewer Award to Anders Møller

At the 2017 ACM SIGPLAN conference on Programming Language Design and Implementation in Barcelona, Anders Møller was rewarded with the Distinguished Reviewer Award.

2017.04.18 | CASA , Awards

2017 Google PhD Fellowship to Christoffer Quist Adamsen

Congratulations to PhD student Christoffer Quist Adamsen from the Programming Languages research group on receiving the 2017 Google PhD fellowship. 33 promising PhD students from North America, Europe and the Middle East have been nominated for the Google fellowship.

Nada Amin

2017.04.06 | Lecture / talk, CASA

Talk by Nada Amin on Safety Net and Springboard, April 10

Abstract: A scalable programming language is one in which the same concepts can describe small as well as large parts. Towards this goal, the Scala programming language unifies concepts from object and module systems...

2017.03.17 | CASA , People

Anders Møller appointed Professor at Aarhus University

Anders Møller (41) has been appointed professor at the Department of Computer Science as of 1 April. His appointment will be celebrated on 5 May 2017 with an inaugural lecture followed by a reception at the department.

2017.01.27 | People , CASA

New student programmer at CASA

On February 1, Simon Gregersen joins the CASA team as a Student Programmer. I'm currently pursuing my bachelor's degree in computer science at the department, finishing this summer. I am very much looking forward to assisting the CASA group to learn, explore, and enjoy the wonders of programming languages! When not messing around with…

2017.01.10 | CASA , Featured, Public/media, CS frontpage

Talk by Maria Christakis, University of Kent, January 23

Abstract: Most static program analysis techniques do not fully verify all possible executions of a program. They leave executions unverified when they do not check certain properties, fail to verify properties, or check properties under certain unsound assumptions, such as the absence of arithmetic overflow...

2017.01.02 | CASA , Featured, Public/media

"Inference and Evolution of TypeScript Declaration Files" is accepted at FASE 2017.

TypeScript is a typed extension of JavaScript that has become widely used. More than 2000 JavaScript libraries now have publicly available TypeScript declaration files, which allows the libraries to be used when programming TypeScript applications. Such declaration files are written manually, however, and they are often lagging behind the…

Showing results 11 to 20 of 113

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