Philippe Wang

According to our database, Philippe Wang authored at least 6 papers between 2008 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Objective Caml for Multicore Architectures.

Mathias Bourgoin, Benjamin Canou, Emmanuel Chailloux, Adrien Jonquet, Philippe Wang

CoRR, 2020

2015

Programming Microcontrollers in OCaml: The OCaPIC Project.

Benoît Vaugon, Philippe Wang, Emmanuel Chailloux

Proceedings of the Practical Aspects of Declarative Languages, 2015

2012

Langages Applicatifs et Machines Abstraites pour la Couverture de Code Structurelle. (Applicative Languages and Abstract Machines for Structural Code Coverage).

Philippe Wang

PhD thesis, 2012

2010

Non-Intrusive Structural Coverage for Objective Caml.

Philippe Wang, Adrien Jonquet, Emmanuel Chailloux

Proceedings of the Fifth Workshop on Bytecode Semantics, 2010

2009

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 Colaço

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008

Certified Development Tools Implementation in Objective Caml.

Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang

Proceedings of the Practical Aspects of Declarative Languages, 2008