Gian Ntzik

According to our database, Gian Ntzik authored at least 6 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

A Concurrent Specification of POSIX File Systems.

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

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017

Abstract Specifications for Concurrent Maps.

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

Proceedings of the Programming Languages and Systems, 2017

2016

Reasoning about POSIX file systems.

Gian Ntzik

PhD thesis, 2016

2015

Reasoning about the POSIX file system: local update and global pathnames.

Gian Ntzik, Philippa Gardner

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Fault-Tolerant Resource Reasoning.

Gian Ntzik, Pedro da Rocha Pinto, Philippa Gardner

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

Local Reasoning for the POSIX File System.

Philippa Gardner, Gian Ntzik, Adam Wright

Proceedings of the Programming Languages and Systems, 2014