{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T11:48:37Z","timestamp":1763466517302,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,10,4]],"date-time":"2015-10-04T00:00:00Z","timestamp":1443916800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,10,4]]},"DOI":"10.1145\/2815400.2815418","type":"proceedings-article","created":{"date-parts":[[2015,10,1]],"date-time":"2015-10-01T12:01:58Z","timestamp":1443700918000},"page":"153-167","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":39,"title":["Parallelizing user-defined aggregations using symbolic execution"],"prefix":"10.1145","author":[{"given":"Veselin","family":"Raychev","sequence":"first","affiliation":[{"name":"ETH Zurich"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Madanlal","family":"Musuvathi","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Todd","family":"Mytkowicz","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,10,4]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"Apache hadoop. http:\/\/hadoop.apache.org\/.  Apache hadoop. http:\/\/hadoop.apache.org\/."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-014-0357-y"},{"key":"e_1_3_2_2_3_1","unstructured":"Avoid groupbykey. http:\/\/databricks.gitbooks.io\/databricks-spark-knowledge-base\/content\/best_practices\/prefer_reducebykey_over_groupbykey.html.  Avoid groupbykey. http:\/\/databricks.gitbooks.io\/databricks-spark-knowledge-base\/content\/best_practices\/prefer_reducebykey_over_groupbykey.html."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/197405.197406"},{"key":"e_1_3_2_2_5_1","volume-title":"Synthesis of Parallel Algorithms","author":"Blelloch G. E.","year":"1990","unstructured":"Blelloch , G. E. Prefix sums and their applications. Tech. rep ., Synthesis of Parallel Algorithms , 1990 . Blelloch, G. E. Prefix sums and their applications. Tech. rep., Synthesis of Parallel Algorithms, 1990."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/209936.209958"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640097"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.14778\/1454159.1454166"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806638"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.14778\/2735496.2735503"},{"key":"e_1_3_2_2_11_1","first-page":"337","volume-title":"Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Berlin, Heidelberg, 2008), TACAS'08\/ETAPS'08","author":"De Moura L.","unstructured":"De Moura , L. , and Bj\u00f8rner , N . Z3: An efficient smt solver . In Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Berlin, Heidelberg, 2008), TACAS'08\/ETAPS'08 , Springer-Verlag , pp. 337 -- 340 . De Moura, L., and Bj\u00f8rner, N. Z3: An efficient smt solver. In Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Berlin, Heidelberg, 2008), TACAS'08\/ETAPS'08, Springer-Verlag, pp. 337--340."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1583991.1584017"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.14778\/1687553.1687568"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/7902.7903"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1272998.1273005"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1973.5009159"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/322217.322232"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670979.2670980"},{"key":"e_1_3_2_2_21_1","volume-title":"The Programming Language Lisp: Its Operation and Applications","author":"Lombardi L. A.","year":"1964","unstructured":"Lombardi , L. A. , and Raphael , B . Lisp as the language for an incremental computer . In The Programming Language Lisp: Its Operation and Applications ( 1964 ). Lombardi, L. A., and Raphael, B. Lisp as the language for an incremental computer. In The Programming Language Lisp: Its Operation and Applications (1964)."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807167.1807184"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677014"},{"key":"e_1_3_2_2_24_1","unstructured":"Match clause in HP Vertica. http:\/\/my.vertica.com\/docs\/7.1.x\/HTML\/Content\/Authoring\/SQLReferenceManual\/Statements\/SELECT\/MATCHClause.htm.  Match clause in HP Vertica. http:\/\/my.vertica.com\/docs\/7.1.x\/HTML\/Content\/Authoring\/SQLReferenceManual\/Statements\/SELECT\/MATCHClause.htm."},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542495"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.14778\/1920841.1920886"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541988"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376616.1376726"},{"key":"e_1_3_2_2_29_1","unstructured":"Sql for pattern matching in oracle 12c. http:\/\/docs.oracle.com\/database\/121\/DWHSG\/pattern.htm.  Sql for pattern matching in oracle 12c. http:\/\/docs.oracle.com\/database\/121\/DWHSG\/pattern.htm."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/7902.7904"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993501"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806603"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660228"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736030"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/267959.269969"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/291889.291893"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629600"},{"key":"e_1_3_2_2_38_1","first-page":"1","volume-title":"OSDI'08","author":"Yu Y.","unstructured":"Yu , Y. , Isard , M. , Fetterly , D. , Budiu , M. , Erlingsson , U. , Gunda , P. K. , and Currey , J . Dryadlinq: A system for general-purpose distributed data-parallel computing using a high-level language . OSDI'08 , USENIX Association , pp. 1 -- 14 . Yu, Y., Isard, M., Fetterly, D., Budiu, M., Erlingsson, U., Gunda, P. K., and Currey, J. Dryadlinq: A system for general-purpose distributed data-parallel computing using a high-level language. OSDI'08, USENIX Association, pp. 1--14."},{"key":"e_1_3_2_2_39_1","volume-title":"Proceedings of the 2Nd USENIX Conference on Hot Topics in Cloud Computing","author":"Zaharia M.","year":"2010","unstructured":"Zaharia , M. , Chowdhury , M. , Franklin , M. J. , Shenker , S. , and Stoica , I . Spark: Cluster computing with working sets . In Proceedings of the 2Nd USENIX Conference on Hot Topics in Cloud Computing ( Berkeley, CA, USA , 2010 ), HotCloud'10, USENIX Association, pp. 10--10. Zaharia, M., Chowdhury, M., Franklin, M. J., Shenker, S., and Stoica, I. Spark: Cluster computing with working sets. In Proceedings of the 2Nd USENIX Conference on Hot Topics in Cloud Computing (Berkeley, CA, USA, 2010), HotCloud'10, USENIX Association, pp. 10--10."},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/2228298.2228328"}],"event":{"name":"SOSP '15: ACM SIGOPS 25th Symposium on Operating Systems Principles","sponsor":["SSRC Storage Systems Research Center, UC Santa Cruz","SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Monterey California","acronym":"SOSP '15"},"container-title":["Proceedings of the 25th Symposium on Operating Systems Principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2815400.2815418","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2815400.2815418","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:43:13Z","timestamp":1750225393000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2815400.2815418"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,4]]},"references-count":40,"alternative-id":["10.1145\/2815400.2815418","10.1145\/2815400"],"URL":"https:\/\/doi.org\/10.1145\/2815400.2815418","relation":{},"subject":[],"published":{"date-parts":[[2015,10,4]]},"assertion":[{"value":"2015-10-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}