Benjamin Monate
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2009–2010
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | LPAR | Infinite Families of Finite String Rewriting Systems and Their Confluence. | Jean-Pierre Jouannaud, Benjamin Monate |
| 2009 | ICFP | Experience report: OCaml for an industrial-strength static analysis framework. | Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Graud Canet, Loc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti |
| 2009 | SCAM | A Value Analysis for C Programs. | Graud Canet, Pascal Cuoq, Benjamin Monate |