Gilles Peskine
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
1
Active years
2003–2007
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | ICFP | Ott: effective tool support for the working semanticist. | Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa |
| 2003 | ICFP | Global abstraction-safe marshalling with hash types. | James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough |