{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T08:39:54Z","timestamp":1770280794962,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":58,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T00:00:00Z","timestamp":1559952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1763514, 1640813"],"award-info":[{"award-number":["1763514, 1640813"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,8]]},"DOI":"10.1145\/3314221.3314580","type":"proceedings-article","created":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:02:18Z","timestamp":1559941338000},"page":"670-685","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Data-trace types for distributed stream processing systems"],"prefix":"10.1145","author":[{"given":"Konstantinos","family":"Mamouras","sequence":"first","affiliation":[{"name":"Rice University, USA"}]},{"given":"Caleb","family":"Stanford","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}]},{"given":"Rajeev","family":"Alur","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}]},{"given":"Zachary G.","family":"Ives","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}]},{"given":"Val","family":"Tannen","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}]}],"member":"320","published-online":{"date-parts":[[2019,6,8]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Proceedings of the 2nd Biennial Conference on Innovative Data Systems Research (CIDR \u201905)","author":"Abadi Daniel J.","year":"2005","unstructured":"Daniel J. Abadi , Yanif Ahmad , Magdalena Balazinska , Ugur Cetintemel , Mitch Cherniack , Jeong-Hyon Hwang , Wolfgang Lindner , Anurag Maskey , Alex Rasin , Esther Ryvkina , Nesime Tatbul , Ying Xing , and Stanley Zdonik . 2005 . The Design of the Borealis Stream Processing Engine . In Proceedings of the 2nd Biennial Conference on Innovative Data Systems Research (CIDR \u201905) . 277\u2013289. http:\/\/cidrdb.org\/cidr2005\/ papers\/P23.pdf Daniel J. Abadi, Yanif Ahmad, Magdalena Balazinska, Ugur Cetintemel, Mitch Cherniack, Jeong-Hyon Hwang, Wolfgang Lindner, Anurag Maskey, Alex Rasin, Esther Ryvkina, Nesime Tatbul, Ying Xing, and Stanley Zdonik. 2005. The Design of the Borealis Stream Processing Engine. In Proceedings of the 2nd Biennial Conference on Innovative Data Systems Research (CIDR \u201905). 277\u2013289. http:\/\/cidrdb.org\/cidr2005\/ papers\/P23.pdf"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-003-0095-z"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2853608"},{"key":"e_1_3_2_2_4_1","volume-title":"Quantitative Regular Expressions for Arrhythmia Detection. To appear in the IEEE\/ACM Transactions on Computational Biology and Bioinformatics","author":"Abbas Houssam","year":"2018","unstructured":"Houssam Abbas , Alena Rodionova , Konstantinos Mamouras , Ezio Bartocci , Scott A. Smolka , and Radu Grosu . 2018. Quantitative Regular Expressions for Arrhythmia Detection. To appear in the IEEE\/ACM Transactions on Computational Biology and Bioinformatics ( 2018 ). Houssam Abbas, Alena Rodionova, Konstantinos Mamouras, Ezio Bartocci, Scott A. Smolka, and Radu Grosu. 2018. Quantitative Regular Expressions for Arrhythmia Detection. To appear in the IEEE\/ACM Transactions on Computational Biology and Bioinformatics (2018)."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.14778\/2536222.2536229"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.14778\/2824032.2824076"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2011.5767878"},{"key":"e_1_3_2_2_8_1","volume-title":"Streamable Regular Transductions. CoRR abs\/1807.03865","author":"Alur Rajeev","year":"2018","unstructured":"Rajeev Alur , Dana Fisman , Konstantinos Mamouras , Mukund Raghothaman , and Caleb Stanford . 2018. Streamable Regular Transductions. CoRR abs\/1807.03865 ( 2018 ). http:\/\/arxiv.org\/abs\/1807.03865 Rajeev Alur, Dana Fisman, Konstantinos Mamouras, Mukund Raghothaman, and Caleb Stanford. 2018. Streamable Regular Transductions. CoRR abs\/1807.03865 (2018). http:\/\/arxiv.org\/abs\/1807.03865"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/3089528.3089530"},{"key":"e_1_3_2_2_10_1","first-page":"1","article-title":"An Introduction to the StreamQRE Language","volume":"50","author":"Alur Rajeev","year":"2017","unstructured":"Rajeev Alur and Konstantinos Mamouras . 2017 . An Introduction to the StreamQRE Language . Dependable Software Systems Engineering 50 (2017), 1 . Rajeev Alur and Konstantinos Mamouras. 2017. An Introduction to the StreamQRE Language. Dependable Software Systems Engineering 50 (2017), 1.","journal-title":"Dependable Software Systems Engineering"},{"key":"e_1_3_2_2_11_1","volume-title":"Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP \u201917) (Leibniz International Proceedings in Informatics (LIPIcs))","author":"Alur Rajeev","unstructured":"Rajeev Alur , Konstantinos Mamouras , and Caleb Stanford . 2017. Automata-Based Stream Processing . In Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP \u201917) (Leibniz International Proceedings in Informatics (LIPIcs)) , Ioannis Chatzigiannakis, Piotr Indyk, Fabian Kuhn, and Anca Muscholl (Eds.), Vol. 80 . Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany , 112:1\u2013112:15. Rajeev Alur, Konstantinos Mamouras, and Caleb Stanford. 2017. Automata-Based Stream Processing. In Proceedings of the 44th International Colloquium on Automata, Languages, and Programming (ICALP \u201917) (Leibniz International Proceedings in Informatics (LIPIcs)), Ioannis Chatzigiannakis, Piotr Indyk, Fabian Kuhn, and Anca Muscholl (Eds.), Vol. 80. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 112:1\u2013112:15."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290363"},{"key":"e_1_3_2_2_13_1","series-title":"Lecture Notes in Computer Science","volume-title":"Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, Marten Lohstroh, Patricia Derler, and Marjan Sirjani (Eds.)","author":"Alur Rajeev","unstructured":"Rajeev Alur , Konstantinos Mamouras , Caleb Stanford , and Val Tannen . 2018. Interfaces for Stream Processing Systems . In Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, Marten Lohstroh, Patricia Derler, and Marjan Sirjani (Eds.) . Lecture Notes in Computer Science , Vol. 10760 . Springer , Cham , 38\u201360. Rajeev Alur, Konstantinos Mamouras, Caleb Stanford, and Val Tannen. 2018. Interfaces for Stream Processing Systems. In Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, Marten Lohstroh, Patricia Derler, and Marjan Sirjani (Eds.). Lecture Notes in Computer Science, Vol. 10760. Springer, Cham, 38\u201360."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"crossref","unstructured":"Rajeev Alur Konstantinos Mamouras and Dogan Ulus. 2017. Derivatives of Quantitative Regular Expressions. In Models Algorithms Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday Luca Aceto Giorgio Bacci Giovanni Bacci Anna Ing\u00f3lfsd\u00f3ttir Axel Legay and Radu Mardare (Eds.). Lecture Notes in Computer Science Vol. 10460. Springer International Publishing Cham 75\u201395.  Rajeev Alur Konstantinos Mamouras and Dogan Ulus. 2017. Derivatives of Quantitative Regular Expressions. In Models Algorithms Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday Luca Aceto Giorgio Bacci Giovanni Bacci Anna Ing\u00f3lfsd\u00f3ttir Axel Legay and Radu Mardare (Eds.). Lecture Notes in Computer Science Vol. 10460. Springer International Publishing Cham 75\u201395.","DOI":"10.1007\/978-3-319-63121-9_4"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-004-0147-z"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1316689.1316720"},{"key":"e_1_3_2_2_17_1","volume-title":"Proceedings of the 3rd Biennial Conference on Innovative Data Systems Research (CIDR \u201907)","author":"Barga Roger S.","year":"2007","unstructured":"Roger S. Barga , Jonathan Goldstein , Mohamed Ali , and Mingsheng Hong . 2007 . Consistent Streaming Through Time: A Vision for Event Stream Processing . In Proceedings of the 3rd Biennial Conference on Innovative Data Systems Research (CIDR \u201907) . 363\u2013374. http:\/\/cidrdb. org\/cidr2007\/papers\/cidr07p42.pdf Roger S. Barga, Jonathan Goldstein, Mohamed Ali, and Mingsheng Hong. 2007. Consistent Streaming Through Time: A Vision for Event Stream Processing. In Proceedings of the 3rd Biennial Conference on Innovative Data Systems Research (CIDR \u201907). 363\u2013374. http:\/\/cidrdb. org\/cidr2007\/papers\/cidr07p42.pdf"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"e_1_3_2_2_19_1","volume-title":"Apache Flink: Stream and Batch Processing in a Single Engine. Bulletin of the IEEE Computer Society Technical Committee on Data Engineering 36, 4","author":"Carbone Paris","year":"2015","unstructured":"Paris Carbone , Asterios Katsifodimos , Stephan Ewen , Volker Markl , Seif Haridi , and Kostas Tzoumas . 2015 . Apache Flink: Stream and Batch Processing in a Single Engine. Bulletin of the IEEE Computer Society Technical Committee on Data Engineering 36, 4 (2015). http: \/\/sites.computer.org\/debull\/A15dec\/p28.pdf Paris Carbone, Asterios Katsifodimos, Stephan Ewen, Volker Markl, Seif Haridi, and Kostas Tzoumas. 2015. Apache Flink: Stream and Batch Processing in a Single Engine. Bulletin of the IEEE Computer Society Technical Committee on Data Engineering 36, 4 (2015). http: \/\/sites.computer.org\/debull\/A15dec\/p28.pdf"},{"key":"e_1_3_2_2_20_1","volume-title":"Proceedings of the First Biennial Conference on Innovative Data Systems Research (CIDR \u201903)","author":"Chandrasekaran Sirish","year":"2003","unstructured":"Sirish Chandrasekaran , Owen Cooper , Amol Deshpande , Michael J. Franklin , Joseph M. Hellerstein , Wei Hong , Sailesh Krishnamurthy , Sam Madden , Vijayshankar Raman , Fred Reiss , and Mehul Shah . 2003 . TelegraphCQ: Continuous Dataflow Processing for an Uncertain World . In Proceedings of the First Biennial Conference on Innovative Data Systems Research (CIDR \u201903) . http:\/\/cidrdb.org\/cidr2003\/program\/p24.pdf Sirish Chandrasekaran, Owen Cooper, Amol Deshpande, Michael J. Franklin, Joseph M. Hellerstein, Wei Hong, Sailesh Krishnamurthy, Sam Madden, Vijayshankar Raman, Fred Reiss, and Mehul Shah. 2003. TelegraphCQ: Continuous Dataflow Processing for an Uncertain World. In Proceedings of the First Biennial Conference on Innovative Data Systems Research (CIDR \u201903). http:\/\/cidrdb.org\/cidr2003\/program\/p24.pdf"},{"key":"e_1_3_2_2_21_1","volume-title":"Flink and Spark Streaming. In 2016 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW). 1789\u20131792","author":"Chintapalli S.","unstructured":"S. Chintapalli , D. Dagit , B. Evans , R. Farivar , T. Graves , M. Holderbaugh , Z. Liu , K. Nusbaum , K. Patil , B. J. Peng , and P. Poulosky . 2016. Benchmarking Streaming Computation Engines: Storm , Flink and Spark Streaming. In 2016 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW). 1789\u20131792 . S. Chintapalli, D. Dagit, B. Evans, R. Farivar, T. Graves, M. Holderbaugh, Z. Liu, K. Nusbaum, K. Patil, B. J. Peng, and P. Poulosky. 2016. Benchmarking Streaming Computation Engines: Storm, Flink and Spark Streaming. In 2016 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW). 1789\u20131792."},{"key":"e_1_3_2_2_22_1","volume-title":"Conference. 2014. DEBS 2014 Grand Challenge: Smart homes. http:\/\/debs.org\/debs-2014-smart-homes\/. (2014","author":"DEBS","year":"2018","unstructured":"DEBS Conference. 2014. DEBS 2014 Grand Challenge: Smart homes. http:\/\/debs.org\/debs-2014-smart-homes\/. (2014 ). {Online; accessed November 16, 2018 }. DEBS Conference. 2014. DEBS 2014 Grand Challenge: Smart homes. http:\/\/debs.org\/debs-2014-smart-homes\/. (2014). {Online; accessed November 16, 2018}."},{"key":"e_1_3_2_2_23_1","volume-title":"Apache Beam. https:\/\/beam. apache.org\/. (2019). {Online","author":"Foundation Apache Software","year":"2019","unstructured":"Apache Software Foundation . 2019. Apache Beam. https:\/\/beam. apache.org\/. (2019). {Online ; accessed March 31, 2019 }. Apache Software Foundation. 2019. Apache Beam. https:\/\/beam. apache.org\/. (2019). {Online; accessed March 31, 2019}."},{"key":"e_1_3_2_2_24_1","volume-title":"https:\/\/db.apache. org\/derby\/. (2019). {Online","author":"Foundation Apache Software","year":"2019","unstructured":"Apache Software Foundation . 2019. Apache Derby . https:\/\/db.apache. org\/derby\/. (2019). {Online ; accessed March 31, 2019 }. Apache Software Foundation. 2019. Apache Derby. https:\/\/db.apache. org\/derby\/. (2019). {Online; accessed March 31, 2019}."},{"key":"e_1_3_2_2_25_1","volume-title":"https:\/\/flink.apache. org\/ . (2019). {Online","author":"Foundation Apache Software","year":"2019","unstructured":"Apache Software Foundation . 2019. Apache Flink . https:\/\/flink.apache. org\/ . (2019). {Online ; accessed March 31, 2019 }. Apache Software Foundation. 2019. Apache Flink. https:\/\/flink.apache. org\/ . (2019). {Online; accessed March 31, 2019}."},{"key":"e_1_3_2_2_26_1","volume-title":"http:\/\/samza. apache.org\/ . (2019). {Online","author":"Foundation Apache Software","year":"2019","unstructured":"Apache Software Foundation . 2019. Apache Samza . http:\/\/samza. apache.org\/ . (2019). {Online ; accessed March 31, 2019 }. Apache Software Foundation. 2019. Apache Samza. http:\/\/samza. apache.org\/ . (2019). {Online; accessed March 31, 2019}."},{"key":"e_1_3_2_2_27_1","volume-title":"Apache Spark Streaming. https: \/\/spark.apache.org\/streaming\/ . (2019). {Online","author":"Foundation Apache Software","year":"2019","unstructured":"Apache Software Foundation . 2019. Apache Spark Streaming. https: \/\/spark.apache.org\/streaming\/ . (2019). {Online ; accessed March 31, 2019 }. Apache Software Foundation. 2019. Apache Spark Streaming. https: \/\/spark.apache.org\/streaming\/ . (2019). {Online; accessed March 31, 2019}."},{"key":"e_1_3_2_2_28_1","volume-title":"http:\/\/storm. apache.org\/ . (2019). {Online","author":"Foundation Apache Software","year":"2019","unstructured":"Apache Software Foundation . 2019. Apache Storm . http:\/\/storm. apache.org\/ . (2019). {Online ; accessed March 31, 2019 }. Apache Software Foundation. 2019. Apache Storm. http:\/\/storm. apache.org\/ . (2019). {Online; accessed March 31, 2019}."},{"key":"e_1_3_2_2_29_1","volume-title":"Apache Storm: Concepts. http: \/\/storm.apache.org\/releases\/1.2.2\/Concepts.html .","author":"Foundation Apache Software","year":"2019","unstructured":"Apache Software Foundation . 2019 . Apache Storm: Concepts. http: \/\/storm.apache.org\/releases\/1.2.2\/Concepts.html . (2019). {Online; accessed March 31, 2019}. Apache Software Foundation. 2019. Apache Storm: Concepts. http: \/\/storm.apache.org\/releases\/1.2.2\/Concepts.html . (2019). {Online; accessed March 31, 2019}."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168877"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1998.2777"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1656274.1656278"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1147\/JRD.2013.2243535"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2528412"},{"key":"e_1_3_2_2_35_1","volume-title":"Reference implementation of the Yahoo Streaming Benchmark. https:\/\/github.com\/yahoo\/streaming-benchmarks . (2017). {Online","author":"Yahoo Inc. 2017.","year":"2019","unstructured":"Yahoo Inc. 2017. Reference implementation of the Yahoo Streaming Benchmark. https:\/\/github.com\/yahoo\/streaming-benchmarks . (2017). {Online ; accessed March 31, 2019 }. Yahoo Inc. 2017. Reference implementation of the Yahoo Streaming Benchmark. https:\/\/github.com\/yahoo\/streaming-benchmarks . (2017). {Online; accessed March 31, 2019}."},{"key":"e_1_3_2_2_36_1","first-page":"471","article-title":"The Semantics of a Simple Language for Parallel Programming","volume":"74","author":"Kahn Gilles","year":"1974","unstructured":"Gilles Kahn . 1974 . The Semantics of a Simple Language for Parallel Programming . Information Processing 74 (1974), 471 \u2013 475 . Gilles Kahn. 1974. The Semantics of a Simple Language for Parallel Programming. Information Processing 74 (1974), 471\u2013475.","journal-title":"Information Processing"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807167.1807290"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2742788"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1066157.1066193"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.14778\/1453856.1453890"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/564691.564698"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062369"},{"key":"e_1_3_2_2_44_1","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency (LNCS)","author":"Mazurkiewicz Antoni","unstructured":"Antoni Mazurkiewicz . 1987. Trace theory . In Petri Nets: Applications and Relationships to Other Models of Concurrency (LNCS) , W. Brauer, W. Reisig, and G. Rozenberg (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 278\u2013324. Antoni Mazurkiewicz. 1987. Trace theory. In Petri Nets: Applications and Relationships to Other Models of Concurrency (LNCS), W. Brauer, W. Reisig, and G. Rozenberg (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 278\u2013324."},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522738"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDMW.2010.172"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.14778\/3137765.3137770"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01379149"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2013.221"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1055558.1055596"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3093742.3093925"},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.14778\/2752939.2752940"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.5555\/647478.727935"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2588555.2595641"},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2003.1198390"},{"key":"e_1_3_2_2_56_1","volume-title":"https:\/\/apache.github.io\/incubator-heron\/ . (2019). {Online","year":"2019","unstructured":"Twitter. 2019. Heron. https:\/\/apache.github.io\/incubator-heron\/ . (2019). {Online ; accessed March 31, 2019 }. Twitter. 2019. Heron. https:\/\/apache.github.io\/incubator-heron\/ . (2019). {Online; accessed March 31, 2019}."},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-003-0107-z"},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522737"}],"event":{"name":"PLDI '19: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Phoenix AZ USA","acronym":"PLDI '19","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314580","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314580","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314580","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:22Z","timestamp":1750204402000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314580"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,8]]},"references-count":58,"alternative-id":["10.1145\/3314221.3314580","10.1145\/3314221"],"URL":"https:\/\/doi.org\/10.1145\/3314221.3314580","relation":{},"subject":[],"published":{"date-parts":[[2019,6,8]]},"assertion":[{"value":"2019-06-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}