BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × USA
Collaborated with:
P.Gardner P.d.R.Pinto A.Wright S.Xiong J.Sutherland
Talks about:
system (3) posix (3) file (3) concurr (2) specif (2) reason (2) local (2) abstract (1) pathnam (1) global (1)

Person: Gian Ntzik

DBLP DBLP: Ntzik:Gian

Contributed to:

OOPSLA 20152015
ESOP 20142014
ESOP 20172017
ECOOP 20182018

Wrote 4 papers:

OOPSLA-2015-NtzikG #file system #reasoning
Reasoning about the POSIX file system: local update and global pathnames (GN, PG), pp. 201–220.
ESOP-2014-GardnerNW #file system #reasoning
Local Reasoning for the POSIX File System (PG, GN, AW), pp. 169–188.
ESOP-2017-XiongPNG #concurrent #specification
Abstract Specifications for Concurrent Maps (SX, PdRP, GN, PG), pp. 964–990.
ECOOP-2018-NtzikPSG #concurrent #file system #specification
A Concurrent Specification of POSIX File Systems (GN, PdRP, JS, PG), p. 28.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.