{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:12Z","timestamp":1725663792701},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540552536"},{"type":"electronic","value":"9783540468035"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55253-7_4","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:56:53Z","timestamp":1330250213000},"page":"56-72","source":"Crossref","is-referenced-by-count":5,"title":["Proving safety of speculative load instructions at compile-time"],"prefix":"10.1007","author":[{"given":"David","family":"Bernstein","sequence":"first","affiliation":[]},{"given":"Michael","family":"Rodeh","sequence":"additional","affiliation":[]},{"given":"Mooly","family":"Sagiv","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"4_CR1","unstructured":"A.V. Aho, R. Sethi, and J.D. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1985."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"B. Alpern, M.N. Wegman, and F.K. Zadeck. Detecting equality of variables in programs. In ACM Symposium on Principles of Programming Languages, pages 1\u201311, 1988.","DOI":"10.1145\/73560.73561"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"D. Bernstein and M. Rodeh. Global instruction scheduling for superscalar machines. In SIGPLAN Conference on Programming Languages Design and Implementation, pages 241\u2013255, 1991.","DOI":"10.1145\/113445.113466"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"P.P. Chang, S.A. Mahlke, W.Y. Chen, N.J. Warter, and W.W. Hwu. IMPACT: An architectural framework for multiple-issue processors. In IEEE Conference on Computer Architecture, pages 266\u2013275, 1991.","DOI":"10.1145\/115952.115979"},{"key":"4_CR5","unstructured":"K. Ebcioglu. Some design ideas for a VLIW architecture for sequential-natured software. In IFIP Conference on Parallel Processing, 1988."},{"key":"4_CR6","unstructured":"J.R. Ellis. Bulldog: A Compiler for VLIW Architectures. PhD thesis, Yale University, February 1985."},{"key":"4_CR7","unstructured":"K. Ebcioglu and T. Nakanati. A new compilation technique for parallelizing regions with unpredictable branches on a VLIW architecture. In Workshop on Languages and Compilers for Parallel Computing, 1989."},{"issue":"4","key":"4_CR8","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1109\/32.54294","volume":"16","author":"R. Gupta","year":"1990","unstructured":"R. Gupta and M.L. Soffa. Region scheduling: An approach for detecting and redistributing parallelism. IEEE Transactions on Software Engineering, 16(4):421\u2013431, 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"J.L. Hennessy. Program optimization and exception handling. In ACM Symposium on Principles of Programming Languages, pages 200\u2013206, 1981.","DOI":"10.1145\/567532.567554"},{"key":"4_CR10","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1145\/2166.357217","volume":"5","author":"J. L. Hennessy","year":"1983","unstructured":"J.L. Hennessy and T. Gross. Postpass code optimization of pipeline constraints. ACM Transactions on Programming Languages and Systems, 5:422\u2013448, 1983.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR11","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1080\/00207167208803056","volume":"3","author":"K. Kennedy","year":"1972","unstructured":"K. Kennedy. Safety of code motion. Intern. J. Computer Math., 3:117\u2013130, 1972.","journal-title":"Intern. J. Computer Math."},{"key":"4_CR12","unstructured":"K. Kennedy. A survey of data flow analysis techniques. In S.S. Muchnick and N.D. Jones, editors, Program Flow Analysis: Theory and Applications, chapter 1, pages 5\u201354. Prentice-Hall, 1981."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"G.A. Kildall. A unified approach to global program optimization. In ACM Symposium on Principles of Programming Languages, pages 194\u2013206, 1973.","DOI":"10.1145\/512927.512945"},{"issue":"1","key":"4_CR14","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1145\/321921.321938","volume":"23","author":"J. B. Kam","year":"1976","unstructured":"J.B. Kam and J.D. Ullman. Global data flow analysis and iterative algorithms. Journal of the ACM, 23(1):158\u2013171, 1976.","journal-title":"Journal of the ACM"},{"key":"4_CR15","unstructured":"J.R. Larus. Restructuring Symbolic Programs for Concurrent Execution on Multiprocessors. PhD thesis, University of California, 1989."},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"E.W. Myers. A precise inter-procedural data flow algorithm. In ACM Symposium on Principles of Programming Languages, pages 219\u2013230, 1981.","DOI":"10.1145\/567532.567556"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"J.H. Reif and H.R. Lewis. Symbolic evaluations and the global value graph. In ACM Symposium on Principles of Programming Languages, pages 104\u2013118, 1977.","DOI":"10.1145\/512950.512961"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"B.K. Rosen, M.N. Wegman, and F.K. Zadeck. Global value numbers and redundant computations. In ACM Symposium on Principles of Programming Languages, pages 12\u201327, 1988.","DOI":"10.1145\/73560.73562"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"S. Sagiv, N. Francez, M. Rodeh, and R. Wilhelm. A logic-based approach to data flow analysis problems. In P. Deransart and J. Maluszynkski, editors, LNCS 456, 2nd Workshop on Programming Language Implementation and Logic Programming. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0024190"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"M.D. Smith, M.S. Lam, and M.A. Horowitz. Boosting beyond static scheduling in a superscalar processor. In IEEE Conference on Computer Architecture, pages 344\u2013354, 1990.","DOI":"10.1145\/325096.325160"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"H. Warren. Instruction scheduling for the IBM RISC System\/6000. IBM Journal on Research and Development, pages 85\u201392, 1990.","DOI":"10.1147\/rd.341.0085"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"M.N. Wegman and F.K. Zadeck. Constant propagation with conditional branches. In ACM Symposium on Principles of Programming Languages, 1985.","DOI":"10.1145\/318593.318659"}],"container-title":["Lecture Notes in Computer Science","ESOP '92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55253-7_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:58:30Z","timestamp":1605646710000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55253-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540552536","9783540468035"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-55253-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}