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

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.