Francesco Zappa Nardelli
Associate Professor
Department of Computer Science
Ecole Normale Superieure (ENS)
France
Biography
Francesco Zappa Nardelli Directeur de Recherche (Senior Researcher), Parkas project-team, INRIA Paris. Associate Professor at École Polytechnique (part-time).
Research Interest
My research is at boundaries between programming languages, system programming, and computer architectures, with the overall goal of producing systems which are better-understood, more robust, and more secure. Below is a short overview of my main projects.
Publications
-
F. Zappa Nardelli, P. Sewell, J. Sevcik, S. Sarkar, S. Owens, L. Maranget, M. Batty, J. Alglave: Relaxed Memory Models must be Rigorous, in (EC)2 09.
-
J. Sevcik, V. Vafeiadis, F. Zappa Nardelli, P. Sewell, S. Jagannathan: Relaxed-Memory Concurrency and Verified Compilation, in POPL 2011.
-
M. Merro, F. Zappa Nardelli: Behavioral Theory for Mobile Ambients, Journal of the ACM, Vol. 52, No. 6, 2005. [.pdf] This supersedes the preliminary version available as INRIA Research Report RR-5375, November 2004, and the articles Behavioural Theory for Mobile Ambients, appeared in IFIP TCS, 2004, and Bisimulation Proof Methods for Mobile Ambients, Technical Report COGS 2003:1, an extended abstract appeared in ICALP 2003, LNCS 2719 [.ps.gz]. A not-so-short extended abstract of the latter is also available.
