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 2018 (Program Committee member)

  Activity: Participation in or organisation af an event › Participation in or organisation af a conference

• International Symposium on Software Testing and Analysis, ISSTA 2018 (Program Committee member)

  Activity: Participation in or organisation af an event › Participation in or organisation of workshop, seminar or course

• The Web Conference 2018 - the Web Programming, Design, Analysis, and Implementation track (Program Committee member)

  Activity: Participation in or organisation af an event › Participation in or organisation af a conference

View all (89) »

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