Verified Software

Gian was a PhD student and Post Doc with the group. Gian defended his thesis Reasoning about POSIX File Systems in February 2017 and is currently working for Amadeus in systems development and research.

Group Publications

1. A Concurrent Specification of POSIX File Systems

   • Gian Ntzik
   • Pedro da Rocha Pinto
   • Julian Sutherland
   • Philippa Gardner

   Proceedings of the 32^nd European Conference on Object-Oriented Programming (ECOOP 2018).

2. Abstract Specifications for Concurrent Maps

   • Shale Xiong
   • Pedro da Rocha Pinto
   • Gian Ntzik
   • Philippa Gardner

   Proceedings of the 26^th European Symposium on Programming (ESOP’17), pp. 964–990

3. Reasoning About POSIX File Systems

   • Gian Ntzik

   Ph.D. Thesis, Imperial College London

4. Fault-tolerant Resource Reasoning

   • Gian Ntzik
   • Pedro da Rocha Pinto
   • Philippa Gardner

   Proceedings of the 13^th Asian Symposium on Programming Languages and Systems (APLAS’15), pp. 169–188

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

   • Gian Ntzik
   • Philippa Gardner

   Proceedings of the 30^th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA’15), pp. 201–220

6. Local Reasoning for the POSIX File System

   • Philippa Gardner
   • Gian Ntzik
   • Adam Wright

   Proceedings of the 23^rd European Symposium on Programming (ESOP’14), pp. 169–188