{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:26:05Z","timestamp":1750220765710,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,16]],"date-time":"2020-06-16T00:00:00Z","timestamp":1592265600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF","award":["1845952"],"award-info":[{"award-number":["1845952"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,16]]},"DOI":"10.1145\/3372799.3394358","type":"proceedings-article","created":{"date-parts":[[2020,5,29]],"date-time":"2020-05-29T15:04:12Z","timestamp":1590764652000},"page":"131-135","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["A Synthesis-Aided Compiler for DSP Architectures (WiP Paper)"],"prefix":"10.1145","author":[{"given":"Alexa","family":"VanHattum","sequence":"first","affiliation":[{"name":"Cornell University, Ithaca, NY, USA"}]},{"given":"Rachit","family":"Nigam","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY, USA"}]},{"given":"Vincent T.","family":"Lee","sequence":"additional","affiliation":[{"name":"Facebook Reality Labs, Redmond, WA, USA"}]},{"given":"James","family":"Bornholt","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, Austin, TX, USA"}]},{"given":"Adrian","family":"Sampson","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY, USA"}]}],"member":"320","published-online":{"date-parts":[[2020,6,16]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"crossref","unstructured":"Randy Allen and Ken Kennedy. 1987. Automatic Translation of FORTRAN Programs to Vector Form. In ACM Transactions on Programming Languages and Systems ( TOPLAS).  Randy Allen and Ken Kennedy. 1987. Automatic Translation of FORTRAN Programs to Vector Form. In ACM Transactions on Programming Languages and Systems ( TOPLAS).","DOI":"10.1145\/29873.29875"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"crossref","unstructured":"Rajeev Alur Rastislav Bodik Garvit Juniwal Milo M. K. Martin Mukund Raghothaman Sanjit A. Seshia Rishabh Singh Armando Solar-Lezama Emina Torlak and Abhishek Udupa. 2013. Syntax-Guided Synthesis. In Formal Methods in Computer-Aided Design (FMCAD).  Rajeev Alur Rastislav Bodik Garvit Juniwal Milo M. K. Martin Mukund Raghothaman Sanjit A. Seshia Rishabh Singh Armando Solar-Lezama Emina Torlak and Abhishek Udupa. 2013. Syntax-Guided Synthesis. In Formal Methods in Computer-Aided Design (FMCAD).","DOI":"10.1109\/FMCAD.2013.6679385"},{"key":"e_1_3_2_2_3_1","volume-title":"Optimizing Synthesis with Metasketches. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL).","author":"Bornholt James","year":"2016","unstructured":"James Bornholt , Emina Torlak , Dan Grossman , and Luis Ceze . 2016 . Optimizing Synthesis with Metasketches. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL). James Bornholt, Emina Torlak, Dan Grossman, and Luis Ceze. 2016. Optimizing Synthesis with Metasketches. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)."},{"key":"e_1_3_2_2_4_1","volume-title":"Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays. In TACAS.","author":"Brummayer Robert","year":"2009","unstructured":"Robert Brummayer and Armin Biere . 2009 . Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays. In TACAS. Robert Brummayer and Armin Biere. 2009. Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays. In TACAS."},{"key":"e_1_3_2_2_5_1","volume-title":"KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In USENIX Symposium on Operating Systems Design and Implementation (OSDI).","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , and Dawson Engler . 2008 . KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In USENIX Symposium on Operating Systems Design and Implementation (OSDI). Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In USENIX Symposium on Operating Systems Design and Implementation (OSDI)."},{"key":"e_1_3_2_2_6_1","unstructured":"Cadence Design Systems Inc. 2020. Tensilica Customizable Cores.  Cadence Design Systems Inc. 2020. Tensilica Customizable Cores."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/HOTCHIPS.2015.7477329"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78791-4_8"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1995896.1995938"},{"key":"e_1_3_2_2_10_1","volume-title":"GoSLP: Globally Optimized Superword Level Parallelism Framework. In ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA).","author":"Mendis Charith","year":"2018","unstructured":"Charith Mendis and Saman Amarasinghe . 2018 . GoSLP: Globally Optimized Superword Level Parallelism Framework. In ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA). Charith Mendis and Saman Amarasinghe. 2018. GoSLP: Globally Optimized Superword Level Parallelism Framework. In ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA)."},{"key":"e_1_3_2_2_11_1","volume-title":"Auto-Vectorization of Interleaved Data for SIMD. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).","author":"Nuzman Dorit","year":"2006","unstructured":"Dorit Nuzman , Ira Rosen , and Ayal Zaks . 2006 . Auto-Vectorization of Interleaved Data for SIMD. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). Dorit Nuzman, Ira Rosen, and Ayal Zaks. 2006. Auto-Vectorization of Interleaved Data for SIMD. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)."},{"key":"e_1_3_2_2_12_1","volume-title":"Chlorophyll: Synthesis-aided Compiler for Low-power Spatial Architectures. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).","author":"Phothilimthana Phitchaya Mangpo","year":"2014","unstructured":"Phitchaya Mangpo Phothilimthana , Tikhon Jelvis , Rohin Shah , Nishant Totla , Sarah Chasins , and Rastislav Bodik . 2014 . Chlorophyll: Synthesis-aided Compiler for Low-power Spatial Architectures. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). Phitchaya Mangpo Phothilimthana, Tikhon Jelvis, Rohin Shah, Nishant Totla, Sarah Chasins, and Rastislav Bodik. 2014. Chlorophyll: Synthesis-aided Compiler for Low-power Spatial Architectures. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)."},{"volume-title":"ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).","author":"Ragan-Kelley Jonathan","key":"e_1_3_2_2_13_1","unstructured":"Jonathan Ragan-Kelley , Connelly Barnes , Andrew Adams , Sylvain Paris , Fr\u00e9 do Durand , and Saman P. Amarasinghe . 2013. Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines . In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). Jonathan Ragan-Kelley, Connelly Barnes, Andrew Adams, Sylvain Paris, Fr\u00e9 do Durand, and Saman P. Amarasinghe. 2013. Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594340"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"crossref","unstructured":"Sander Vocke Henk Corporaal Roel Jordans Rosilde Corvino and Rick Nas. 2017. Extending Halide to Improve Software Development for Imaging DSPs. In ACM Transactions on Architecture and Code Optimization (TACO).  Sander Vocke Henk Corporaal Roel Jordans Rosilde Corvino and Rick Nas. 2017. Extending Halide to Improve Software Development for Imaging DSPs. In ACM Transactions on Architecture and Code Optimization (TACO).","DOI":"10.1145\/3106343"}],"event":{"name":"LCTES '20: 21st ACM SIGPLAN\/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"London United Kingdom","acronym":"LCTES '20"},"container-title":["The 21st ACM SIGPLAN\/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372799.3394358","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3372799.3394358","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3372799.3394358","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:08Z","timestamp":1750200068000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3372799.3394358"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,16]]},"references-count":15,"alternative-id":["10.1145\/3372799.3394358","10.1145\/3372799"],"URL":"https:\/\/doi.org\/10.1145\/3372799.3394358","relation":{},"subject":[],"published":{"date-parts":[[2020,6,16]]},"assertion":[{"value":"2020-06-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}