Philippe Wang's homepage
About
2010
I am a PhD candidate in Computer Science, in the “Algorithms, Programs and Resolution” team (APR) of the Computer Science laboratory of Paris 6 (LIP6). My advisor is Pr. Emmanuel Chailloux. And my research is about Programming Languages and Abstract Machines. It applies to non-intrusive code coverage techniques, aiming at improving traceability activities of safety-critical software development.
2010-2011 - Attaché Temporaire d'Enseignement et de Recherche (ATER) / Teaching Assistant.
2006-2011 - I'm (still) a member of the executive board of the Association of computer science students of Paris 6 (AEIP6).
Formerly
2007-2010 - Allocataire de recherche.
2007-2010 - Teaching assistant in computer science (“moniteurs” in French), .
2007-2010 - Delegate of CIES Jussieu's “DS9” (computer science) teaching assistants (“moniteurs” in French).
2006-2008 - Secretary of the Association of computer science students of Paris 6 (AEIP6).
I have a Master's degree (2007) and a Bachelor's degree (2005) in Computer Science, from Université Pierre et Marie Curie (formerly called “Université Paris 6”).
I have a “Certificat de Compétences en Langues de l'Enseignement Supérieur 2 (CLES 2)” in English, which corresponds to the B2 European level (2007).
I also have a “Baccalauréat Scientifique, spécialité Physique-Chimie” (2002).
I even have a “Brevet des Collèges” (1999).
Links
Groupe de Travail "Programmation"projet couverture(description)
Institut de Formation DoctoraleUPMC
Inscription en Doctorat niveau 1 en 2007/2008 à l'UPMC
AEIP6
UPMCEDITE de ParisCIES Jussieu
Master Info2005/20062006/20072007/20082008/2009
MPRI
Licence Info2005/20062006/20072007/20082008/2009
Collège de France
Wikipedia (en)Wikipédia (fr)
my personal web site (philippewang.info)camltotexMes Recettes de Cuisine
PLOP Team (ICFP Programming Contest 2006)
99 bottles of beer
Keeping your paper within the page limit
Principes et Programmation des Systèmes d'exploitation en Objective Caml (here in English)
Teaching
I am (or will be, starting September 1st, 2010) “Attaché Temporaire d'Enseignement et de Recherche” (which is often translated as “Teaching Assistant”)
2010/2011
LI220-2010oct - Programmation et Données Génériques
langage utilisé : Objective CamlTravaux Dirigés et Travaux sur Machines Encadrés
MI016-2010oct - Implantation des langages de programmation
langages utilisés : Java, CTravaux Dirigés et Travaux sur Machines Encadrés
LI101-2010oct Programmation récursive
langage utilisé : SchemeTravaux Dirigés et Travaux sur Machines Encadrés
...
......
I was a “Teaching Assistant” (“Moniteur” in French).
2009/2010
LI220-2009oct - Programmation et Données Génériques
langage utilisé : Objective CamlTravaux Dirigés et Travaux sur Machines Encadrés (~47h)
MI019-2009oct - Programmation Concurrente, Réactive et Répartie
thèmes : POSIX threads & Fair threads (C + OCaml), Threads (Java), ...Travaux Dirigés et Travaux sur Machines Encadrés (~17h)
2008/2009
LI313-2008oct - Modèles de Programmation Séquentielle en Objective Caml
langage utilisé : Objective CamlTravaux Dirigés et Travaux sur Machines Encadrés
LI362-2008oct - Environnement de Développement
outils utilisés : bash, make, svn, ...Travaux Dirigés et Travaux sur Machines Encadrés
LI101-2008oct - Programmation Récursive
langage utilisé : Dr SchemeTutorat : 10 séances de 2 heures
2007/2008
This year (2007/2008) I taught Scheme, OCaml, 8086 Assembly, Java, Bash, HTML, ... mainly to undergraduate students.LI101-2007oct - Programmation Récursive
langage utilisé : Dr Scheme24 séances de Travaux sur Machines Encadrés
LI105-2007oct - De la Puce au Web
langages utilisés : asm8086, bash, java, html12+1 séances de Travaux sur Machines Encadrés
LI213-2007oct - Types et Structures de Données
langage utilisé : Objective Caml11 séances de Travaux sur Machines Encadrés
LI313-2007oct - Modèles de Programmation Séquentielle en Objective Caml
langage utilisé : Objective Camlrédaction et correction du devoir de programmation
MI019-2007oct - Programmation Concurrente, Réactive et Répartie
langage utilisé : Objective Caml, avec utilisation de la bibliothèque Thread1 séance de Travaux sur Machines Encadrés
Projects
... some of the projects I'm involved in...
Projet Couverture (2008-2010)
“Project Coverage” brings Free Software code coverage tools. My contribution takes part in the sub-project which brings Zamcov. The latter is a tool for Objective Caml code coverage. Its particularity is that it is non-intrusive:
the binary used for generating code coverage reports is
the same as the binary for functional testing, it's not rewritten. An OCaml virtual machine is used to generate bytecode-instruction traces, which are analyzed after execution. By opposition, MLcov [4, 9, 12, 13, 14] is an Objective Caml code coverage tool which is intrusive:
it instruments (rewrites) the code to generate execution traces for a post-execution analyser.
N.B. Zamcov's Objective Caml virtual machine is implemented in Objective Caml.
Other people involved in Zamcov: Emmanuel Chailloux, Adrien Jonquet, Alexis Darrasse, Mathias Bourgoin.
OCaml for Multicore (2008-now)
“OCaml for Multicore” brings parallel threads to Objective Caml. To do so, it provides an alternative runtime library which contains a memory management system (allocator and collector) that allows threads to access the heap in parallel. The issue being that INRIA's official distribution doesn't allow parallel heap accesses, thus prevents in most cases threads to run in parallel (since they usually all need to access the heap).
OCaml for PIC (2010)
I supervised a project which provides a mean to run Objective Caml code on PIC. (website with open-source distribution soon)
Change the world (lifetime)
Quitte à changer le monde, autant le rendre meilleur. En tout cas, essayer de le rendre meilleur...
installtuareg.sh A script to install emacs tuareg-mode for OCaml (by myself)
memo_ocaml.pdf A memo for (a subset of) OCaml
mlcov Code coverage tool with MC/DC analysis, for OCaml (by Esterel Technologies)
OCaml for Multicore Runtime library patch to OCaml 3.10.2 to allow parallel threads in OCaml
imgcmp command line tool for image comparison (not yet available)
References
Talks
- [1] OC4MC : OCaml for MultiCore Architectures. 11 mars 2010, Université de Pau. GDR GPL GT “LAMHA”. Slides (PDF).
- [2] OC4MC : OCaml for MultiCore. 19 novembre 2009, PPS/Université Paris Diderot. Groupe de Travail “Programmation”. Slides (PDF).
- [3] OC4MC : OCaml for MultiCore. 21 Octobre 2009, LACL/Université Paris XII. Deuxième journée du GDR LTP. Slides (PDF).
- [4] Experience Report: Using Objective Caml to Develop Safety-Critical Embedded Tools in a Certification Framework. International Conference on Functional Programming 2009. Video / Slides (PDF). (paper [12])
- [5] OCaml for Multicore, June 15th 2009, The 2009 International Symposium on Memory Management. Slides (PDF).
- [6] Innovative MC/DC measurement method, PLDI 2009 Posters and Student Research Competition, Programming Language Design and Implementation 2009.Poster (PDF).
- [7] Fondements de l'informatique, ou Démystification de l'ordinateur. 31 mars 2009. Formation du CIES Jussieu (durée: 1 jour) pour doctorants moniteurs en 1ère année.
- [8] (présentation des travaux de thèse) Langages Applicatifs et Machines Abstraites pour la couverture de code non intrusive. 30 mai 2008. Guidel, École Jeunes Chercheurs en Programmation 2008.
- [9] Couverture de code Caml pour la réalisation d'outils de développement certifiés, Journées Francophones des Langages Applicatifs 2007. (paper [14])
Papers
- [10] Philippe Wang, Adrien Jonquet and Emmanuel Chailloux, Non Intrusive Structural Coverage for Objective Caml, In BYTECODE 2010, 5th Workshop on Bytecode Semantics, Verification, Analysis and Transformation.
- [11] (technical report) Mathias Bourgoin, Benjamin Canou, Emmanuel Chailloux, Adrien Jonquet and Philippe Wang, OC4MC: Objective Caml for Multicore Architectures, In International Symposium on Implementation and Application of Functional Languages 2009.
- [12] Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury and Jean-Louis Colaço, Experience Report: Using Objective Caml to Develop Safety-Critical Embedded Tools in a Certification Framework, In International Conference on Functional Programming 2009. Proceedings of the 14th ACM SIGPLAN international conference on Functional programming, pp. 215-220.http://doi.acm.org/10.1145/1596550.1596582 ISBN: 978-1-60558-332-7. (talk [4])
- [13] Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot and Philippe Wang, Certified development tools implementation in Objective Caml, In Practical Aspects of Declarative Languages 2008. Lecture Notes in Computer Science, vol. 4902, pp. 2-17. [pdflink 352kB]http://dx.doi.org/10.1007/978-3-540-77442-6_2© Springer-Verlag Berlin Heidelberg 2008.
- [14] Bruno Pagano, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço and Philippe Wang, Couverture de code Caml pour la réalisation d'outils de développement certifiés, In Journées Francophones des Langages Applicatifs 2007 [pdflink]. (talk [9])
- [15] Philippe Wang, Étude de l'interface MLGMP au niveau des problèmes de la gestion mémoire. Rapport d'étude de Master. (slides) [12/2006]
Contact
physical address
(new address, from May, 10th, 2010)Campus Jussieu
Université Pierre et Marie Curie (Paris 6)
Laboratoire d'Informatique de Paris 6 (LIP6 - UMR 7606)
Couloir 26-00, Étage 3, Pièce 325
4 place Jussieu
75252 PARIS cedex 05
postal address
Université Pierre et Marie Curie (Paris 6)Laboratoire d'Informatique de Paris 6 (LIP6 - UMR 7606)
Boîte Postale 169
4, place Jussieu
75005 Paris FRANCE
email address
sed sP-plop-P@Pg<<<Philippe.Wang-plop-lip6.frLife
We, human beings, are born to learn. We should never stop learning. We should never stop discovering. We should stop wanting to be idiots, even if “fashion” dictates idiocy. Because we are capable to learn, we shall learn. N.B. the brain can never be full so you can keep feeding it with information over and over, but it needs good sleep and good food.
Tools
This page contains multiple sections. Some JavaScript & CSS make only a section be visible at a time.
Last update
This page (with multiple sections) was last updated on 2010/08/16 (revision 1.63).
Cryptographic hash: 143de2b03805dd163a75773d8026193e.
XHTML 1.0 generated by interpreting an Objective Caml program which contains all the data...