Gilles Peskine

According to our database, Gilles Peskine authored at least 2 papers between 2003 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2007

Ott: effective tool support for the working semanticist.

Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2003

Global abstraction-safe marshalling with hash types.

James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003