Michael Pradel - SPLASH 2014 (
original
) (
raw
)
Name:Michael Pradel
Affiliation:University of California, Berkeley, USA