Philippe Wang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2008–2015
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | PADL | Programming Microcontrollers in OCaml: The OCaPIC Project. | Benot Vaugon, Philippe Wang, Emmanuel Chailloux |
| 2009 | ICFP | Experience report: using objective caml to develop safety-critical embedded tools in a certification framework. | Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colao |
| 2008 | PADL | Certified Development Tools Implementation in Objective Caml. | Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colao, Thomas Moniot, Philippe Wang |