{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T14:38:46Z","timestamp":1649083126162},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,6,1]],"date-time":"2011-06-01T00:00:00Z","timestamp":1306886400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Syst Assur Eng Manag"],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1007\/s13198-011-0069-2","type":"journal-article","created":{"date-parts":[[2011,9,17]],"date-time":"2011-09-17T04:19:20Z","timestamp":1316233160000},"page":"135-143","source":"Crossref","is-referenced-by-count":0,"title":["HEAT: a combined approach for thread escape analysis"],"prefix":"10.1007","volume":"2","author":[{"given":"Qichang","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liqiang","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zijiang","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,9,18]]},"reference":[{"key":"69_CR18","unstructured":"Apache tomcat, version 6.0.16. Available from http:\/\/tomcat.apache.org"},{"key":"69_CR1","doi-asserted-by":"crossref","unstructured":"Bogda J, H\u00f6lzle U (1999) Removing unnecessary synchronization in java. SIGPLAN Not 34(10):35\u201346 http:\/\/doi.acm.org\/10.1145\/320385.320388","DOI":"10.1145\/320384.320388"},{"key":"69_CR2","doi-asserted-by":"crossref","unstructured":"Chen F, Serbanuta TF, Rosu G (2008) jpredictor: a predictive runtime analysis tool for java. In: ICSE \u201908: proceedings of the 30th international conference on Software engineering, pp 221\u2013230. ACM, New York, NY, USA. http:\/\/doi.acm.org\/10.1145\/1368088.1368119","DOI":"10.1145\/1368088.1368119"},{"key":"69_CR17","doi-asserted-by":"crossref","unstructured":"Chen Q, Wang L, Yang Z (2009) HEAT: a combined static and dynamic approach for escape analysis. In: 33rd annual IEEE international Computer Software and Applications Conference (COMPSAC2009). IEEE Press, Seattle, USA","DOI":"10.1109\/COMPSAC.2009.28"},{"key":"69_CR3","doi-asserted-by":"crossref","unstructured":"Choi JD, Gupta M, Serrano MJ, Sreedhar VC, Midkiff SP (2003) Stack allocation and synchronization optimizations for java using escape analysis. ACM Trans. Program Lang Syst 25(6):876\u2013910. http:\/\/doi.acm.org\/10.1145\/945885.945892","DOI":"10.1145\/945885.945892"},{"key":"69_CR4","doi-asserted-by":"crossref","unstructured":"Dwyer MB, Hatcliff J, Robby, Ranganath VP (2004) Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs. Form Method Syst Des 25(2\u20133):199\u2013240","DOI":"10.1023\/B:FORM.0000040028.49845.67"},{"key":"69_CR5","unstructured":"Eclipse. Available from http:\/\/www.eclipse.org\/"},{"key":"69_CR6","unstructured":"Java Grande Forum. Java Grande Multi-threaded Benchmark Suite. version 1.0. Available from http:\/\/www.javagrande.org\/"},{"key":"69_CR7","unstructured":"Jigsaw, version 2.2.6. Available from http:\/\/www.w3c.org"},{"key":"69_CR9","doi-asserted-by":"crossref","unstructured":"Lee K, Midkiff SP (2006) A two-phase escape analysis for parallel java programs. In: PACT \u201906: proceedings of the 15th international conference on Parallel architectures and compilation techniques. ACM, New York, NY, USA, pp 53\u201362. http:\/\/doi.acm.org\/10.1145\/1152154.1152166","DOI":"10.1145\/1152154.1152166"},{"key":"69_CR8","unstructured":"Lee K, Fang X, Midkiff SP (2007) Practical escape analyses: how good are they? In: VEE \u201907: proceedings of the 3rd international conference on virtual execution environments. ACM, New York, NY, USA, pp 180\u2013190. http:\/\/doi.acm.org\/10.1145\/1254810.1254836"},{"key":"69_CR10","doi-asserted-by":"crossref","unstructured":"Majumdar R, Sen K (2007) Hybrid concolic testing. In: Proceedings of the 29th International Conference on Software Engineering (ICSE). Institute of Electrical and Electronics Engineers","DOI":"10.1109\/ICSE.2007.41"},{"key":"69_CR11","unstructured":"Nishiyama H (2004) Detecting data races using dynamic escape analysis based on read barrier. In: VM\u201904: proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium. USENIX Association, Berkeley, CA, USA, pp 10\u201310"},{"key":"69_CR13","doi-asserted-by":"crossref","unstructured":"Ruf E (2000) Effective synchronization removal for Java. In: Proceedings of ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI). ACM Press, pp 208\u2013218","DOI":"10.1145\/349299.349327"},{"key":"69_CR14","doi-asserted-by":"crossref","unstructured":"Salcianu A, Rinard M (2001) Pointer and escape analysis for multithreaded programs. In: Proceedings of ACM SIGPLAN 2001 Symposium on Principles and Practice of Parallel Programming (PPoPP). ACM Press","DOI":"10.1145\/379539.379553"},{"key":"69_CR15","unstructured":"Smith LA, Bull JM (2001) A multithreaded java grande benchmark suite. In: Proceedings of the third workshop on java for high performance computing, pp 97\u2013105"},{"key":"69_CR16","doi-asserted-by":"crossref","unstructured":"Sura Z, Fang X, Wong CL, Midkiff SP, Lee J, Padua D (2005) Compiler techniques for high performance sequentially consistent java programs. In: PPoPP \u201905: proceedings of the tenth ACM SIGPLAN symposium on principles and practice of parallel programming. ACM, New York, NY, USA, pp 2\u201313. http:\/\/doi.acm.org\/10.1145\/1065944.1065947","DOI":"10.1145\/1065944.1065947"},{"key":"69_CR12","doi-asserted-by":"crossref","unstructured":"von Praun C, Gross TR (2001) Object race detection. In: Proceedings of 16th ACM conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), SIGPLAN Notices. ACM Press, vol 36(11):70\u201382. http:\/\/www.inf.ethz.ch\/ praun\/","DOI":"10.1145\/504311.504288"},{"key":"69_CR19","doi-asserted-by":"crossref","unstructured":"Whaley J, Rinard M (1999) Compositional pointer and escape analysis for Java programs. In: Proceedings of ACM conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). ACM Press, pp 187\u2013206. Appeared in ACM SIGPLAN Notices 34(10)","DOI":"10.1145\/320385.320400"}],"container-title":["International Journal of System Assurance Engineering and Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13198-011-0069-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13198-011-0069-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13198-011-0069-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,15]],"date-time":"2019-06-15T20:23:03Z","timestamp":1560630183000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13198-011-0069-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,6]]}},"alternative-id":["69"],"URL":"https:\/\/doi.org\/10.1007\/s13198-011-0069-2","relation":{},"ISSN":["0975-6809","0976-4348"],"issn-type":[{"value":"0975-6809","type":"print"},{"value":"0976-4348","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,6]]}}}