BibTeX records: Gian Ntzik

• > Home > Persons > Gian Ntzik

@inproceedings{DBLP:conf/ecoop/NtzikPSG18,
  author       = {Gian Ntzik and
                  Pedro da Rocha Pinto and
                  Julian Sutherland and
                  Philippa Gardner},
  editor       = {Todd D. Millstein},
  title        = {A Concurrent Specification of {POSIX} File Systems},
  booktitle    = {32nd European Conference on Object-Oriented Programming, {ECOOP} 2018,
                  July 16-21, 2018, Amsterdam, The Netherlands},
  series       = {LIPIcs},
  volume       = {109},
  pages        = {4:1--4:28},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2018.4},
  doi          = {10.4230/LIPICS.ECOOP.2018.4},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/NtzikPSG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/XiongPNG17,
  author       = {Shale Xiong and
                  Pedro da Rocha Pinto and
                  Gian Ntzik and
                  Philippa Gardner},
  editor       = {Hongseok Yang},
  title        = {Abstract Specifications for Concurrent Maps},
  booktitle    = {Programming Languages and Systems - 26th European Symposium on Programming,
                  {ESOP} 2017, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
                  2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10201},
  pages        = {964--990},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-662-54434-1\_36},
  doi          = {10.1007/978-3-662-54434-1\_36},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/XiongPNG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/ethos/Ntzik16,
  author       = {Gian Ntzik},
  title        = {Reasoning about {POSIX} file systems},
  school       = {Imperial College London, {UK}},
  year         = {2016},
  url          = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.718428},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Ntzik16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aplas/NtzikPG15,
  author       = {Gian Ntzik and
                  Pedro da Rocha Pinto and
                  Philippa Gardner},
  editor       = {Xinyu Feng and
                  Sungwoo Park},
  title        = {Fault-Tolerant Resource Reasoning},
  booktitle    = {Programming Languages and Systems - 13th Asian Symposium, {APLAS}
                  2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9458},
  pages        = {169--188},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26529-2\_10},
  doi          = {10.1007/978-3-319-26529-2\_10},
  timestamp    = {Fri, 04 Mar 2022 17:17:35 +0100},
  biburl       = {https://dblp.org/rec/conf/aplas/NtzikPG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/NtzikG15,
  author       = {Gian Ntzik and
                  Philippa Gardner},
  editor       = {Jonathan Aldrich and
                  Patrick Eugster},
  title        = {Reasoning about the {POSIX} file system: local update and global pathnames},
  booktitle    = {Proceedings of the 2015 {ACM} {SIGPLAN} International Conference on
                  Object-Oriented Programming, Systems, Languages, and Applications,
                  {OOPSLA} 2015, part of {SPLASH} 2015, Pittsburgh, PA, USA, October
                  25-30, 2015},
  pages        = {201--220},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2814270.2814306},
  doi          = {10.1145/2814270.2814306},
  timestamp    = {Wed, 23 Jun 2021 16:58:51 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/NtzikG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/GardnerNW14,
  author       = {Philippa Gardner and
                  Gian Ntzik and
                  Adam Wright},
  editor       = {Zhong Shao},
  title        = {Local Reasoning for the {POSIX} File System},
  booktitle    = {Programming Languages and Systems - 23rd European Symposium on Programming,
                  {ESOP} 2014, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13,
                  2014, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8410},
  pages        = {169--188},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54833-8\_10},
  doi          = {10.1007/978-3-642-54833-8\_10},
  timestamp    = {Thu, 14 Oct 2021 10:31:33 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/GardnerNW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}