Publications

Postprints and bibliographic data of papers I have co-authored are available below.

You can also check out my listings on DBLP, Google Scholar, ORCID, or ResearcherID.

2017

SafeGPU: Contract- and Library-Based GPGPU for Object-Oriented Languages
A. Kolesnichenko, C.M. Poskitt, and S. Nanz
Computer Languages, Systems & Structures 48:68-88, 2017
 ◊ BibTeX ◊ ETH E-Collection ◊ Elsevier Version

2016

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs
C. Corrodi, A. Heußner, and C.M. Poskitt
In Proc. International Conference on Fundamental Approaches to Software Engineering (FASE 2016), volume 9633 of LNCS, pages 31-48. Springer, 2016
 ◊ BibTeX ◊ ETH E-Collection ◊ arXiv Version ◊ Springer Version
Invited for submission to the Formal Aspects of Computing journal

An Interference-Free Programming Model for Network Objects
M. Schill, C.M. Poskitt, and B. Meyer
In Proc. International Conference on Coordination Models and Languages (COORDINATION 2016), volume 9686 of LNCS, pages 227-244. Springer, 2016
 ◊ BibTeX ◊ ETH E-Collection ◊ arXiv Version ◊ Springer Version

Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation
Y. Chen, C.M. Poskitt, and J. Sun
In Proc. International Symposium on Formal Methods (FM 2016), volume 9995 of LNCS, pages 155-163. Springer, 2016
 ◊ BibTeX ◊ arXiv Version ◊ Springer Version

2015

Contract-Based General-Purpose GPU Programming
A. Kolesnichenko, C.M. Poskitt, S. Nanz, and B. Meyer
In Proc. International Conference on Generative Programming: Concepts and Experiences (GPCE 2015), pages 75-84. ACM, 2015
 ◊ BibTeX ◊ ETH E-Collection ◊ arXiv Version ◊ ACM Version
Invited for submission to the Computer Languages, Systems and Structures journal

Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model
A. Heußner, C.M. Poskitt, C. Corrodi, and B. Morandi
In Proc. Graphs as Models (GaM 2015), volume 181 of Electronic Proceedings in Theoretical Computer Science, pages 32-47, 2015
 ◊ BibTeX ◊ ETH E-Collection ◊ EPTCS Version ◊ EPTCS Proceedings

The AutoProof Verifier: Usability by Non-Experts and on Standard Code
C.A. Furia, C.M. Poskitt, and J. Tschannen
In Proc. Formal Integrated Development Environment (F-IDE 2015), volume 187 of Electronic Proceedings in Theoretical Computer Science, pages 42-55, 2015
 ◊ BibTeX ◊ ETH E-Collection ◊ EPTCS Version ◊ EPTCS Proceedings

2014

Verifying Monadic Second-Order Properties of Graph Programs
C.M. Poskitt and D. Plump
In Proc. International Conference on Graph Transformation (ICGT 2014), volume 8571 of LNCS, pages 33-48. Springer, 2014
 ◊ BibTeX ◊ Extended Version (arXiv) ◊ Springer Version

Towards Rigorously Faking Bidirectional Model Transformations
C.M. Poskitt, M. Dodds, R.F. Paige, and A. Rensink
In Proc. Workshop on the Analysis of Model Transformations (AMT 2014), volume 1277 of CEUR Workshop Proceedings, pages 70-75. CEUR-WS.org, 2014
 ◊ BibTeX ◊ ETH E-Collection ◊ Workshop Proceedings

2013

Verification of Graph Programs
C.M. Poskitt
PhD thesis, University of York, 2013
 ◊ BibTeX ◊ White Rose eTheses Online

Using Contracts to Guide the Search-Based Verification of Concurrent Programs
C.M. Poskitt and S. Poulding
In Proc. International Symposium on Search-Based Software Engineering (SSBSE 2013), volume 8084 of LNCS, pages 263-268. Springer, 2013
 ◊ BibTeX ◊ ETH E-Collection ◊ Springer Version

Applying Search in an Automatic Contract-Based Testing Tool
A. Kolesnichenko, C.M. Poskitt, and B. Meyer
In Proc. International Symposium on Search-Based Software Engineering (SSBSE 2013), volume 8084 of LNCS, pages 318-323. Springer, 2013
 ◊ BibTeX ◊ ETH E-Collection ◊ Springer Version

Verifying Total Correctness of Graph Programs
C.M. Poskitt and D. Plump
In Selected Revised Papers, Graph Computation Models (GCM 2012). Electronic Communications of the EASST 61, 2013
 ◊ BibTeX ◊ ETH E-Collection ◊ ECEASST Volume

2012

Hoare-Style Verification of Graph Programs
C.M. Poskitt and D. Plump
Fundamenta Informaticae 118(1-2):135-175, 2012
 ◊ Errata ◊ BibTeX ◊ IOS Press Version

Verification of Graph Programs (Extended Abstract)
C.M. Poskitt
In Proc. International Conference on Graph Transformation (ICGT 2012), volume 7562 of LNCS, pages 420-422. Springer, 2012
 ◊ BibTeX ◊ Springer Version

2011

Proceedings of the Fourth York Doctoral Symposium on Computer Science (YDS 2011)
C.M. Poskitt (ed.)
Technical Report YCS-2011-468, Department of Computer Science, The University of York, 2011
 ◊ BibTeX

Preparing Future Academics Portfolio
C.M. Poskitt
Researcher Development Team, The University of York, 2011

2010

A Hoare Calculus for Graph Programs
C.M. Poskitt and D. Plump
In Proc. International Conference on Graph Transformation (ICGT 2010), volume 6372 of LNCS, pages 139-154. Springer, 2010
 ◊ BibTeX ◊ Springer Version ◊ Won K M Stott Memorial Prize (best York CS student paper, 2010)

Hoare Logic for Graph Programs
C.M. Poskitt and D. Plump
In Proc. Theory Workshop at the International Conference on Verified Software: Theories, Tools, and Experiments (VS-THEORY 2010). 2010
 ◊ BibTeX ◊ Workshop Proceedings