Paul Govereau
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2005–2011
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | PLDI | Evaluating value-graph translation validation for LLVM. | Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett |
| 2008 | ICFP | Ynot: dependent types for imperative programs. | Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal |
| 2005 | ICFP | An expressive language of signatures. | Norman Ramsey, Kathleen Fisher, Paul Govereau |