{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:08:18Z","timestamp":1742396898912},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642051173"},{"type":"electronic","value":"9783642051180"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-05118-0_48","type":"book-chapter","created":{"date-parts":[[2009,11,4]],"date-time":"2009-11-04T07:32:03Z","timestamp":1257319923000},"page":"698-710","source":"Crossref","is-referenced-by-count":8,"title":["Speculation for Parallelizing Runtime Checks"],"prefix":"10.1007","author":[{"given":"Martin","family":"S\u00fc\u00dfkraut","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Weigert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ute","family":"Schiffel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Knauth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Nowack","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diogo Becker","family":"de Brum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christof","family":"Fetzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"48_CR1","unstructured":"Ruwase, O., Lam, M.S.: A practical dynamic buffer overflow detector. In: NDSS. The Internet Society (2004)"},{"key":"48_CR2","unstructured":"Castro, M., Costa, M., Harris, T.: Securing software by enforcing data-flow integrity. In: OSDI 2006: Proceedings of the 7th symposium on Operating systems design and implementation, Berkeley, CA, USA. USENIX Association (2006)"},{"key":"48_CR3","doi-asserted-by":"crossref","unstructured":"Borkar, S.: Designing reliable systems from unreliable components: The challenges of transistor variability and degradation. IEEE Micro. (2005)","DOI":"10.1109\/MM.2005.110"},{"key":"48_CR4","doi-asserted-by":"crossref","unstructured":"Oh, N., Mitra, S., McCluskey, E.J.: ED4I: Error detection by diverse data and duplicated instructions. IEEE Trans. Comput.\u00a051 (2002)","DOI":"10.1109\/12.980007"},{"issue":"1","key":"48_CR5","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1145\/1353534.1346321","volume":"36","author":"E.B. Nightingale","year":"2008","unstructured":"Nightingale, E.B., Peek, D., Chen, P.M., Flinn, J.: Parallelizing security checks on commodity hardware. SIGARCH Comput. Archit. News\u00a036(1), 308\u2013318 (2008)","journal-title":"SIGARCH Comput. Archit. News"},{"key":"48_CR6","unstructured":"Newsome, J., Song, D.: Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software. In: Proceedings of the Network and Distributed System Security Symposium (2005)"},{"key":"48_CR7","unstructured":"Xu, W., Bhatkar, S., Sekar, R.: Taint-enhanced policy enforcement: a practical approach to defeat a wide range of attacks. In: Proceedings of the 15th USENIX Security Symposium, Berkeley, CA, USA. USENIX Association (2006)"},{"key":"48_CR8","doi-asserted-by":"crossref","unstructured":"Felber, P., Fetzer, C., Riegel, T.: Dynamic performance tuning of word-based software transactional memory. In: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP (2008)","DOI":"10.1145\/1345206.1345241"},{"key":"48_CR9","volume-title":"Proceedings of the 20th annual symposium on Parallelism in Algorithms and Architectures (SPAA)","author":"O. Ruwase","year":"2008","unstructured":"Ruwase, O., Gibbons, P.B., Mowry, T.C., Ramachandran, V., Chen, S., Kozuch, M., Ryan, M.: Parallelizing dynamic information flow tracking. In: Proceedings of the 20th annual symposium on Parallelism in Algorithms and Architectures (SPAA), USA. ACM Press, New York (2008)"},{"key":"48_CR10","unstructured":"Schiffel, U., S\u00fc\u00dfkraut, M., Fetzer, C.: An-encoding compiler: Building safety-critical systems with commodity hardware. In: The 28th International Conference on Computer Safety, Reliability and Security, SafeComp 2009 (2009)"},{"key":"48_CR11","doi-asserted-by":"crossref","unstructured":"Lattner, C., Adve, V.: LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In: Proceedings of the 2004 International Symposium on Code Generation and Optimization (CGO 2004), California (2004)","DOI":"10.1109\/CGO.2004.1281665"},{"key":"48_CR12","unstructured":"Felber, P., Fetzer, C., M\u00fcller, U., Riegel, T., S\u00fc\u00dfkraut, M., Sturzrehm, H.: Transactifying applications using an open compiler framework. In: TRANSACT (2007)"},{"key":"48_CR13","doi-asserted-by":"crossref","unstructured":"Cao Minh, C., Chung, J., Kozyrakis, C., Olukotun, K.: Stamp: Stanford transactional applications for multi-processing. In: IISWC 2008: Proceedings of The IEEE International Symposium on Workload Characterization (September 2008)","DOI":"10.1109\/IISWC.2008.4636089"},{"key":"48_CR14","doi-asserted-by":"crossref","unstructured":"Wallace, S., Hazelwood, K.: Superpin: Parallelizing dynamic instrumentation for real-time performance. In: 5th Annual International Symposium on Code Generation and Optimization, San Jose, CA, March 2007, pp. 209\u2013217 (2007)","DOI":"10.1109\/CGO.2007.37"},{"key":"48_CR15","first-page":"85","volume-title":"MICRO 35: Proceedings of the 35th annual ACM\/IEEE international symposium on Microarchitecture","author":"C. Zilles","year":"2002","unstructured":"Zilles, C., Sohi, G.: Master\/slave speculative parallelization. In: MICRO 35: Proceedings of the 35th annual ACM\/IEEE international symposium on Microarchitecture, pp. 85\u201396. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"48_CR16","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1109\/CGO.2009.18","volume-title":"CGO 2009: Proceedings of the 2009 International Symposium on Code Generation and Optimization","author":"K. Kelsey","year":"2009","unstructured":"Kelsey, K., Bai, T., Ding, C., Zhang, C.: Fast track: A software system for speculative program optimization. In: CGO 2009: Proceedings of the 2009 International Symposium on Code Generation and Optimization, Washington, DC, USA, pp. 157\u2013168. IEEE Computer Society Press, Los Alamitos (2009)"},{"key":"48_CR17","volume-title":"ICS 1999: Proceedings of the 13th international conference on Supercomputing","author":"K. Olukotun","year":"1999","unstructured":"Olukotun, K., Hammond, L., Willey, M.: Improving the performance of speculatively parallel applications on the hydra cmp. In: ICS 1999: Proceedings of the 13th international conference on Supercomputing, USA. ACM Press, New York (1999)"},{"issue":"2","key":"48_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/342001.339650","volume":"28","author":"J.G. Steffan","year":"2000","unstructured":"Steffan, J.G., Colohan, C.B., Zhai, A., Mowry, T.C.: A scalable approach to thread-level speculation. SIGARCH Comput. Archit. News\u00a028(2), 1\u201312 (2000)","journal-title":"SIGARCH Comput. Archit. News"},{"key":"48_CR19","first-page":"65","volume-title":"HPCA 2002: Proceedings of the 8th International Symposium on High-Performance Computer Architecture","author":"J.G. Steffan","year":"2002","unstructured":"Steffan, J.G., Colohan, C.B., Zhai, A., Mowry, T.C.: Improving value communication for thread-level speculation. In: HPCA 2002: Proceedings of the 8th International Symposium on High-Performance Computer Architecture, Washington, DC, USA, p. 65. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"48_CR20","unstructured":"Pickett, C.J.F., Verbrugge, C.: Return value prediction in a Java virtual machine. In: Proceedings of the Second Value-Prediction and Value-Based Optimization Workshop (VPW2), October 2004, pp. 40\u201347 (2004)"}],"container-title":["Lecture Notes in Computer Science","Stabilization, Safety, and Security of Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-05118-0_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,23]],"date-time":"2020-05-23T11:55:34Z","timestamp":1590234934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-05118-0_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642051173","9783642051180"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-05118-0_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}