Follow
Gian Ntzik
Gian Ntzik
Imperial College London
Verified email at imperial.ac.uk
Title
Cited by
Cited by
Year
Local reasoning for the POSIX file system
P Gardner, G Ntzik, A Wright
Programming Languages and Systems: 23rd European Symposium on Programming …, 2014
432014
Fault-tolerant resource reasoning
G Ntzik, P da Rocha Pinto, P Gardner
Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang …, 2015
272015
Reasoning about the POSIX file system: local update and global pathnames
G Ntzik, P Gardner
Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015
172015
A concurrent specification of POSIX file systems
G Ntzik, P da Rocha Pinto, J Sutherland, P Gardner
32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018
132018
Reasoning about POSIX file systems
G Ntzik
Imperial College London, 2016
132016
Abstract specifications for concurrent maps
S Xiong, PR Pinto, G Ntzik, P Gardner
Programming Languages and Systems: 26th European Symposium on Programming …, 2017
82017
The system can't perform the operation now. Try again later.
Articles 1–6