Aarhus University logo / Aarhus Universitets logo
On August 20, Jens Palberg will visit the group and give a talk about Jones-Optimal Partial Evaluation by Specialization-Safe Normalization in Nygaard-295 from 13:00-14:00.
On May 23, Christoffer Quist Adamsen will defend his PhD thesis entitled Automated Testing Techniques for Event-Driven and Dynamically Typed Programming Languages. The defense takes place at Department of Computer Science in Ada-333 from 13:00-15:00. All interested are welcome to join.
On April 4 and 5, Sergio Mover from University of Colorado will visit the CASA team. During the visit, Sergio will give a talk on Abstractions and Models to Design Safe Event-Driven Cyber-Physical Systems. The talk takes place in Nygaard-295 at 11:00 on April 4.
On March 15 and 16, Qirun Zhang from the Department of Computer Science at UC Davis will visit the CASA team. During the visit, Qirun will give an exicting talk on Practical Program Analysis: Principles and Techniques. The talk takes place in Ada-333 at 12:00 on March 15.
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.
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…
On August 1, Simon Gregersen joins the groups as a PhD student. Simon obtained his Bachelor's degree in Computer Science from Aarhus University…
At the 2017 ACM SIGPLAN conference on Programming Language Design and Implementation in Barcelona, Anders Møller was rewarded with the Distinguished…
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.
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...
Page 2 of 12.
