Finding Optimal Program Abstractions Mayur Naik Georgia Tech Xin Zhang (Georgia Tech) Hongseok Yang (Oxford) Percy Liang (Stanford) Mooly Sagiv (Tel-Aviv.
Monika Sester Institute of Cartography and Geoinformatics Leibniz Universität Hannover Germany Collaborative data acquisition and processing.