{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T18:01:01Z","timestamp":1742925661621,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319050317"},{"type":"electronic","value":"9783319050324"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05032-4_7","type":"book-chapter","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T09:36:26Z","timestamp":1394184986000},"page":"82-98","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Scalable Session Programming for Heterogeneous High-Performance Systems"],"prefix":"10.1007","author":[{"given":"Nicholas","family":"Ng","sequence":"first","affiliation":[]},{"given":"Nobuko","family":"Yoshida","sequence":"additional","affiliation":[]},{"given":"Wayne","family":"Luk","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,3,8]]},"reference":[{"issue":"10","key":"7_CR1","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/1562764.1562783","volume":"52","author":"K Asanovic","year":"2009","unstructured":"Asanovic, K., Bodik, R., Demmel, J., Keaveny, T., Keutzer, K., Kubiatowicz, J., Morgan, N., Patterson, D., Sen, K., Wawrzynek, J., Wessel, D., Yelick, K.: A view of the parallel computing landscape. Commun. ACM 52(10), 56\u201367 (2009)","journal-title":"Commun. ACM"},{"issue":"4","key":"7_CR2","first-page":"1","volume":"8","author":"PM Deni\u00e9lou","year":"2012","unstructured":"Deni\u00e9lou, P.M., Yoshida, N., Bejleri, A., Hu, R.: Parameterised multiparty session types. LMCS 8(4), 1\u201347 (2012)","journal-title":"LMCS"},{"issue":"12","key":"7_CR3","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/2043174.2043194","volume":"54","author":"G Gopalakrishnan","year":"2011","unstructured":"Gopalakrishnan, G., Kirby, R.M., Siegel, S., Thakur, R., Gropp, W., Lusk, E., De Supinski, B.R., Schulz, M., Bronevetsky, G.: Formal analysis of mpi-based parallel programs. CACM 54(12), 82\u201391 (2011)","journal-title":"CACM"},{"key":"7_CR4","series-title":"LNCS","first-page":"291","volume-title":"EuroMPI 2012","author":"K Honda","year":"2012","unstructured":"Honda, K., Marques, E.R.B., Martins, F., Ng, N., Vasconcelos, V.T., Yoshida, N.: Verification of MPI programs using session types. In: Tr\u00e4ff, J.L., Benkner, S., Dongarra, J.J. (eds.) EuroMPI 2012. LNCS, vol. 7490, pp. 291\u2013293. Springer, Heidelberg (2012)"},{"key":"7_CR5","series-title":"LNCS","first-page":"55","volume-title":"ICDCIT 2011","author":"K Honda","year":"2011","unstructured":"Honda, K., Mukhamedov, A., Brown, G., Chen, T.-C., Yoshida, N.: Scribbling interactions with a formal foundation. In: Natarajan, R., Ojo, A. (eds.) ICDCIT 2011. LNCS, vol. 6536, pp. 55\u201375. Springer, Heidelberg (2011)"},{"key":"7_CR6","series-title":"LNCS","first-page":"122","volume-title":"ESOP 1998","author":"K Honda","year":"1998","unstructured":"Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, p. 122. Springer, Heidelberg (1998)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: POPL\u201908. vol. 5201, p. 273 (2008)","DOI":"10.1145\/1328897.1328472"},{"key":"7_CR8","series-title":"LNCS","first-page":"516","volume-title":"ECOOP 2008","author":"R Hu","year":"2008","unstructured":"Hu, R., Yoshida, N., Honda, K.: Session-based distributed programming in java. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 516\u2013541. Springer, Heidelberg (2008)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Marques, E., Martins, F., Vasconcelos, V., Ng, N., Martins, N.: Towards deductive verification of MPI programs against session types. In: Proc. PLACES 2013 EPTCS 137, pp. 103\u2013113 (2013)","DOI":"10.4204\/EPTCS.137.9"},{"key":"7_CR10","series-title":"LNCS","first-page":"316","volume-title":"ESOP 2009","author":"D Mostrous","year":"2009","unstructured":"Mostrous, D., Yoshida, N., Honda, K.: Global principal typing in partially commutative asynchronous sessions. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol. 5502, pp. 316\u2013332. Springer, Heidelberg (2009)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Ng, N., Yoshida, N.: Pabble: Parameterised scribble for parallel programming. In: PDP 2014 (2014) (to appear)","DOI":"10.1109\/PDP.2014.20"},{"key":"7_CR12","series-title":"LNCS","first-page":"202","volume-title":"TOOLS 2012","author":"N Ng","year":"2012","unstructured":"Ng, N., Yoshida, N., Honda, K.: Multiparty session C: safe parallel programming with message optimisation. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol. 7304, pp. 202\u2013218. Springer, Heidelberg (2012)"},{"issue":"5","key":"7_CR13","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/2460216.2460221","volume":"40","author":"N Ng","year":"2012","unstructured":"Ng, N., Yoshida, N., Niu, X.Y., Tsoi, K.H., Luk, W.: Session types: towards safe and fast reconfigurable programming. SIGARCH Comput. Archit. News 40(5), 22\u201327 (2012)","journal-title":"SIGARCH Comput. Archit. News"},{"key":"7_CR14","series-title":"LNCS","first-page":"110","volume-title":"COORDINATION 2011","author":"N Ng","year":"2011","unstructured":"Ng, N., Yoshida, N., Pernet, O., Hu, R., Kryftis, Y.: Safe parallel programming with session java. In: De Meuter, W., Roman, G.-C. (eds.) COORDINATION 2011. LNCS, vol. 6721, pp. 110\u2013126. Springer, Heidelberg (2011)"},{"issue":"4","key":"7_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1862648.1862652","volume":"3","author":"M Salda\u00f1a","year":"2010","unstructured":"Salda\u00f1a, M., Patel, A., Madill, C., Nunes, D., Wang, D., Chow, P., Wittig, R., Styles, H., Putnam, A.: MPI as a programming model for high-performance reconfigurable computers. ACM TRETS 3(4), 1\u201329 (2010)","journal-title":"ACM TRETS"},{"key":"7_CR16","unstructured":"Scribble homepage, http:\/\/www.jboss.org\/scribble"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Siegel, S.F., Zirkel, T.K.: Automatic formal verification of MPI-based parallel programs. In: PPoPP\u201911, p. 309. ACM Press (2011)","DOI":"10.1145\/2038037.1941603"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Tsoi, K.H., Luk, W.: Axel: A Heterogeneous Cluster with FPGAs and GPUs. In: FPGA\u201910, pp. 115\u2013124. ACM (2010)","DOI":"10.1145\/1723112.1723134"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Vo, A., Aananthakrishnan, S., Gopalakrishnan, G., de Supinski, B.R., Schulz, M., Bronevetsky, G.: A Scalable and Distributed Dynamic Formal Verifier for MPI Programs. In: SC\u201910, pp. 1-10. IEEE (2010)","DOI":"10.1109\/SC.2010.7"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Vo, A., Vakkalanka, S., DeLisi, M., Gopalakrishnan, G., Kirby, R.M., Thakur, R.: Formal verification of practical MPI programs. In: PPoPP\u201909, pp. 261-270 (2009)","DOI":"10.1145\/1594835.1504214"},{"key":"7_CR21","unstructured":"Session C homepage, http:\/\/www.doc.ic.ac.uk\/~cn06\/sessionc\/"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05032-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T22:13:16Z","timestamp":1675807996000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05032-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319050317","9783319050324"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05032-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"8 March 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}