Francesco Zappa Nardelli

Francesco Zappa Nardelli

Chargé de Recherche, Parkas project-team, INRIA Paris-Rocquencourt. (about my name)

Address:

Département d'informatique
École normale supérieure
45, rue d'Ulm
F-75230 Paris Cedex 05
France

E-mail: Francesco.Zappa_Nardelli (at) inria.fr

Phone: +33 (0)1 4432 2148

My gpg public key (key fingerprint)

Job offer: we are looking for a post-doctoral research associate to work on relaxed-memory concurrency.

What's new:

Flexible Access Control for Javascript, draft.
Compiler testing via a theory of sound optimisations..., in PLDI'13.
Correct and efficient work stealing for relaxed memory models, in PPoPP'13.
Semantics and tools for low-level concurrent programming, 14-18 January 2013.
Invited talk at Journeés LLL , 26 October 2012
WMC, a project funded by ANR, 2012-2015.