Julian is a PhD student with the group, currently working on extending concurrent separational logics such as TaDA to a total correctness semantics (termination).

Group Publications

  1. Modular Termination Verification for Non-blocking Concurrency

    Proceedings of the 25th European Symposium on Programming (ESOP’16), pp. 176–201