Patrick Pradel's public data