{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T14:03:26Z","timestamp":1751033006254,"version":"3.41.0"},"publisher-location":"Cham","reference-count":42,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319297774"},{"type":"electronic","value":"9783319297781"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-29778-1_4","type":"book-chapter","created":{"date-parts":[[2016,2,19]],"date-time":"2016-02-19T04:16:33Z","timestamp":1455855393000},"page":"57-72","source":"Crossref","is-referenced-by-count":9,"title":["Polyhedral Optimizations for a Data-Flow Graph Language"],"prefix":"10.1007","author":[{"given":"Alina","family":"Sb\u00eerlea","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Shirako","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Louis-No\u00ebl","family":"Pouchet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vivek","family":"Sarkar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,2,20]]},"reference":[{"key":"4_CR1","unstructured":"Hydrodynamics Challenge Problem, Lawrence Livermore National Laboratory. Technical report LLNL-TR-490254"},{"key":"4_CR2","unstructured":"The PACE compiler project. http:\/\/pace.rice.edu"},{"key":"4_CR3","unstructured":"The Swarm Framework. http:\/\/swarmframework.org\/"},{"key":"4_CR4","unstructured":"Building an open community runtime (OCR) framework for exascale systems, supercomputing 2012 Birds-of-a-feather session, November 2012"},{"key":"4_CR5","unstructured":"Ackerman, W., Dennis, J.: VAL - A Value Oriented Algorithmic Language. Technical report TR-218, MIT Laboratory for Computer Science, June 1979"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Agrawal, K., et al.: Executing task graphs using work-stealing. In: IPDPS (2010)","DOI":"10.1109\/IPDPS.2010.5470403"},{"key":"4_CR7","unstructured":"Arvind., Dertouzos, M., Nikhil, R., Papadopoulos, G.: Project Dataflow: A parallel computing system based on the Monsoon architecture and the Id programming language. Technical report, MIT Lab for Computer Science, computation Structures Group Memo 285, March 1988"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Bastoul, C.: Code generation in the polyhedral model is easier than you think. In: PACT, pp. 7\u201316 (2004)","DOI":"10.1109\/PACT.2004.1342537"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Bauer, M., Treichler, S., Slaughter, E., Aiken, A.: Legion: expressing locality and independence with logical regions. In: SC (2012)","DOI":"10.1109\/SC.2012.71"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-37051-9_7","volume-title":"Compiler Construction","author":"SG Bhaskaracharya","year":"2013","unstructured":"Bhaskaracharya, S.G., Bondhugula, U.: PolyGLoT: a polyhedral loop transformation framework for a graphical dataflow language. In: Jhala, R., De Bosschere, K. (eds.) Compiler Construction. LNCS, vol. 7791, pp. 123\u2013143. Springer, Heidelberg (2013)"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Bondhugula, U., Hartono, A., Ramanujam, J., Sadayappan, P.: A practical automatic polyhedral parallelizer and locality optimizer. In: PLDI (2008)","DOI":"10.1145\/1375581.1375595"},{"key":"4_CR12","first-page":"203","volume":"18","author":"Z Budimli\u0107","year":"2010","unstructured":"Budimli\u0107, Z., Burke, M., Cav\u00e9, V., Knobe, K., Lowney, G., Newton, R., Palsberg, J., Peixotto, D., Sarkar, V., Schlimbach, F., Ta\u015firlar, S.: Concurrent collections. Sci. Program. 18, 203\u2013217 (2010)","journal-title":"Sci. Program."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Chandramowlishwaran, A., Knobe, K., Vuduc, R.: Performance evaluation of concurrent collections on high-performance multicore computing systems. In: 2010 IEEE International Symposium on Parallel Distributed Processing (IPDPS), pp. 1\u201312, April 2010","DOI":"10.1109\/IPDPS.2010.5470404"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Chatarasi, P., Shirako, J., Sarkar, V.: Polyhedral optimizations of explicitly parallel programs. In: Proceedings of PACT 2015 (2015)","DOI":"10.1109\/PACT.2015.44"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Chatterjee, S., Tasrlar, S., Budimlic, Z., Cave, V., Chabbi, M., Grossman, M., Sarkar, V., Yan, Y.: Integrating asynchronous task parallelism with MPI. In: IPDPS (2013)","DOI":"10.1109\/IPDPS.2013.78"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/3-540-61626-8_54","volume-title":"Euro-Par \u201996 - Parallel Processing","author":"J-F Collard","year":"1996","unstructured":"Collard, J.-F., Griebl, M.: Array dataflow analysis for explicitly parallel programs. In: Boug\u00e9, L., Fraigniaud, P., Mignotte, A., Robert, Y. (eds.) Euro-Par 1996. LNCS, vol. 1123, pp. 406\u2013416. Springer, Heidelberg (1996)"},{"key":"4_CR17","unstructured":"Cytron, R.: Doacross: beyond vectorization for multiprocessors. In: ICPP 1986, pp. 836\u2013844 (1986)"},{"issue":"6","key":"4_CR18","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/BF01379404","volume":"21","author":"P Feautrier","year":"1992","unstructured":"Feautrier, P.: Some efficient solutions to the affine scheduling problem, part II: multidimensional time. Int. J. Parallel Program. 21(6), 389\u2013420 (1992)","journal-title":"Int. J. Parallel Program."},{"key":"4_CR19","unstructured":"Feautrier, P., Lengauer, C.: The polyhedron model. In: Encyclopedia of Parallel Programming (2011)"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Hong, S., Salihoglu, S., Widom, J., Olukotun, K.: Simplifying scalable graph processing with a domain-specific language. In: CGO (2014)","DOI":"10.1145\/2581122.2544162"},{"key":"4_CR21","unstructured":"IntelCorporation: Intel (R) Concurrent Collections for C\/C++. http:\/\/softwarecommunity.intel.com\/articles\/eng\/3862.htm"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Karlin, I., et al.: Lulesh programming model and performance ports overview. Techical report. LLNL-TR-608824, December 2012","DOI":"10.2172\/1059462"},{"issue":"4","key":"4_CR23","first-page":"61","volume":"11","author":"M Kong","year":"2015","unstructured":"Kong, M., Pop, A., Pouchet, L.N., Govindarajan, R., Cohen, A., Sadayappan, P.: Compiler\/runtime framework for dynamic dataflow parallelization of tiled programs. ACM Trans. Archit. Code Optim. (TACO) 11(4), 61 (2015)","journal-title":"ACM Trans. Archit. Code Optim. (TACO)"},{"issue":"7","key":"4_CR24","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558\u2013565 (1978). http:\/\/doi.acm.org\/10.1145\/359545.359563","journal-title":"Commun. ACM"},{"key":"4_CR25","unstructured":"Pouchet, L.-N.: The Polyhedral Benchmark Suite. http:\/\/polybench.sourceforge.net"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Lu, Q., Bondhugula, U., Henretty, T., Krishnamoorthy, S., Ramanujam, J., Rountev, A., Sadayappan, P., Chen, Y., Lin, H., Fook Ngai, T.: Data layout transformation for enhancing data locality on NUCA chip multiprocessors. In: PACT (2009)","DOI":"10.1109\/PACT.2009.36"},{"key":"4_CR27","unstructured":"McGraw, J.: SISAL - Streams and Iteration in a Single-Assignment Language - Version 1.0. Lawrence Livermore National Laboratory, July 1983"},{"key":"4_CR28","unstructured":"OpenMP Technical Report 3 on OpenMP 4.0 enhancements. http:\/\/openmp.org\/TR3.pdf"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Sarkar, V., Harrod, W., Snavely, A.E.: Software Challenges in Extreme Scale Systems, special Issue on Advanced Computing: The Roadmap to Exascale, January 2010","DOI":"10.1088\/1742-6596\/180\/1\/012045"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Sarkar, V., Hennessy, J.: Partitioning parallel programs for macro-dataflow. In: ACM Conference on LISP and Functional Programming, pp. 202\u2013211, August 1986","DOI":"10.1145\/319838.319863"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"Sbirlea, A., Pouchet, L.N., Sarkar, V.: DFGR: an intermediate graph representation for macro-dataflow programs. In: Fourth International Workshop on Data-Flow Modelsfor Extreme Scale Computing (DFM 2014), August 2014","DOI":"10.1109\/DFM.2014.9"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Sb\u00eerlea, A., Zou, Y., Budimli\u0107, Z., Cong, J., Sarkar, V.: Mapping a data-flow programming model onto heterogeneous platforms. In: LCTES (2012)","DOI":"10.1145\/2248418.2248428"},{"key":"4_CR33","doi-asserted-by":"crossref","unstructured":"Shirako, J., Pouchet, L.N., Sarkar, V.: Oil and water can mix: an integration of polyhedral and AST-based transformations. In: Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis, SC 2014 (2014)","DOI":"10.1109\/SC.2014.29"},{"key":"4_CR34","unstructured":"Shirako, J., Unnikrishnan, P., Chatterjee, S., Li, K., Sarkar, V.: Expressing DOACROSS loop dependencies in OpenMP. In: 9th International Workshop on OpenMP (IWOMP) (2011)"},{"key":"4_CR35","doi-asserted-by":"crossref","unstructured":"Stavrou, K., Nikolaides, M., Pavlou, D., Arandi, S., Evripidou, P., Trancoso, P.: TFlux: a portable platform for data-driven multithreading on commodity multicore systems. In: ICPP (2008)","DOI":"10.1109\/ICPP.2008.74"},{"key":"4_CR36","unstructured":"The STE\u2014AR Group: HPX, a C++ runtime system for parallel and distributed applications of any scale. http:\/\/stellar.cct.lsu.edu\/tag\/hpx"},{"key":"4_CR37","unstructured":"UCLA, Rice, OSU, UCSB: Center for Domain-Specific Computing (CDSC). http:\/\/cdsc.ucla.edu"},{"key":"4_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-642-32820-6_23","volume-title":"Euro-Par 2012 Parallel Processing","author":"P Unnikrishnan","year":"2012","unstructured":"Unnikrishnan, P., Shirako, J., Barton, K., Chatterjee, S., Silvera, R., Sarkar, V.: A practical approach to DOACROSS parallelization. In: Kaklamanis, C., Papatheodorou, T., Spirakis, P.G. (eds.) Euro-Par 2012. LNCS, vol. 7484, pp. 219\u2013231. Springer, Heidelberg (2012)"},{"key":"4_CR39","unstructured":"Vrvilo, N.: Asynchronous Checkpoint\/Restart for the Concurrent Collections Model. MS thesis, Rice University (2014). https:\/\/habanero.rice.edu\/vrvilo-ms"},{"key":"4_CR40","unstructured":"Wonnacott, D.G.: Constraint-based Array Dependence Analysis. Ph.D. thesis, College Park, MD, USA, uMI Order No. GAX96-22167 (1995)"},{"key":"4_CR41","doi-asserted-by":"crossref","unstructured":"Yuki, T., Feautrier, P., Rajopadhye, S., Saraswat, V.: Array dataflow analysis for polyhedral X10 programs. In: Proceedings of the 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2007 (2013)","DOI":"10.1145\/2442516.2442520"},{"key":"4_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-37658-0_2","volume-title":"Languages and Compilers for Parallel Computing","author":"T Yuki","year":"2013","unstructured":"Yuki, T., Gupta, G., Kim, D.G., Pathan, T., Rajopadhye, S.: AlphaZ: a system for design space exploration in the polyhedral model. In: Kasahara, H., Kimura, K. (eds.) LCPC 2012. LNCS, vol. 7760, pp. 17\u201331. Springer, Heidelberg (2013)"}],"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-319-29778-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T12:36:00Z","timestamp":1748781360000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-29778-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319297774","9783319297781"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-29778-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}