{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:27:49Z","timestamp":1759638469275},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642156458"},{"type":"electronic","value":"9783642156465"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15646-5_16","type":"book-chapter","created":{"date-parts":[[2010,9,6]],"date-time":"2010-09-06T03:43:52Z","timestamp":1283744632000},"page":"152-159","source":"Crossref","is-referenced-by-count":5,"title":["Precise Dynamic Analysis for Slack Elasticity: Adding Buffering without Adding Bugs"],"prefix":"10.1007","author":[{"given":"Sarvani","family":"Vakkalanka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anh","family":"Vo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ganesh","family":"Gopalakrishnan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert M.","family":"Kirby","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Compute Unified Device Architecture (CUDA), http:\/\/www.nvidia.com\/object\/cuda_get.html"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Danalis, A., Pollock, L., Swany, M., Cavazos, J.: Mpi-aware compiler optimizations for improving communication-computation overlap. In: ICS 2009 (2009)","DOI":"10.1145\/1542275.1542321"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"DeSouza, J., Kuhn, B., de Supinski, B.R., Samofalov, V., Zheltov, S., Bratanov, S.: Automated, scalable debugging of mpi programs with Intel Message Checker. In: SE-HPCS 2005 (2005)","DOI":"10.1145\/1145319.1145342"},{"key":"16_CR4","unstructured":"http:\/\/www.hpcx.ac.uk\/support\/FAQ\/eager.html"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Hilbrich, T., de Supinski, B.R., Schulz, M., M\u00fcller, M.S.: A graph based approach for MPI deadlock detection. In: ICS 2009, pp. 296\u2013305 (2009)","DOI":"10.1145\/1542275.1542319"},{"key":"16_CR6","unstructured":"http:\/\/www.cs.unb.ca\/acrl\/training\/general\/ibm_parallel_programming\/pgm3.PDF"},{"key":"16_CR7","unstructured":"PE MPI buffer management for eager protocol, http:\/\/publib.boulder.ibm.com\/infocenter\/clresctr\/vxrx\/index.jsp?topic=\/com.ibm.cluster.pe431.mpiprog.doc\/am106_buff.html"},{"issue":"7","key":"16_CR8","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\u00a021(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"16_CR9","unstructured":"Lusk, R., Pieper, S., Butler, R., Chan, A.: Asynchronous dynamic load balancing, http:\/\/unedf.org\/content\/talks\/Lusk-ADLB.pdf"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/BFb0054295","volume-title":"Mathematics of Program Construction","author":"R. Manohar","year":"1998","unstructured":"Manohar, R., Martin, A.J.: Slack elasticity in concurrent computing. In: Jeuring, J. (ed.) MPC 1998. LNCS, vol.\u00a01422, pp. 272\u2013285. Springer, Heidelberg (1998)"},{"key":"16_CR11","unstructured":"http:\/\/www.multicore-association.org"},{"key":"16_CR12","unstructured":"http:\/\/www.mpiblast.org"},{"key":"16_CR13","unstructured":"OpenCL: Open Computing Language, http:\/\/www.khronos.org\/opencl"},{"key":"16_CR14","unstructured":"ParMETIS - Parallel graph partitioning and fill-reducing matrix ordering. http:\/\/glaros.dtc.umn.edu\/gkhome\/metis\/parmetis\/overview"},{"key":"16_CR15","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1002\/cpe.605","volume":"14","author":"K. Schloegel","year":"2002","unstructured":"Schloegel, K., Karypis, G., Kumar, V.: Parallel static and dynamic multi-constraint graph partitioning. Concurrency and Computation: Practice and Experience\u00a014, 219\u2013240 (2002)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"16_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/978-3-540-30579-8_27","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"S.F. Siegel","year":"2005","unstructured":"Siegel, S.F.: Efficient verification of halting properties for MPI programs with wildcard receives. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol.\u00a03385, pp. 413\u2013429. Springer, Heidelberg (2005)"},{"key":"16_CR17","unstructured":"Vakkalanka, S.: Efficient Dynamic Verification Algorithms for MPI Applications. PhD Dissertation (2010), http:\/\/www.cs.utah.edu\/Theses"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Vakkalanka, S., DeLisi, M., Gopalakrishnan, G., Kirby, R.M.: Scheduling considerations for building dynamic verification tools for MPI. In: Parallel and Distributed Systems - Testing and Debugging (PADTAD-VI), Seattle, WA (July 2008)","DOI":"10.1145\/1390841.1390844"},{"key":"16_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-540-87475-1_34","volume-title":"Recent Advances in Parallel Virtual Machine and Message Passing Interface","author":"S. Vakkalanka","year":"2008","unstructured":"Vakkalanka, S., DeLisi, M., Gopalakrishnan, G., Kirby, R.M., Thakur, R., Gropp, W.: Implementing efficient dynamic formal verification methods for MPI programs. In: Lastovetsky, A., Kechadi, T., Dongarra, J. (eds.) EuroPVM\/MPI 2008. LNCS, vol.\u00a05205, pp. 248\u2013256. Springer, Heidelberg (2008)"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-540-70545-1_9","volume-title":"Computer Aided Verification","author":"S. Vakkalanka","year":"2008","unstructured":"Vakkalanka, S., Gopalakrishnan, G., Kirby, R.M.: Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol.\u00a05123, pp. 66\u201379. Springer, Heidelberg (2008)"},{"key":"16_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"724","DOI":"10.1007\/978-3-642-05089-3_46","volume-title":"FM 2009: Formal Methods","author":"S. Vakkalanka","year":"2009","unstructured":"Vakkalanka, S., Vo, A., Gopalakrishnan, G., Kirby, R.M.: Reduced execution semantics of mpi: From theory to practice. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol.\u00a05850, pp. 724\u2013740. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Recent Advances in the Message Passing Interface"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15646-5_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,3]],"date-time":"2023-06-03T01:47:48Z","timestamp":1685756868000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15646-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642156458","9783642156465"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15646-5_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}