Gian Ntzik

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 2

Top Topics

Mutual Exclusion

Storage Systems

Top Venues

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Gian Ntzik, Pedro da Rocha Pinto, Julian Sutherland, Philippa Gardner
A Concurrent Specification of POSIX File Systems. ECOOP (2018)
Shale Xiong, Pedro da Rocha Pinto, Gian Ntzik, Philippa Gardner
Abstract Specifications for Concurrent Maps. ESOP (2017)
Gian Ntzik, Philippa Gardner
Reasoning about the POSIX file system: local update and global pathnames. OOPSLA (2015)
Gian Ntzik, Pedro da Rocha Pinto, Philippa Gardner
Fault-Tolerant Resource Reasoning. APLAS (2015)
Philippa Gardner, Gian Ntzik, Adam Wright
Local Reasoning for the POSIX File System. ESOP (2014)