program analysis, program synthesis, database application performance, big systems