Department of Computer Science

• Published

  Message safety in Dart

  Publication: Research - peer-review › Journal article

• Published

  Type unsoundness in practice: An empirical study of dart

  Publication: Research - peer-review › Article in proceedings

• Published

  Type safety analysis for dart

  Publication: Research - peer-review › Article in proceedings

View all (71) »

• International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2016 (Program Committee member)

  Activity: Participating in or organising an event › Organisation of or participation in conference

• International Conference on the Principles and Practice of Programming in Java, PPPJ 2016 (Program Committee member)

  Activity: Participating in or organising an event › Organisation of or participation in conference

• European Conference on Object-Oriented Programming, ECOOP 2016 (External Review Committee member)

  Activity: Participating in or organising an event › Organisation of or participation in conference

View all (78) »

• Static Analysis for Dynamic Languages (Sapere Aude, DFF-Forskningsleder)

  Prize: Prizes, scholarships, distinctions

• Tools for Rich Internet Applications

  Prize: Prizes, scholarships, distinctions

• Verification of Software Systems

  Prize: Prizes, scholarships, distinctions

View all (9) »