Pierre Neron
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2011–2016
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | PEPM | A constraint language for static semantic analysis based on scope graphs. | Hendrik van Antwerpen, Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth |
| 2015 | ESOP | A Theory of Name Resolution. | Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth |
| 2014 | OOPSLA | A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs. | Eelco Visser, Guido Wachsmuth, Andrew P. Tolmach, Pierre Neron, Vlad A. Vergu, Augusto Passalaqua, Gabril Konat |
| 2014 | PPDP | Elimination of Square Roots and Divisions by Partial Inlining. | Pierre Neron |
| 2013 | ITP | Square Root and Division Elimination in PVS. | Pierre Neron |
| 2012 | CPP | A Formal Proof of Square Root and Division Elimination in Embedded Programs. | Pierre Neron |
| 2011 | CARDIS | A Formal Security Model of a Smart Card Web Server. | Pierre Neron, Quang-Huy Nguyen |