{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:45:13Z","timestamp":1725565513258},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642157684"},{"type":"electronic","value":"9783642157691"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15769-1_10","type":"book-chapter","created":{"date-parts":[[2010,9,13]],"date-time":"2010-09-13T06:09:40Z","timestamp":1284358180000},"page":"151-166","source":"Crossref","is-referenced-by-count":10,"title":["Concurrent Separation Logic for Pipelined Parallelization"],"prefix":"10.1007","author":[{"given":"Christian J.","family":"Bell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew W.","family":"Appel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Walker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Bell, C.J., Appel, A.W., Walker, D.: Concurrent Separation Logic for Pipelined Parallelization (2010), http:\/\/www.cs.princeton.edu\/cbell\/cslchannels\/cslchannels_techreport.pdf","DOI":"10.1007\/978-3-642-15769-1_10"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Bridges, M.J., Vachharajani, N., Zhang, Y., Jablin, T., August, D.I.: Revisiting the Sequential Programming Model for Multi-Core. In: Proceedings of the 40th IEEE\/ACM International Symposium on Microarchitecture (MICRO), pp. 69\u201381 (December 2007)","DOI":"10.1109\/MICRO.2007.20"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Calcagno, C., O\u2019Hearn, P., Yang, H.: Local actions and abstract separation logic. In: Proceeding of the 22nd Annual IEEE Symposium on Logic in Computer Science (LICS), pp. 353\u2013367 (2008)","DOI":"10.1109\/LICS.2007.30"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Dockins, R., Hobor, A., Appel, A.W.: A Fresh Look at separation algebras and Share Accounting. In: 7th Asian Symposium on Programming Languages and Systems. Springer ENTCS (December 2009)","DOI":"10.1007\/978-3-642-10672-9_13"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-76637-7_3","volume-title":"Programming Languages and Systems","author":"A. Gotsman","year":"2007","unstructured":"Gotsman, A., Berdine, J., Cook, B., Rinetzky, N., Sagiv, M.: Local reasoning for storable locks and threads. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol.\u00a04807, pp. 19\u201337. Springer, Heidelberg (2007)"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2008.04.050","volume":"212","author":"T. Hoare","year":"2008","unstructured":"Hoare, T., O\u2019Hearn, P.: Separation Logic Semantics for Communicating Processes. Electronic Notes in Theoretical Computer Science\u00a0212, 3\u201325 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10_CR7","unstructured":"Hobor, A.: Oracle Semantics. PhD thesis, Princeton University (October 2008)"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-642-03237-0_6","volume-title":"Static Analysis","author":"C. Hurlin","year":"2009","unstructured":"Hurlin, C.: Automatic Parallelization and Optimization of Programs by Proof Rewriting. In: Palsberg, J., Su, Z. (eds.) Static Analysis. LNCS, vol.\u00a05673, pp. 52\u201368. Springer, Heidelberg (2009)"},{"key":"10_CR9","first-page":"42","volume-title":"33rd ACM Symposium on Principles of Programming Languages (POPL)","author":"X. Leroy","year":"2006","unstructured":"Leroy, X.: Formal certification of a compiler back-end, or: programming a compiler with a proof assistant. In: 33rd ACM Symposium on Principles of Programming Languages (POPL), pp. 42\u201354. ACM Press, New York (2006)"},{"issue":"1-3","key":"10_CR10","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/j.tcs.2006.12.035","volume":"375","author":"P.W. O\u2019Hearn","year":"2007","unstructured":"O\u2019Hearn, P.W.: Resources, Concurrency, and Local Reasoning. Theoretical Computer Science\u00a0375(1-3), 271\u2013307 (2007)","journal-title":"Theoretical Computer Science"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Ottoni, G.: Global Multi-Threaded Instruction Scheduling: Technique and Initial Results. PhD thesis, Princeton University (September 2008)","DOI":"10.1109\/MICRO.2007.32"},{"key":"10_CR12","unstructured":"Rangan, R.: Pipelined Multithreading Transformations and Support Mechanisms. PhD thesis, Princeton University (June 2004)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Rangan, R., Vachharajani, N., Vachharajani, M., August, D.I.: Decoupled software pipelining with the synchronization array. In: Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques (PACT) (September 2004)","DOI":"10.1109\/PACT.2004.1342552"},{"key":"10_CR14","unstructured":"Turon, A., Wand, M.: A separation logic for the pi-calculus (2009), http:\/\/www.ccs.neu.edu\/home\/turon\/pi-sep-logic.pdf"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Vachharajani, N., Rangan, R., Raman, E., Bridges, M.J., Ottoni, G., August, D.I.: Speculative Decoupled Software Pipelining. In: Proceedings of the 16th International Conference on Parallel Architectures and Compilation Techniques (PACT) (September 2007)","DOI":"10.1109\/PACT.2007.4336199"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15769-1_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,9]],"date-time":"2021-11-09T18:24:33Z","timestamp":1636482273000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15769-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642157684","9783642157691"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15769-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}