Group Publications

  1. Abstract Specifications for Concurrent Maps

    Proceedings of the 26th European Symposium on Programming (ESOP)

  2. Fault-tolerant Resource Reasoning

    Proceedings of the 13th Asian Symposium on Programming Languages and Systems (APLAS)

  3. Reasoning about the POSIX File System: Local Update and Global Pathnames

    Proceedings of the 30th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)

  4. Local Reasoning for the POSIX File System

    Proceedings of the 23rd European Symposium on Programming (ESOP)