Previous week Up Next week


Here is the latest Caml Weekly News, for the week of September 21 to 28, 2010.

  1. pfff_visual, a fancy code visualizer/navigator for OCaml, and more
  2. Postdoc vacancies in OUCL Information Systems Group
  3. post-doctoral position or 1-year graduate internship -- GUI for TLA+
  4. Other Caml News

pfff_visual, a fancy code visualizer/navigator for OCaml, and more


Yoann Padioleau announced:
It is my pleasure to announce pfff_visual, a code visualizer/navigator
for OCaml. Note that this is not a replacement for Emacs or vi, but more a
companion that works with Emacs/Vi.

A demo is available here:

pfff_visual is using pfff, which is mainly an OCaml API to write
static analysis, dynamic analysis, code visualizations, code
navigations, or style-preserving source-to-source transformations such
as refactorings on source code. For now the effort is focused on PHP
but there is preliminary support for Javascript, and C++ code.
There is also preliminary support for OCaml code so that the infrastructure
can be used on the code of pfff itself.

You can get the source of pfff and pfff_visual here:

Here is how to install it:
$ git clone
$ ./configure
$ make depend; make; make opt
$ ./pfff_visual /path/to/project/using/supported/languages

pfff has been tested on MacOS and Linux and is licensed under the LGPL.

Thanks to 
- Lex Stein for ocamlbdb
- Olivier Andrieu for ocamlcairo
- Jacques Garrigue for ocamlgtk
- Martin Jambon, Mika Illouz and Gert Stolpmann for lib-json
- Nicolas Canasse for lib-xml
- Jane Street for lib-sexp
- Thomas Gazagnaire for dynType
- Maas-Maarten Zeeman for
- Thorsten Ohl for
- Sylvain Conchon, Jean-Christophe Filliâtre and Julien Signoles for 
- Xavier Leroy for ocamlmpi
- Markus Mottl for ocamlpcre
- Iain Proctor for ocamlthrift
- Guillaume Cottenceau for pleac
Yoann Padioleau later added:
For the people who refuse to vomit while watching a video,
here are a few screenshots of the visualizer applied on the linux
kernel source, the ocaml source, and the source of pfff itself:

The screenshots can not show the integration with Emacs though.  You'll have
to suffer and watch the videos for that.

If you don't have git, you can still download pfff by following this link:

Postdoc vacancies in OUCL Information Systems Group


Ian Horrocks announced:



The Computing Laboratory has a vacancy for three postdoctoral research
assistants to work in the Information Systems Group. The posts are funded by
EPSRC as part of the LogMap project (1 post) and ExODA project (2 posts) - see and for more information. The posts are
available immediately and will be of 24 months (for LogMap) or 36 months (for
ExODA) duration.

Applicants should have, or expect shortly to obtain, a PhD in computer science
or some other relevant discipline, and should have a strong background in
theoretical computer science. Experience in some or all of the following areas
would be useful but is not essential: logics and automated reasoning;
databases and database theory; ontologies and ontology languages; knowledge
representation. Implementation experience would also be useful. The posts will
require occasional travel to international conferences and workshops.

The successful applicants will join an internationally leading and rapidly
growing research group led by Professor Georg Gottlob and Professor Ian
Horrocks - see - and with more than 25
doctoral and post-doctoral researchers working on a range of projects in the
area of databases and knowledge representation and reasoning.

Further particulars, including details of how to apply, are available from

The closing date for applications is 22nd October 2010.

post-doctoral position or 1-year graduate internship -- GUI for TLA+


Jean-Jacques Levy announced:
The Microsoft Research-INRIA Joint Centre welcomes applications for a
post-doctoral position or graduate internship in the area of tools for
interactive theorem proving. The 1-year scholarship can start from fall 2010.

The successful candidate will contribute to the development of the GUI of the
TLA+ proof system. TLA+ is Lamport's logic for specification and verification
of programs. The system is already developed and distributed at

The candidate should be able to program in Java + Eclipse. Knowledge in
mathematical logic is also recommended. The work will be performed inside the
"Tools for Formal Specs" group [Damien Doligez, Denis Cousineau, Leslie
Lamport, Stephan Merz] at MSR-INRIA Joint Centre in Orsay (south of Paris,
France). It will be a prolongation of the interface already developed by
Kaustuv Chaudury, Simon Zambrosky, and Dan Ricketts.

Applications should include a curriculum vitae in pdf format and should be
sent to

Centre de Recherche Commun INRIA-Microsoft Research,
Parc Orsay Université, 28, rue Jean Rostand, 
91893 Orsay Cedex, France
Telephone: +33 1 69 35 69 70
Fax: +33 1 69 35 69 69


Please email me for any further questions about the position and the related

Other Caml News

From the ocamlcore planet blog:
Thanks to Alp Mestan, we now include in the Caml Weekly News the links to the
recent posts from the ocamlcore planet blog at

Liquidsoap at ON2: Test signals, October, 22-23 2010 in Berlin:

Programming with effects II: Introducing eff:

Programming with effects I: Theory:

On the State of API Documentation:

lazy me, BronKerbosh algorithm revisited:

Enhanced Ocaml Documentation Version 3.12:

Resources for Learning CamlP4:

LDAP / Scope in database code (3):

kprintf and failwith:

Onotify 0.6 : the first public release !:

Old cwn

If you happen to miss a CWN, you can send me a message and I'll mail it to you, or go take a look at the archive or the RSS feed of the archives.

If you also wish to receive it every week by mail, you may subscribe online.

Alan Schmitt