Department of Computer Science

• Published

  Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation

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

• Published

  Eliminating abstraction overhead of Java stream pipelines using ahead-of-time program optimization

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Conference article › Research › peer-review

View all (2) »