Alvin Cheung program analysis, program synthesis, database application performance, big systems Division of Computer Science/EECS