Accelerating search-based program synthesis using learned probabilistic models
Mining idioms from source code