My real list of publication is available at http://stephane.ducasse.free.fr and in particular at http://stephane.ducasse.free.fr/Publications.html
In particular I do not mix top level conferences with others and I have too many publications prior to join Inria that I should migrate to Hal.