Christopher M. Poskitt - researchr profile

researchr

You are not signed in
Sign in
Sign up

I am a Postdoctoral Research Fellow at the Singapore University of Technology and Design. The overarching goal of my research is the advancement of theory, tools, and techniques for ensuring software correctness, with a special focus on evolving graph structures and concurrent object-oriented programs.

2016	-		:	Singapore University of Technology and Design
2013	-	2016	:	ETH Zürich
2009	-	2012	:	The University of York

SafeGPU: Contract- and library-based GPGPU for object-oriented languagesAlexey Kolesnichenko, Christopher M. Poskitt, Sebastian Nanz. Comp. Lang., Syst. \& Struct., 48:68-88, 2017. [doi]

Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code MutationYuqi Chen, Christopher M. Poskitt, Jun Sun 0001. FM 2016: 155-163 [doi]

A Graph-Based Semantics Workbench for Concurrent Asynchronous ProgramsClaudio Corrodi, Alexander Heußner, Christopher M. Poskitt. FASE 2016: 31-48 [doi]

An Interference-Free Programming Model for Network ObjectsMischael Schill, Christopher M. Poskitt, Bertrand Meyer. coordination 2016: 227-244 [doi]

The AutoProof Verifier: Usability by Non-Experts and on Standard CodeCarlo A. Furia, Christopher M. Poskitt, Julian Tschannen. In Proc. Formal Integrated Development Environment (F-IDE 2015). 2015: 42-55 [doi]

Towards Practical Graph-Based Verification for an Object-Oriented Concurrency ModelAlexander Heußner, Christopher M. Poskitt, Claudio Corrodi, Benjamin Morandi. In Proc. Graphs as Models (GaM 2015). 2015: 32-47 [doi]

graph-rewriting

logic programming

rewriting logic

runs on WebDSL