Veselin Raychev, Madanlal Musuvathi, Todd Mytkowicz. Parallelizing user-defined aggregations using symbolic execution. In Ethan L. Miller, Steven Hand, editors, Proceedings of the 25th Symposium on Operating Systems Principles, SOSP 2015, Monterey, CA, USA, October 4-7, 2015. pages 153-167, ACM, 2015. [doi]
Abstract is missing.