Profile

Cover photo
Chris Poskitt
Works at ETH Zurich
Attended University of York
Lives in Zurich, Switzerland
278 followers|29,929 views
AboutPostsPhotosVideos

Stream

Chris Poskitt

Shared publicly  - 
 
 
QA Engineer walks into a bar. Orders a beer. Orders 0 beers. Orders 999999999 beers. Orders a lizard. Orders -1 beers. Orders a sfdeljknesv.
2 comments on original post
1
Add a comment...

Chris Poskitt

Shared publicly  - 
 
The world is losing its only enclave surrounded by an enclave surrounded by an enclave surrounded by another state (via +Susan Stepney):
Dahala Khagrabari was a part of India, surrounded by a Bangladeshi enclave, which was surrounded by an Indian enclave, which was surrounded by Bangladesh.
1
Add a comment...

Chris Poskitt

Shared publicly  - 
 
What's verification for? Avoid faulty rockets, change mindsets about reliability, or find errors at a glance?
1
Add a comment...

Chris Poskitt

Shared publicly  - 
 
 
An interesting and educational new way to play Tetris.
Tetris is one of the best-known computer games ever made. It's easy to play but hard to master, and it's based on a NP-hard problem. But that's not all that's difficult about it. Though it's a simple game that can be implemen...
1
Add a comment...

Chris Poskitt

Shared publicly  - 
 
Dimensions in program verification (or: "just remember the cube").
I'm very glad to host a guest post by Nadia Polikarpova, a recent PhD graduate of our group on her way to a post-doctoral position at MIT. Nadia is definitely into bug counting, even though her ultimate ambitions are more of exterminating them (for the casual reader: we're talking about software ...
1
Add a comment...

Chris Poskitt

Shared publicly  - 
 
My colleague - Carlo A. Furia - has just launched a blog devoted to software verification research, as well as some more general topics in academia and computer science. It'll certainly be worth subscribing to.
1
Add a comment...
In his circles
361 people
Have him in circles
278 people
Md Imran's profile photo
G Vain's profile photo
Jay Jerry's profile photo
Mihail Dimitrov's profile photo
Mike Dodds's profile photo
Harry Mills's profile photo
Jeremy Jacob's profile photo
Flipper C's profile photo
Benjamin Russell's profile photo

Chris Poskitt

Shared publicly  - 
 
The preprint of our GPCE / SPLASH 2015 paper on contract-based object-oriented GPU programming is now online:
1
Add a comment...

Chris Poskitt

Shared publicly  - 
 
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!
1
Alex Williams's profile photo
 
I love mechanisms like this. Very interesting :)
Add a comment...

Chris Poskitt

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

Chris Poskitt

Shared publicly  - 
 
Zurich: Where People Are Welcome and Cars Are Not

http://vimeo.com/108884155
1
Add a comment...

Chris Poskitt

Shared publicly  - 
 
New paper on how to "fake" bidirectional model transformations in Epsilon, and our proposed approach for verifying consistency-preservation.
The general problem of maintaining consistency between two related sources of information is recurrent across computer science, surfacing in communities as diverse as database management (e.g. the ...
1
Add a comment...

Chris Poskitt

Shared publicly  - 
 
A new paper on verifying "non-local" properties of graph transformation systems.
1
Add a comment...
People
In his circles
361 people
Have him in circles
278 people
Md Imran's profile photo
G Vain's profile photo
Jay Jerry's profile photo
Mihail Dimitrov's profile photo
Mike Dodds's profile photo
Harry Mills's profile photo
Jeremy Jacob's profile photo
Flipper C's profile photo
Benjamin Russell's profile photo
Work
Occupation
Postdoctoral Researcher in Software Engineering
Employment
  • ETH Zurich
    Postdoctoral Researcher, 2013 - present
  • IGN Entertainment
    Producer, 2005 - 2012
Places
Map of the places this user has livedMap of the places this user has livedMap of the places this user has lived
Currently
Zurich, Switzerland
Previously
York, England - Munich, Germany - Bessacarr, Doncaster, England - Napier, New Zealand - Wairoa, New Zealand - Wickford, England
Story
Tagline
Postdoctoral Researcher at ETH Zürich
Education
  • University of York
    PhD Computer Science, 2009 - 2013
  • University of York
    BSc (Hons) Computer Science, 2006 - 2009
Basic Information
Gender
Male