Local Reasoning for the POSIX File System. - Philippa Gardner; Gian Ntzik; Adam Wright (ESOP, 2014)

Fault-Tolerant Resource Reasoning. - Gian Ntzik; Pedro da Rocha Pinto; Philippa Gardner (APLAS, 2015)

Reasoning about the POSIX file system: local update and global pathnames. - Gian Ntzik; Philippa Gardner (OOPSLA, 2015)

Reasoning about POSIX file systems. - Gian Ntzik (2016)

Abstract Specifications for Concurrent Maps. - Shale Xiong; Pedro da Rocha Pinto; Gian Ntzik; Philippa Gardner (ESOP, 2017)

A Concurrent Specification of POSIX File Systems. - Gian Ntzik; Pedro da Rocha Pinto; Julian Sutherland; Philippa Gardner (ECOOP, 2018)