Philippe Wang

Publication Activity (10 Years)

Years Active: 2008-2020
Publications (10 Years): 1

Top Topics

Image Sequences

Hardware And Software

Top Venues

Pierre and Marie Curie University, Paris, France (PHD)

Education History

Pierre and Marie Curie University, Paris, France

PHD

Publications

Mathias Bourgoin, Benjamin Canou, Emmanuel Chailloux, Adrien Jonquet, Philippe Wang
Objective Caml for Multicore Architectures. CoRR (2020)
Benoît Vaugon, Philippe Wang, Emmanuel Chailloux
Programming Microcontrollers in OCaml: The OCaPIC Project. PADL (2015)
Philippe Wang, Adrien Jonquet, Emmanuel Chailloux
Non-Intrusive Structural Coverage for Objective Caml. Electron. Notes Theor. Comput. Sci. 264 (4) (2011)
Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework. ICFP (2009)
Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang
Certified Development Tools Implementation in Objective Caml. PADL (2008)