{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:02:45Z","timestamp":1725901365281},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642311277"},{"type":"electronic","value":"9783642311284"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31128-4_7","type":"book-chapter","created":{"date-parts":[[2012,6,18]],"date-time":"2012-06-18T09:23:33Z","timestamp":1340011413000},"page":"83-99","source":"Crossref","is-referenced-by-count":3,"title":["Abstraction Analysis and Certified Flow and Context Sensitive Points-to Relation for Distributed Programs"],"prefix":"10.1007","author":[{"given":"Mohamed A.","family":"El-Zawawy","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/3-540-61695-0_24","volume-title":"Parallel Computation","author":"W. Amme","year":"1996","unstructured":"Amme, W., Zehendner, E.: A\/D Graphs - a Data Structure for Data Dependence Analysis in Programs with Pointers. In: B\u00f6sz\u00f6rme\u2019nyi, L. (ed.) ACPC 1996. LNCS, vol.\u00a01127, pp. 229\u2013230. Springer, Heidelberg (1996)"},{"issue":"5","key":"7_CR2","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1049\/iet-sen.2010.0141","volume":"5","author":"S.S. Barpanda","year":"2011","unstructured":"Barpanda, S.S., Mohapatra, D.P.: Dynamic slicing of distributed object-oriented programs. IET Software\u00a05(5), 425\u2013433 (2011)","journal-title":"IET Software"},{"key":"7_CR3","unstructured":"Cazorla, D., Cuartero, F., Ruiz, V.V., Pelayo, F.L.: A denotational model for probabilistic and nondeterministic processes. In: Lai, T.-H. (ed.) ICDCS Workshop on Distributed System Validation and Verification, pp. E41\u2013E48 (2000)"},{"issue":"10","key":"7_CR4","doi-asserted-by":"publisher","first-page":"893","DOI":"10.1109\/TPDS.2004.56","volume":"15","author":"P.-S. Chen","year":"2004","unstructured":"Chen, P.-S., Hwang, Y.-S., Ju, R.D.-C., Lee, J.K.: Interprocedural probabilistic pointer analysis. IEEE Trans. Parallel Distrib. Syst.\u00a015(10), 893\u2013907 (2004)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"1","key":"7_CR5","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/j.parco.2010.09.002","volume":"37","author":"Y.-C. Chiu","year":"2011","unstructured":"Chiu, Y.-C., Shieh, C.-K., Huang, T.-C., Liang, T.-Y., Chu, K.-C.: Data race avoidance and replay scheme for developing and debugging parallel programs on distributed shared memory systems. Parallel Computing\u00a037(1), 11\u201325 (2011)","journal-title":"Parallel Computing"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"El-Zawawy, M., Daoud, N.: New error-recovery techniques for faulty-calls of functions. Computer and Information Science\u00a04(3) (May 2012)","DOI":"10.5539\/cis.v5n3p67"},{"key":"7_CR7","unstructured":"El-Zawawy, M.A.: Semantic spaces in Priestley form. PhD thesis, University of Birmingham, UK (January 2007)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-642-21934-4_29","volume-title":"Computational Science and Its Applications - ICCSA 2011","author":"M.A. El-Zawawy","year":"2011","unstructured":"El-Zawawy, M.A.: Flow Sensitive-Insensitive Pointer Analysis Based Memory Safety for Multithreaded Programs. In: Murgante, B., Gervasi, O., Iglesias, A., Taniar, D., Apduhan, B.O. (eds.) ICCSA 2011, Part V. LNCS, vol.\u00a06786, pp. 355\u2013369. Springer, Heidelberg (2011)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"El-Zawawy, M.A.: Probabilistic pointer analysis for multithreaded programs. ScienceAsia\u00a037(4) (December 2011)","DOI":"10.2306\/scienceasia1513-1874.2011.37.344"},{"key":"7_CR10","unstructured":"El-Zawawy, M.A.: Program optimization based pointer analysis and live stack-heap analysis. International Journal of Computer Science Issues\u00a08(2) (March 2011)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"El-Zawawy, M.A.: Dead code elimination based pointer analysis for multithreaded programs. Journal of the Egyptian Mathematical Society (January 2012), doi:10.1016\/j.joems.2011.12.011","DOI":"10.1016\/j.joems.2011.12.011"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/j.entcs.2006.04.011","volume":"158","author":"M.A. El-Zawawy","year":"2006","unstructured":"El-Zawawy, M.A., Jung, A.: Priestley duality for strong proximity lattices. Electr. Notes Theor. Comput. Sci.\u00a0158, 199\u2013217 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"7_CR13","unstructured":"El-Zawawy, M.A., Nayel, H.A.: Partial redundancy elimination for multi-threaded programs. IJCSNS International Journal of Computer Science and Network Security\u00a011(10) (October 2011)"},{"issue":"2\/3","key":"7_CR14","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1142\/S0129626401000658","volume":"11","author":"M. Guo","year":"2001","unstructured":"Guo, M.: Denotational semantics of an hpf-like data-parallel langguage model. Parallel Processing Letters\u00a011(2\/3), 363\u2013374 (2001)","journal-title":"Parallel Processing Letters"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Hicks, J.: Experiences with compiler-directed storage reclamation. In: FPCA, pp. 95\u2013105 (1993)","DOI":"10.1145\/165180.165194"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Seragiotto Jr., C., Fahringer, T.: Performance analysis for distributed and parallel java programs with aksum. In: CCGRID, pp. 1024\u20131031. IEEE Computer Society (2005)","DOI":"10.1109\/CCGRID.2005.1558673"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/978-3-540-74061-2_18","volume-title":"Static Analysis","author":"A. Kamil","year":"2007","unstructured":"Kamil, A., Yelick, K.A.: Hierarchical Pointer Analysis for Distributed Programs. In: Riis Nielson, H., Fil\u00e9, G. (eds.) SAS 2007. LNCS, vol.\u00a04634, pp. 281\u2013297. Springer, Heidelberg (2007)"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Liblit, B., Aiken, A.: Type systems for distributed data structures. In: POPL, pp. 199\u2013213 (2000)","DOI":"10.21236\/ADA603881"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/3-540-44898-5_15","volume-title":"Static Analysis","author":"B. Liblit","year":"2003","unstructured":"Liblit, B., Aiken, A., Yelick, K.A.: Type Systems for Distributed Data Sharing. In: Cousot, R. (ed.) SAS 2003. LNCS, vol.\u00a02694, pp. 273\u2013294. Springer, Heidelberg (2003)"},{"issue":"1","key":"7_CR20","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/s11227-010-0439-6","volume":"59","author":"P. Lindberg","year":"2012","unstructured":"Lindberg, P., Leingang, J., Lysaker, D., Khan, S.U., Li, J.: Comparison and analysis of eight scheduling heuristics for the optimization of energy consumption and makespan in large-scale distributed systems. The Journal of Supercomputing\u00a059(1), 323\u2013360 (2012)","journal-title":"The Journal of Supercomputing"},{"issue":"2","key":"7_CR21","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/j.cmpb.2011.05.006","volume":"104","author":"T.U. Onbay","year":"2011","unstructured":"Onbay, T.U., Kantarci, A.: Design and implementation of a distributed teleradiaography system: Dipacs. Computer Methods and Programs in Biomedicine\u00a0104(2), 235\u2013242 (2011)","journal-title":"Computer Methods and Programs in Biomedicine"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Park, C.-S., Sen, K., Hargrove, P., Iancu, C.: Efficient data race detection for distributed memory parallel programs. In: Lathrop, S., Costa, J., Kramer, W. (eds.) SC, p. 51. ACM (2011)","DOI":"10.1145\/2063384.2063452"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Rugina, R., Rinard, M.C.: Pointer analysis for multithreaded programs. In: PLDI, pp. 77\u201390 (1999)","DOI":"10.1145\/301631.301645"},{"key":"7_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BFb0022470","volume-title":"Semantics of Concurrent Computation","author":"J.S. Schwartz","year":"1979","unstructured":"Schwartz, J.S.: Denotational Semantics of Parallelism. In: Kahn, G. (ed.) Semantics of Concurrent Computation. LNCS, vol.\u00a070, pp. 191\u2013202. Springer, Heidelberg (1979)"},{"issue":"2","key":"7_CR25","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1155\/2006\/763568","volume":"14","author":"S. Simmons","year":"2006","unstructured":"Simmons, S., Edwards, D., Kearns, P.: Communication analysis of distributed programs. Scientific Programming\u00a014(2), 151\u2013170 (2006)","journal-title":"Scientific Programming"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Toporkov, V.V.: Dataflow analysis of distributed programs using generalized marked nets. In: DepCoS-RELCOMEX, pp. 73\u201380. IEEE Computer Society (2007)","DOI":"10.1109\/DEPCOS-RELCOMEX.2007.14"},{"key":"7_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/11549468_9","volume-title":"Euro-Par 2005 Parallel Processing","author":"H.L. Truong","year":"2005","unstructured":"Truong, H.L., Fahringer, T.: Soft Computing Approach to Performance Analysis of Parallel and Distributed Programs. In: Cunha, J.C., Medeiros, P.D. (eds.) Euro-Par 2005. LNCS, vol.\u00a03648, pp. 50\u201360. Springer, Heidelberg (2005)"},{"issue":"2","key":"7_CR28","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1006\/jpdc.1999.1554","volume":"58","author":"Y. Zhu","year":"1999","unstructured":"Zhu, Y., Hendren, L.J.: Communication optimizations for parallel c programs. J. Parallel Distrib. Comput.\u00a058(2), 301\u2013332 (1999)","journal-title":"J. Parallel Distrib. Comput."}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2012"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31128-4_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:46:52Z","timestamp":1620128812000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31128-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642311277","9783642311284"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31128-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}