Department of Computer Science

• Published

  ArtForm: A Tool for Exploring the Codebase of Form-based Websites

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings

• Published

  Inference and Evolution of TypeScript Declaration Files

  Research output: Contribution to book/anthology/report/proceeding › Book chapter

• Published

  Repairing Event Race Errors by Controlling Nondeterminism

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings

View all (80) »

• 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) »