Veselin Raychev, Madanlal Musuvathi, Todd Mytkowicz: Parallelizing user-defined aggregations using symbolic execution. SOSP 2015: 153-167