Benjamin Canou

Who am I ?

I work at UPMC/LIP6 as A.T.E.R. (temporary assistant professor). I obtained my PhD in Computer Science in 2011 at LIP6 (APR team) and PPS, on statically type-checked Web 2.0 programming under the direction of Emmanuel Chailloux and Vincent Balat. You can download the full document (in French), a black and white version (in French too) and the slides (also in French). I am a former student of ENS Cachan Bretagne and Paris 6 University.

Publications

Experience Report: Using Objective Caml to develop safety-critical embedded tool in a certificaiton framework Pagano B., Andrieu O., Moniot T., Canou B., Chailloux E., Wang P., Manoury P., Colaço J.-L. International Conference of Functional Programming (ICFP) 09
Fast and sound random generation for automated testing and benchmarking in Objective Caml Canou B., Darrasse A. Workshop on ML 09
O'Browser : Objective Caml on browsers Canou B., Balat V., Chailloux E. Workshop on ML 08
Certified development tools implementation in objective caml Pagano B., Andrieu O., Canou B., Chailloux E., Colaço J.-L., Moniot T., Wang P. International Symposium on Practical Aspects of Declarative Languages (PADL) 2008
Couverture de code Caml pour la réalisation d'outils de développement certifiés Pagano B., Canou B., Chailloux E., Colaço J.-L., Wang P. Journées Francophones des Langages Applicatifs (JFLA) 2007

Contact

email: benjamin.canou@gmail.com
office: Tour 26-00, Bureau 325, BP 169, 4 place Jussieu, 75252 Paris CEDEX
office phone: 01 44 27 88 16
XMPP (jabber, gtalk): benjamin.canou@gmail.com

O'Browser

O'Browser is an O'Caml virtual machine, written in JavaScript, so you can write O'Caml programs, compile them with the standard O'Caml compiler, and run them in your Web browser.

download O'Browser

ML Workshop 2008 distribution (outdated) : obrowser-0.1.tar.bz2 (online tutorial and examples)
Darcs repository at ocsigen.org
A new version is on its way.

example (requires an HTML5 browser)

Int64.js

64-bit integer emulation in JavaScript (download Int64.js).

2011 / 2012

(M2) Cours d'Architecture des Applications Réticulaires
(M1) Programmation Réactive, Concurrente et Répartie
(M1) Cours de Compilation Avancée
(L3) Modèles de Programmation et Intéropérabilité des langages (home page)
(L2) Programmation et Données Génériques (home page)
(M1) Encadrement de PSTL (Projet de Master 1 STL de l'université Paris 6)

2010 / 2011

(L3) Modèles de Programmation et Intéropérabilité des langages (home page)
(M1) Programmation Réactive, Concurrente et Répartie (home page)
(M1) Cours de Compilation Avancée (cours 1, 2, 3, pas de 4, 5, ml2java)
(M1) Encadrement de PSTL (Projet de Master 1 STL de l'université Paris 6)

2009 / 2010

(L3) Modèles de Programmation et Intéropérabilité des langages (home page, resources)
(L2) Programmation et Données Génériques (home page)
(M1) Programmation Réactive, Concurrente et Répartie (home page)
(M1) Encadrement de PSTL (Projet de Master 1 STL de l'université Paris 6)

2008 / 2009

(L1) De la Puce au Web (home page)
(L3) Modèles de Programmation Séquentielle en Objective Caml (home page)
(L3) Environnement de Développement (home page)
(M1) Programmation Réactive, Concurrente et Répartie (home page)
(M1) Encadrement de PSTL (Projet de Master 1 STL de l'université Paris 6)

2007 / 2008

(L1) De la Puce au Web (home page)
(L3) Modèles de Programmation Séquentielle en Objective Caml (home page)
(M1) Encadrement de Stage d'été, OSP (Jane Street Capital Ocaml Summer Project : Ocaml 4 MultiCore)