Profile cover photo
Profile photo
Chris Poskitt
264 followers -
Postdoctoral Researcher at ETH Zürich
Postdoctoral Researcher at ETH Zürich

264 followers
About
Chris's posts

Post has shared content
QA Engineer walks into a bar. Orders a beer. Orders 0 beers. Orders 999999999 beers. Orders a lizard. Orders -1 beers. Orders a sfdeljknesv.

Post has attachment
The preprint of our GPCE / SPLASH 2015 paper on contract-based object-oriented GPU programming is now online:

Post has attachment
The world is losing its only enclave surrounded by an enclave surrounded by an enclave surrounded by another state (via +Susan Stepney):

Post has attachment
We're working on verification for high-level concurrent/asynchronous languages and libraries, via automatic translation to GTS-based formal models, and model checking in GROOVE. Alexander Heußner, +Claudio Corrodi , Benjamin Morandi and I have attacked the first piece of the puzzle for such a language (Eiffel's SCOOP) in a new paper; but there is much still to do be done, and feedback on this early work is very welcome!

New draft paper about our work to integrate general-purpose GPU programming and design-by-contract. Feedback welcome! http://arxiv.org/pdf/1410.6685

Post has attachment
What's verification for? Avoid faulty rockets, change mindsets about reliability, or find errors at a glance?

Post has attachment
Zurich: Where People Are Welcome and Cars Are Not

http://vimeo.com/108884155

Post has shared content

Post has attachment
New paper on how to "fake" bidirectional model transformations in Epsilon, and our proposed approach for verifying consistency-preservation.

Post has attachment
Dimensions in program verification (or: "just remember the cube").
Wait while more posts are being loaded