There's a list of papers published on his page:

  http://cristal.inria.fr/~xleroy/

I keep this link in a feel-good folder, next to Bellard's page. Sometimes I need a feel-good break after reading US-centric news.