{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T10:07:38Z","timestamp":1781258858325,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":59,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,11]],"date-time":"2020-06-11T00:00:00Z","timestamp":1591833600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","award":["FA8750-17-2-0095,FA8650-18-2-7861"],"award-info":[{"award-number":["FA8750-17-2-0095,FA8650-18-2-7861"]}],"id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100014718","name":"National Science Foundation","doi-asserted-by":"publisher","award":["DGE-1656518"],"award-info":[{"award-number":["DGE-1656518"]}],"id":[{"id":"10.13039\/100014718","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Bundesministerium f\u00fcr Bildung und Forschung","award":["FKZ: 13N1S0762"],"award-info":[{"award-number":["FKZ: 13N1S0762"]}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["FA8750-17-2-0095,FA8650-18-2-7861"],"award-info":[{"award-number":["FA8750-17-2-0095,FA8650-18-2-7861"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,11]]},"DOI":"10.1145\/3385412.3385983","type":"proceedings-article","created":{"date-parts":[[2020,6,7]],"date-time":"2020-06-07T01:40:10Z","timestamp":1591494010000},"page":"408-422","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":44,"title":["Type-directed scheduling of streaming accelerators"],"prefix":"10.1145","author":[{"given":"David","family":"Durst","sequence":"first","affiliation":[{"name":"Stanford University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthew","family":"Feldman","sequence":"additional","affiliation":[{"name":"Stanford University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dillon","family":"Huff","sequence":"additional","affiliation":[{"name":"Stanford University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Akeley","sequence":"additional","affiliation":[{"name":"University of California at Los Angeles, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ross","family":"Daly","sequence":"additional","affiliation":[{"name":"Stanford University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gilbert Louis","family":"Bernstein","sequence":"additional","affiliation":[{"name":"University of California at Berkeley, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco","family":"Patrignani","sequence":"additional","affiliation":[{"name":"Stanford University, USA \/ CISPA, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kayvon","family":"Fatahalian","sequence":"additional","affiliation":[{"name":"Stanford University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pat","family":"Hanrahan","sequence":"additional","affiliation":[{"name":"Stanford University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Vivado High-Level Synthesis. https:\/\/www.xilinx.com\/products\/ design-tools\/vivado\/integration\/esl-design.html [Online","year":"2020","unstructured":"2019. Vivado High-Level Synthesis. https:\/\/www.xilinx.com\/products\/ design-tools\/vivado\/integration\/esl-design.html [Online; accessed 26-Mar-2020]."},{"key":"e_1_3_2_1_2_1","unstructured":"Andrew Adams Karima Ma Luke Anderson Riyadh Baghdadi Tzu-Mao Li Micha\u00ebl Gharbi Benoit Steiner Steven Johnson Kayvon Fatahalian Fr\u00e9do Durand and Jonathan Ragan-Kelley. 2019."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","unstructured":"Learning to Optimize Halide with Tree Search and Random Programs. ACM Trans. Graph. 38 4 Article 121 (July 2019) 12 pages. 10.1145\/3306346.3322967","DOI":"10.1145\/3306346.3322967"},{"key":"e_1_3_2_1_4_1","volume-title":"Typed Closure Conversion Preserves Observational Equivalence. In International Conference on Functional Programming. ACM, 157\u2013168","author":"Ahmed Amal","year":"2008","unstructured":"Amal Ahmed and Matthias Blume. 2008. Typed Closure Conversion Preserves Observational Equivalence. In International Conference on Functional Programming. ACM, 157\u2013168."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034830"},{"key":"e_1_3_2_1_6_1","unstructured":"C.P.R. Baaij. 2015."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228584"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/78.485935"},{"key":"e_1_3_2_1_10_1","unstructured":"Per Bjesse Koen Claessen Mary Sheeran and Satnam Singh. 1998."},{"key":"e_1_3_2_1_11_1","volume-title":"ACM SIGPLAN Notices","author":"Lava","unstructured":"Lava: hardware design in Haskell. In ACM SIGPLAN Notices, Vol. 34. ACM, 174\u2013184."},{"key":"e_1_3_2_1_12_1","unstructured":"Guy E. Blelloch. 1993."},{"key":"e_1_3_2_1_14_1","unstructured":"Andrew Canis Jongsok Choi Mark Aldham Victor Zhang Ahmed Kammoona Jason H Anderson Stephen Brown and Tomasz Czajkowski. 2011."},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the 19th ACM\/SIGDA international symposium on Field programmable gate arrays. ACM, 33\u201336","unstructured":"LegUp: high-level synthesis for FPGA-based processor\/accelerator systems. In Proceedings of the 19th ACM\/SIGDA international symposium on Field programmable gate arrays. ACM, 33\u201336."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1248648.1248652"},{"key":"e_1_3_2_1_17_1","unstructured":"Tianqi Chen Thierry Moreau Ziheng Jiang Lianmin Zheng Eddie Yan Haichen Shen Meghan Cowan Leyuan Wang Yuwei Hu Luis Ceze Carlos Guestrin and Arvind Krishnamurthy. 2018."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2967938.2967969"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430532.2364522"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110251"},{"key":"e_1_3_2_1_21_1","unstructured":"Jonathan Frankle Peter-Michael Osera David Walker and Steve Zdancewic. 2016."},{"key":"e_1_3_2_1_22_1","volume-title":"a type-theoretic interpretation. ACM SIGPLAN Notices 51, 1","year":"2016","unstructured":"Example-directed synthesis: a type-theoretic interpretation. ACM SIGPLAN Notices 51, 1 (2016), 802\u2013815."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/605397.605428"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3168824"},{"key":"e_1_3_2_1_25_1","unstructured":"Nicholas Halbwachs Paul Caspi Pascal Raymond and Daniel Pilaud. 1991."},{"key":"e_1_3_2_1_26_1","volume-title":"Proc. IEEE 79","author":"The","year":"1991","unstructured":"The synchronous data flow programming language LUSTRE. Proc. IEEE 79, 9 (1991), 1305\u20131320."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2601097.2601174"},{"key":"e_1_3_2_1_28_1","unstructured":"James Hegarty Ross Daly Zachary DeVito Jonathan Ragan-Kelley Mark Horowitz and Pat Hanrahan. 2016."},{"key":"e_1_3_2_1_29_1","volume-title":"Flexible multi-rate image processing hardware. ACM Transactions on Graphics (TOG) 35, 4","author":"Rigel","year":"2016","unstructured":"Rigel: Flexible multi-rate image processing hardware. ACM Transactions on Graphics (TOG) 35, 4 (2016), 85."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3282307"},{"key":"e_1_3_2_1_31_1","unstructured":"Chung-Kil Hur and Derek Dreyer. 2011."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","unstructured":"A Kripke Logical Relation Between ML and Assembly. In Principles of Programming Languages. ACM 133\u2013146. 10.1145\/1926385.1926402","DOI":"10.1145\/1926385.1926402"},{"key":"e_1_3_2_1_33_1","unstructured":"Sang Ho Kim and Jan P Allebach. 2005."},{"key":"e_1_3_2_1_34_1","volume-title":"Journal of Electronic Imaging 14, 2","author":"Optimal","year":"2005","unstructured":"Optimal unsharp mask for image sharpening and noise removal. Journal of Electronic Imaging 14, 2 (2005), 023005."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2966986.2967004"},{"key":"e_1_3_2_1_36_1","unstructured":"David Koeplinger Matthew Feldman Raghu Prabhakar Yaqi Zhang Stefan Hadjis Ruben Fiszel Tian Zhao Luigi Nardi Ardavan Pedram Christos Kozyrakis et al. 2018."},{"key":"e_1_3_2_1_37_1","volume-title":"ACM Sigplan Notices","author":"Spatial","unstructured":"Spatial: A language and compiler for application accelerators. In ACM Sigplan Notices, Vol. 53. ACM, 296\u2013311."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2016.20"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3315454.3329957"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-012-9096-8"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOTS.2019.00045"},{"key":"e_1_3_2_1_43_1","unstructured":"Mirabelle Nebut. 2004."},{"key":"e_1_3_2_1_44_1","volume-title":"Electronic Notes in Theoretical Computer Science 88","author":"An","year":"2004","unstructured":"An overview of the Signal clock calculus. Electronic Notes in Theoretical Computer Science 88 (2004), 39\u201354."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951941"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385974"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2738007"},{"key":"e_1_3_2_1_48_1","volume-title":"Article 125 (Jan.","author":"Patrignani Marco","year":"2019","unstructured":"Marco Patrignani, Amal Ahmed, and Dave Clarke. 2019. Formal Approaches to Secure Compilation A Survey of Fully Abstract Compilation and Related Work. ACM Comput. Surv. 51, 6, Article 125 (Jan. 2019), 36 pages."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2980983.2908093"},{"key":"e_1_3_2_1_50_1","unstructured":"Claudius Ptolemaeus (Ed.). 2014."},{"key":"e_1_3_2_1_51_1","unstructured":"System Design Modeling and Simulation using Ptolemy II. Ptolemy.org. http:\/\/ptolemy.org\/books\/Systems"},{"key":"e_1_3_2_1_52_1","first-page":"26","article-title":"Programming heterogeneous systems from an image processing DSL","volume":"14","author":"Pu Jing","year":"2017","unstructured":"Jing Pu, Steven Bell, Xuan Yang, Jeff Setter, Stephen Richardson, Jonathan Ragan-Kelley, and Mark Horowitz. 2017. Programming heterogeneous systems from an image processing DSL. ACM Transactions on Architecture and Code Optimization (TACO) 14, 3 (2017), 26.","journal-title":"ACM Transactions on Architecture and Code Optimization (TACO)"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462176"},{"key":"e_1_3_2_1_54_1","unstructured":"Yakun Sophia Shao Brandon Reagen Gu-Yeon Wei and David Brooks. 2014."},{"key":"e_1_3_2_1_55_1","unstructured":"Wilson Snyder and Jean-Philippe Lang. 2019."},{"key":"e_1_3_2_1_56_1","unstructured":"Intro - Verilator - Veripool. https:\/\/www.veripool.org\/projects\/verilator\/wiki\/Intro"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2858949.2784754"},{"key":"e_1_3_2_1_58_1","first-page":"7","article-title":"RIPL: A Parallel Image Processing Language for FPGAs","volume":"11","author":"Stewart Robert","year":"2018","unstructured":"Robert Stewart, Kirsty Duncan, Greg Michaelson, Paulo Garcia, Deepayan Bhowmik, and Andrew Wallace. 2018. RIPL: A Parallel Image Processing Language for FPGAs. ACM Transactions on Reconfigurable Technology and Systems (TRETS) 11, 1 (2018), 7.","journal-title":"ACM Transactions on Reconfigurable Technology and Systems (TRETS)"},{"key":"e_1_3_2_1_59_1","unstructured":"Rinse Wester. 2015."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","unstructured":"A transformation-based approach to hardware design using higher-order functions. Ph.D. Dissertation. University of Twente. 10.3990\/1.9789036538879","DOI":"10.3990\/1.9789036538879"},{"key":"e_1_3_2_1_61_1","unstructured":"Xilinx Inc. 2019."}],"event":{"name":"PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"London UK","acronym":"PLDI '20","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385412.3385983","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3385412.3385983","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3385412.3385983","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:14Z","timestamp":1750200074000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385412.3385983"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,11]]},"references-count":59,"alternative-id":["10.1145\/3385412.3385983","10.1145\/3385412"],"URL":"https:\/\/doi.org\/10.1145\/3385412.3385983","relation":{},"subject":[],"published":{"date-parts":[[2020,6,11]]},"assertion":[{"value":"2020-06-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}