Gian Ntzik, Phd student and Post Doc with the group.
Proceedings of the 26th European Symposium on Programming (ESOP’17), pp. 964–990
Ph.D. Thesis, Imperial College London
Proceedings of the 13th Asian Symposium on Programming Languages and Systems (APLAS’15), pp. 169–188
Proceedings of the 30th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA’15), pp. 201–220
Proceedings of the 23rd European Symposium on Programming (ESOP’14), pp. 169–188