{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:40Z","timestamp":1740098920415,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642376573"},{"type":"electronic","value":"9783642376580"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37658-0_10","type":"book-chapter","created":{"date-parts":[[2013,4,5]],"date-time":"2013-04-05T06:20:22Z","timestamp":1365142822000},"page":"143-157","source":"Crossref","is-referenced-by-count":7,"title":["A Study on the Impact of Compiler Optimizations on High-Level Synthesis"],"prefix":"10.1007","author":[{"given":"Jason","family":"Cong","sequence":"first","affiliation":[]},{"given":"Bin","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Raghu","family":"Prabhakar","sequence":"additional","affiliation":[]},{"given":"Peng","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Open Source Accelerator Store, http:\/\/cadlab.cs.ucla.edu\/accelerator_store.html"},{"key":"10_CR2","first-page":"295","volume-title":"Proceedings of the International Symposium on Code Generation and Optimization, CGO 2006","author":"F. Agakov","year":"2006","unstructured":"Agakov, F., Bonilla, E., Cavazos, J., Franke, B., Fursin, G., O\u2019Boyle, M.F.P., Thomson, J., Toussaint, M., Williams, C.K.I.: Using machine learning to focus iterative optimization. In: Proceedings of the International Symposium on Code Generation and Optimization, CGO 2006, pp. 295\u2013305. IEEE Computer Society, Washington, DC (2006)"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/2000417.2000421","volume-title":"Proceedings of the 1st International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop Era, EXADAPT 2011","author":"M.M. Chabbi","year":"2011","unstructured":"Chabbi, M.M., Mellor-Crummey, J.M., Cooper, K.D.: Efficiently exploring compiler optimization sequences with pairwise pruning. In: Proceedings of the 1st International Workshop on Adaptive Self-Tuning Computing Systems for the Exaflop Era, EXADAPT 2011, pp. 34\u201345. ACM, New York (2011)"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Cong, J., Fan, Y., Han, G., Jiang, W., Zhang, Z.: Platform-based behavior-level and system-level synthesis. In: Proc. IEEE Int. SOC Conf., pp. 199\u2013202 (2006)","DOI":"10.1109\/SOCC.2006.283880"},{"issue":"4","key":"10_CR5","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1109\/TCAD.2011.2110592","volume":"30","author":"J. Cong","year":"2011","unstructured":"Cong, J., Liu, B., Neuendorffer, S., Noguera, J., Vissers, K., Zhang, Z.: High-level synthesis for FPGAs: From prototyping to deployment. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems\u00a030(4), 473\u2013491 (2011)","journal-title":"IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Cong, J., Zhang, Z.: An efficient and versatile scheduling algorithm based on SDC formulation. In: Proc. Design Automation Conf., pp. 433\u2013438 (2006)","DOI":"10.1145\/1146909.1147025"},{"key":"10_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/314403.314414","volume-title":"Proceedings of the ACM SIGPLAN 1999 Workshop on Languages, Compilers, and Tools for Embedded Systems, LCTES \u201999","author":"K.D. Cooper","year":"1999","unstructured":"Cooper, K.D., Schielke, P.J., Subramanian, D.: Optimizing for reduced code space using genetic algorithms. In: Proceedings of the ACM SIGPLAN 1999 Workshop on Languages, Compilers, and Tools for Embedded Systems, LCTES \u201999, pp. 1\u20139. ACM, New York (1999)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Coussy, P., Morawiec, A.: High-Level Synthesis: From Algorithm to Digital Circuit. Springer (2008)","DOI":"10.1007\/978-1-4020-8588-8"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/978-3-540-69330-7_18","volume-title":"Languages and Compilers for Parallel Computing","author":"A. Epshteyn","year":"2006","unstructured":"Epshteyn, A., Garzar\u00e1n, M.J., DeJong, G., Padua, D.A., Ren, G., Li, X., Yotov, K., Pingali, K.K.: Analytic Models and Empirical Search: A Hybrid Approach to Code Optimization. In: Ayguad\u00e9, E., Baumgartner, G., Ramanujam, J., Sadayappan, P. (eds.) LCPC 2005. LNCS, vol.\u00a04339, pp. 259\u2013273. Springer, Heidelberg (2006), http:\/\/dx.doi.org\/10.1007\/978-3-540-69330-7_18"},{"issue":"4","key":"10_CR10","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1145\/1027084.1027087","volume":"9","author":"S. Gupta","year":"2004","unstructured":"Gupta, S., Gupta, R.K., Dutt, N.D., Nicolau, A.: Coordinated parallelizing compiler optimizations and high-level synthesis. ACM Trans. Design Autom. Electr. Syst.\u00a09(4), 441\u2013470 (2004)","journal-title":"ACM Trans. Design Autom. Electr. Syst."},{"key":"10_CR11","first-page":"3","volume-title":"Proceedings of the Workload Characterization, WWC-4, 2001 IEEE International Workshop","author":"M.R. Guthaus","year":"2001","unstructured":"Guthaus, M.R., Ringenberg, J.S., Ernst, D., Austin, T.M., Mudge, T., Brown, R.B.: Mibench: A free, commercially representative embedded benchmark suite. In: Proceedings of the Workload Characterization, WWC-4, 2001 IEEE International Workshop, pp. 3\u201314. IEEE Computer Society, Washington, DC (2001)"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1109\/PACT.2000.888348","volume-title":"Proceedings of the 2000 International Conference on Parallel Architectures and Compilation Techniques, PACT 2000","author":"T. Kisuki","year":"2000","unstructured":"Kisuki, T., Knijnenburg, P.M.W., O\u2019Boyle, M.F.P.: Combined selection of tile sizes and unroll factors using iterative compilation. In: Proceedings of the 2000 International Conference on Parallel Architectures and Compilation Techniques, PACT 2000, p. 237. IEEE Computer Society, Washington, DC (2000)"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1145\/996841.996863","volume-title":"Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation, PLDI 2004","author":"P. Kulkarni","year":"2004","unstructured":"Kulkarni, P., Hines, S., Hiser, J., Whalley, D., Davidson, J., Jones, D.: Fast searches for effective optimization phase sequences. In: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation, PLDI 2004, pp. 171\u2013182. ACM, New York (2004)"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Lattner, C., Adve, V.: LLVM: A compilation framework for lifelong program analysis & transformation. In: Proc. Int. Symp. on Code Generation and Optimization, p. 75 (2004)","DOI":"10.1109\/CGO.2004.1281665"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Lee, B.: A new algorithm to compute the discrete cosine transform. IEEE Trans. Acoustics, Speech and Signal Processing (6), 1243\u20131245 (1984)","DOI":"10.1109\/TASSP.1984.1164443"},{"key":"10_CR16","first-page":"319","volume-title":"Proceedings of the International Symposium on Code Generation and Optimization, CGO 2006","author":"Z. Pan","year":"2006","unstructured":"Pan, Z., Eigenmann, R.: Fast and effective orchestration of compiler optimizations for automatic performance tuning. In: Proceedings of the International Symposium on Code Generation and Optimization, CGO 2006, pp. 319\u2013332. IEEE Computer Society, Washington, DC (2006)"},{"key":"10_CR17","unstructured":"Pollock, L.L.: An approach to incremental compilation of optimized code. PhD thesis, Pittsburgh, PA, USA, UMI order no. GAX86-20225 (1986)"},{"key":"10_CR18","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1109\/CGO.2005.29","volume-title":"Proceedings of the International Symposium on Code Generation and Optimization, CGO 2005","author":"M. Stephenson","year":"2005","unstructured":"Stephenson, M., Amarasinghe, S.: Predicting unroll factors using supervised classification. In: Proceedings of the International Symposium on Code Generation and Optimization, CGO 2005, pp. 123\u2013134. IEEE Computer Society, Washington, DC (2005)"},{"key":"10_CR19","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/781131.781141","volume-title":"Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, PLDI 2003","author":"M. Stephenson","year":"2003","unstructured":"Stephenson, M., Amarasinghe, S., Martin, M., O\u2019Reilly, U.-M.: Meta optimization: improving compiler heuristics with machine learning. In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, PLDI 2003, pp. 77\u201390. ACM, New York (2003)"},{"key":"10_CR20","first-page":"264","volume-title":"Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009","author":"R. Tate","year":"2009","unstructured":"Tate, R., Stepp, M., Tatlock, Z., Lerner, S.: Equality saturation: a new approach to optimization. In: Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, pp. 264\u2013276. ACM, New York (2009)"},{"key":"10_CR21","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1109\/CGO.2003.1191546","volume-title":"Proceedings of the International Symposium on Code Generation and Optimization: Feedback-Directed and Runtime Optimization, CGO 2003","author":"S. Triantafyllis","year":"2003","unstructured":"Triantafyllis, S., Vachharajani, M., Vachharajani, N., August, D.I.: Compiler optimization-space exploration. In: Proceedings of the International Symposium on Code Generation and Optimization: Feedback-Directed and Runtime Optimization, CGO 2003, pp. 204\u2013215. IEEE Computer Society, Washington, DC (2003)"},{"key":"10_CR22","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/99163.99179","volume-title":"Proceedings of the Second ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming, PPOPP 1990","author":"D. Whitfield","year":"1990","unstructured":"Whitfield, D., Soffa, M.L.: An approach to ordering optimizing transformations. In: Proceedings of the Second ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming, PPOPP 1990, pp. 137\u2013146. ACM, New York (1990)"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Zhang, Z., Fan, Y., Jiang, W., Han, G., Yang, C., Cong, J.: AutoPilot: A Platform-Based ESL Synthesis System, pp. 99\u2013112 (2008)","DOI":"10.1007\/978-1-4020-8588-8_6"},{"key":"10_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/780732.780734","volume-title":"Proceedings of the 2003 ACM SIGPLAN Conference on Language, Compiler, and Tool for Embedded Systems, LCTES 2003","author":"M. Zhao","year":"2003","unstructured":"Zhao, M., Childers, B., Soffa, M.L.: Predicting the impact of optimizations for embedded systems. In: Proceedings of the 2003 ACM SIGPLAN Conference on Language, Compiler, and Tool for Embedded Systems, LCTES 2003, pp. 1\u201311. ACM, New York (2003)"},{"key":"10_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-00722-4_4","volume-title":"Compiler Construction","author":"M. Zhao","year":"2009","unstructured":"Zhao, M., Childers, B.R., Soffa, M.L.: A Framework for Exploring Optimization Properties. In: de Moor, O., Schwartzbach, M.I. (eds.) CC 2009. LNCS, vol.\u00a05501, pp. 32\u201347. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37658-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,11]],"date-time":"2019-07-11T17:53:47Z","timestamp":1562867627000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37658-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642376573","9783642376580"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37658-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}