{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:29:30Z","timestamp":1767338970300,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,14]],"date-time":"2017-10-14T00:00:00Z","timestamp":1507939200000},"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":[[2017,10,14]]},"DOI":"10.1145\/3132747.3132773","type":"proceedings-article","created":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T12:51:09Z","timestamp":1507812669000},"page":"631-646","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Optimizing Big-Data Queries Using Program Synthesis"],"prefix":"10.1145","author":[{"given":"Matthias","family":"Schlaipfer","sequence":"first","affiliation":[{"name":"TU Wien, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kaushik","family":"Rajan","sequence":"additional","affiliation":[{"name":"Microsoft Research, Bangalore, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akash","family":"Lal","sequence":"additional","affiliation":[{"name":"Microsoft Research, Bangalore, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Malavika","family":"Samak","sequence":"additional","affiliation":[{"name":"MIT CSAIL, Cambridge, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,10,14]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2742797"},{"key":"e_1_3_2_2_2_1","volume-title":"Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI'14)","author":"Boutin Eric","year":"2014","unstructured":"Eric Boutin , Jaliya Ekanayake , Wei Lin , Bing Shi , Jingren Zhou , Zhengping Qian , Ming Wu , and Lidong Zhou . 2014 . Apollo: Scalable and Coordinated Scheduling for Cloud-scale Computing . In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI'14) . USENIX Association, Berkeley, CA, USA, 285--300. http:\/\/dl.acm.org\/citation.cfm?id=2685048.2685071 Eric Boutin, Jaliya Ekanayake, Wei Lin, Bing Shi, Jingren Zhou, Zhengping Qian, Ming Wu, and Lidong Zhou. 2014. Apollo: Scalable and Coordinated Scheduling for Cloud-scale Computing. In Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI'14). USENIX Association, Berkeley, CA, USA, 285--300. http:\/\/dl.acm.org\/citation.cfm?id=2685048.2685071"},{"volume-title":"Proceedings of the 23rd International Conference on Very Large Data Bases (VLDB '97)","author":"Chatziantoniou Damianos","key":"e_1_3_2_2_3_1","unstructured":"Damianos Chatziantoniou and Kenneth A. Ross . 1997. Groupwise Processing of Relational Queries . In Proceedings of the 23rd International Conference on Very Large Data Bases (VLDB '97) . Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 476--485. http:\/\/dl.acm.org\/citation.cfm?id=645923.671003 Damianos Chatziantoniou and Kenneth A. Ross. 1997. Groupwise Processing of Relational Queries. In Proceedings of the 23rd International Conference on Very Large Data Bases (VLDB '97). Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 476--485. http:\/\/dl.acm.org\/citation.cfm?id=645923.671003"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2005.09.003"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462180"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062348"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"crossref","unstructured":"Przemys\u0142aw Daca Thomas A. Henzinger and Andrey Kupriyanov. 2016. Array Folds Logic. 230--248.  Przemys\u0142aw Daca Thomas A. Henzinger and Andrey Kupriyanov. 2016. Array Folds Logic. 230--248.","DOI":"10.1007\/978-3-319-41540-6_13"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/375663.375748"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3117774"},{"volume-title":"Verifying Equivalence of Spark Programs","author":"Grossman Shelly","key":"e_1_3_2_2_10_1","unstructured":"Shelly Grossman , Sara Cohen , Shachar Itzhaky , Noam Rinetzky , and Mooly Sagiv . 2017. Verifying Equivalence of Spark Programs . Springer International Publishing , Cham , 282--300. Shelly Grossman, Sara Cohen, Shachar Itzhaky, Noam Rinetzky, and Mooly Sagiv. 2017. Verifying Equivalence of Spark Programs. Springer International Publishing, Cham, 282--300."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2240236.2240260"},{"volume-title":"Presented as part of the 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12)","author":"Guo Zhenyu","key":"e_1_3_2_2_12_1","unstructured":"Zhenyu Guo , Xuepeng Fan , Rishan Chen , Jiaxing Zhang , Hucheng Zhou , Sean McDirmid , Chang Liu , Wei Lin , Jingren Zhou , and Lidong Zhou . 2012. Spotting Code Optimizations in Data-Parallel Pipelines through PeriSCOPE . In Presented as part of the 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12) . USENIX , Hollywood, CA , 121--133. https:\/\/www.usenix.org\/conference\/osdi12\/technical-sessions\/presentation\/guo Zhenyu Guo, Xuepeng Fan, Rishan Chen, Jiaxing Zhang, Hucheng Zhou, Sean McDirmid, Chang Liu, Wei Lin, Jingren Zhou, and Lidong Zhou. 2012. Spotting Code Optimizations in Data-Parallel Pipelines through PeriSCOPE. In Presented as part of the 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12). USENIX, Hollywood, CA, 121--133. https:\/\/www.usenix.org\/conference\/osdi12\/technical-sessions\/presentation\/guo"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2742795"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2588555.2595630"},{"key":"e_1_3_2_2_15_1","volume-title":"Morpheus: Towards Automated SLOs for Enterprise Clusters. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)","author":"Jyothi Sangeetha Abdu","year":"2016","unstructured":"Sangeetha Abdu Jyothi , Carlo Curino , Ishai Menache , Shravan Matthur Narayanamurthy , Alexey Tumanov , Jonathan Yaniv , Ruslan Mavlyutov , Inigo Goiri , Subru Krishnan , Janardhan Kulkarni , and Sriram Rao . 2016 . Morpheus: Towards Automated SLOs for Enterprise Clusters. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16) . USENIX Association, GA, 117--134. https:\/\/www.usenix.org\/conference\/osdi16\/technical-sessions\/presentation\/jyothi Sangeetha Abdu Jyothi, Carlo Curino, Ishai Menache, Shravan Matthur Narayanamurthy, Alexey Tumanov, Jonathan Yaniv, Ruslan Mavlyutov, Inigo Goiri, Subru Krishnan, Janardhan Kulkarni, and Sriram Rao. 2016. Morpheus: Towards Automated SLOs for Enterprise Clusters. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). USENIX Association, GA, 117--134. https:\/\/www.usenix.org\/conference\/osdi16\/technical-sessions\/presentation\/jyothi"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.14778\/2794367.2794375"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815418"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908102"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168917.1168907"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.14778\/1687553.1687609"},{"key":"e_1_3_2_2_21_1","volume-title":"http\/\/:www.tpc.org\/tpcx-bb\/","author":"Benchmark TPC.","year":"2016","unstructured":"TPC. 2016. TPCx-BB Benchmark . ( 2016 ). http\/\/:www.tpc.org\/tpcx-bb\/ TPC. 2016. TPCx-BB Benchmark. (2016). http\/\/:www.tpc.org\/tpcx-bb\/"},{"key":"e_1_3_2_2_22_1","volume-title":"http\/\/:www.tpc.org\/tpcds\/","author":"Benchmark TPC.","year":"2017","unstructured":"TPC. 2017. TPC-DS Benchmark . ( 2017 ). http\/\/:www.tpc.org\/tpcds\/ TPC. 2017. TPC-DS Benchmark. (2017). http\/\/:www.tpc.org\/tpcds\/"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2523616.2523633"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062365"},{"key":"e_1_3_2_2_25_1","volume-title":"Proceedings of the 2Nd USENIX Conference on Hot Topics in Cloud Computing (HotCloud'10)","author":"Zaharia Matei","year":"2010","unstructured":"Matei Zaharia , Mosharaf Chowdhury , Michael J. Franklin , Scott Shenker , and Ion Stoica . 2010 . Spark: Cluster Computing with Working Sets . In Proceedings of the 2Nd USENIX Conference on Hot Topics in Cloud Computing (HotCloud'10) . USENIX Association, Berkeley, CA, USA, 10--10. http:\/\/dl.acm.org\/citation.cfm?id= 1863103.1863113 Matei Zaharia, Mosharaf Chowdhury, Michael J. Franklin, Scott Shenker, and Ion Stoica. 2010. Spark: Cluster Computing with Working Sets. In Proceedings of the 2Nd USENIX Conference on Hot Topics in Cloud Computing (HotCloud'10). USENIX Association, Berkeley, CA, USA, 10--10. http:\/\/dl.acm.org\/citation.cfm?id=1863103.1863113"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693082"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2213836.2213839"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-012-0280-z"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-012-0280-z"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/872757.872840"}],"event":{"name":"SOSP '17: ACM SIGOPS 26th Symposium on Operating Systems Principles","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","USENIX Assoc USENIX Assoc"],"location":"Shanghai China","acronym":"SOSP '17"},"container-title":["Proceedings of the 26th Symposium on Operating Systems Principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3132747.3132773","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3132747.3132773","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:10:57Z","timestamp":1750212657000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3132747.3132773"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,14]]},"references-count":30,"alternative-id":["10.1145\/3132747.3132773","10.1145\/3132747"],"URL":"https:\/\/doi.org\/10.1145\/3132747.3132773","relation":{},"subject":[],"published":{"date-parts":[[2017,10,14]]},"assertion":[{"value":"2017-10-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}