Parallelizing user-defined aggregations using symbolic execution.

Veselin Raychev, Madanlal Musuvathi, Todd Mytkowicz

Browse the full SOSP paper archive.