{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:28Z","timestamp":1772164048422,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":70,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,2,24]],"date-time":"2014-02-24T00:00:00Z","timestamp":1393200000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,2,24]]},"DOI":"10.1145\/2541940.2541985","type":"proceedings-article","created":{"date-parts":[[2014,2,25]],"date-time":"2014-02-25T08:21:11Z","timestamp":1393316471000},"page":"575-590","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["ASC"],"prefix":"10.1145","author":[{"given":"Amos","family":"Waterland","sequence":"first","affiliation":[{"name":"Harvard University, Cambridge, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elaine","family":"Angelino","sequence":"additional","affiliation":[{"name":"Harvard University, Cambridge, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryan P.","family":"Adams","sequence":"additional","affiliation":[{"name":"Harvard University, Cambridge, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Appavoo","sequence":"additional","affiliation":[{"name":"Boston University, Boston, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Margo","family":"Seltzer","sequence":"additional","affiliation":[{"name":"Harvard University, Cambridge, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,2,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/224170.224340"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/290940.290988"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155102"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1540612"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/125826.125932"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/358438.349303"},{"key":"e_1_3_2_1_7_1","volume-title":"Pattern Recognition and Machine Learning (Information Science and Statistics)","author":"Bishop Christopher M.","year":"2006","unstructured":"Christopher M. Bishop . Pattern Recognition and Machine Learning (Information Science and Statistics) . Springer-Verlag New York, Inc. , Secaucus, NJ, USA , 2006 . Christopher M. Bishop. Pattern Recognition and Machine Learning (Information Science and Statistics). Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2006."},{"key":"e_1_3_2_1_8_1","series-title":"Lecture Notes in Computer Science","first-page":"306","volume-title":"Online Algorithms","author":"Blum Avrim","year":"1996","unstructured":"Avrim Blum . On-line algorithms in machine learning . In Amos Fiat and Gerhard J. Woeginger, editors, Online Algorithms , volume 1442 of Lecture Notes in Computer Science , pages 306 -- 325 . Springer , 1996 . Avrim Blum. On-line algorithms in machine learning. In Amos Fiat and Gerhard J. Woeginger, editors, Online Algorithms, volume 1442 of Lecture Notes in Computer Science, pages 306--325. Springer, 1996."},{"key":"e_1_3_2_1_9_1","first-page":"10","volume-title":"Proceedings Of The Workshop On Languages And Compilers For Parallel Computing","author":"Blume Bill","year":"1994","unstructured":"Bill Blume , Rudolf Eigenmann , Keith Faigin , John Grout , Jay Hoeflinger , David Padua , Paul Petersen , Bill Pottenger , Lawrence Rauchwerger , Peng Tu , and Stephen Weatherford . Polaris : The next generation in parallelizing compilers . In Proceedings Of The Workshop On Languages And Compilers For Parallel Computing , pages 10 -- 11 . Springer-Verlag, Berlin\/Heidelberg , 1994 . Bill Blume, Rudolf Eigenmann, Keith Faigin, John Grout, Jay Hoeflinger, David Padua, Paul Petersen, Bill Pottenger, Lawrence Rauchwerger, Peng Tu, and Stephen Weatherford. Polaris: The next generation in parallelizing compilers. In Proceedings Of The Workshop On Languages And Compilers For Parallel Computing, pages 10--1. Springer-Verlag, Berlin\/Heidelberg, 1994."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1880043.1880046"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/258128.258179"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511546921","volume-title":"Prediction, Learning, and Games","author":"Cesa-Bianchi Nicolo","year":"2006","unstructured":"Nicolo Cesa-Bianchi and Gabor Lugosi . Prediction, Learning, and Games . Cambridge University Press , New York, NY, USA , 2006 . Nicolo Cesa-Bianchi and Gabor Lugosi. Prediction, Learning, and Games. Cambridge University Press, New York, NY, USA, 2006."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/859618.859668"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/339647.363382"},{"key":"e_1_3_2_1_15_1","first-page":"215","volume-title":"International Conference on Artificial Intelligence and Statistics","author":"Coates Adam","year":"2011","unstructured":"Adam Coates , Andrew Y Ng , and Honglak Lee . An analysis of single-layer networks in unsupervised feature learning . In International Conference on Artificial Intelligence and Statistics , pages 215 -- 223 , 2011 . Adam Coates, Andrew Y Ng, and Honglak Lee. An analysis of single-layer networks in unsupervised feature learning. In International Conference on Artificial Intelligence and Statistics, pages 215--223, 2011."},{"key":"e_1_3_2_1_16_1","volume-title":"Vizer: A framework to analyze and vectorize intel x86 binaries. Master's thesis","author":"Dasgupta A.","year":"2002","unstructured":"A. Dasgupta . Vizer: A framework to analyze and vectorize intel x86 binaries. Master's thesis , Rice University , 2002 . A. Dasgupta. Vizer: A framework to analyze and vectorize intel x86 binaries. Master's thesis, Rice University, 2002."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/776261.776263"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the IFIP WG10","author":"Dubey Pradeep K.","year":"1995","unstructured":"Pradeep K. Dubey , Kevin O'Brien , Kathryn M. O'Brien , and Charles Barton . Single-program speculative multithreading (spsm) architecture: compiler-assisted fine-grained multithreading . In Proceedings of the IFIP WG10 .3 working conference on Parallel architectures and compilation techniques, PACT '95, pages 109--121, Manchester, UK, UK , 1995 . IFIP Working Group on Algol. Pradeep K. Dubey, Kevin O'Brien, Kathryn M. O'Brien, and Charles Barton. Single-program speculative multithreading (spsm) architecture: compiler-assisted fine-grained multithreading. In Proceedings of the IFIP WG10.3 working conference on Parallel architectures and compilation techniques, PACT '95, pages 109--121, Manchester, UK, UK, 1995. IFIP Working Group on Algol."},{"key":"e_1_3_2_1_19_1","volume-title":"New theoretical frameworks for machine learning","author":"Balcan Maria","year":"2008","unstructured":"Maria florina Balcan , Manuel Blum , Yishay Mansour , Tom Mitchell , and Santosh Vempala . New theoretical frameworks for machine learning , 2008 . Maria florina Balcan, Manuel Blum, Yishay Mansour, Tom Mitchell, and Santosh Vempala. New theoretical frameworks for machine learning, 2008."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1361096.1361109"},{"key":"e_1_3_2_1_21_1","volume-title":"EE Department TR 1080","author":"Gabbay Freddy","year":"1996","unstructured":"Freddy Gabbay and Freddy Gabbay . Speculative execution based on value prediction. Technical report , EE Department TR 1080 , Technion - Israel Institue of Technology , 1996 . Freddy Gabbay and Freddy Gabbay. Speculative execution based on value prediction. Technical report, EE Department TR 1080, Technion - Israel Institue of Technology, 1996."},{"key":"e_1_3_2_1_22_1","volume-title":"Church: a language for generative models. CoRR, abs\/1206.3255","author":"Goodman Noah D.","year":"2012","unstructured":"Noah D. Goodman , Vikash K. Mansinghka , Daniel M. Roy , Keith Bonawitz , and Daniel Tarlow . Church: a language for generative models. CoRR, abs\/1206.3255 , 2012 . Noah D. Goodman, Vikash K. Mansinghka, Daniel M. Roy, Keith Bonawitz, and Daniel Tarlow. Church: a language for generative models. CoRR, abs\/1206.3255, 2012."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195085914.001.0001","volume-title":"Limits to parallel computation: P-completeness theory","author":"Greenlaw Raymond","year":"1995","unstructured":"Raymond Greenlaw , H. James Hoover , and Walter L. Ruzzo . Limits to parallel computation: P-completeness theory . Oxford University Press, Inc. , New York, NY, USA , 1995 . Raymond Greenlaw, H. James Hoover, and Walter L. Ruzzo. Limits to parallel computation: P-completeness theory. Oxford University Press, Inc., New York, NY, USA, 1995."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/291069.291020"},{"key":"e_1_3_2_1_25_1","volume-title":"Linear and logistic regression. Class lecture","author":"Hauskrecht Milos","year":"2005","unstructured":"Milos Hauskrecht . Linear and logistic regression. Class lecture , 2005 . Milos Hauskrecht. Linear and logistic regression. Class lecture, 2005."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/165123.165164"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250662.1250686"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511790423","volume-title":"Probability Theory: The Logic of Science","author":"Jaynes E.T.","year":"2003","unstructured":"E.T. Jaynes . Probability Theory: The Logic of Science . Cambridge University Press , 2003 . E.T. Jaynes. Probability Theory: The Logic of Science. Cambridge University Press, 2003."},{"key":"e_1_3_2_1_30_1","first-page":"197","volume-title":"Proceedings of the 7th International Symposium on High-Performance Computer Architecture, HPCA '01","author":"Daniel","unstructured":"Daniel A. Jim\u00e9nez and Calvin Lin. Dynamic branch prediction with perceptrons . In Proceedings of the 7th International Symposium on High-Performance Computer Architecture, HPCA '01 , pages 197 --, Washington, DC, USA, 2001. IEEE Computer Society. Daniel A. Jim\u00e9nez and Calvin Lin. Dynamic branch prediction with perceptrons. In Proceedings of the 7th International Symposium on High-Performance Computer Architecture, HPCA '01, pages 197--, Washington, DC, USA, 2001. IEEE Computer Society."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1229428.1229474"},{"key":"e_1_3_2_1_32_1","volume-title":"Optimizing compilers for modern architectures: a dependence-based approach","author":"Kennedy Ken","year":"2002","unstructured":"Ken Kennedy and John R. Allen . Optimizing compilers for modern architectures: a dependence-based approach . Morgan Kaufmann Publishers Inc ., San Francisco, CA, USA, 2002 . Ken Kennedy and John R. Allen. Optimizing compilers for modern architectures: a dependence-based approach. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2002."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2259016.2259029"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/319838.319854"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2010.27"},{"key":"e_1_3_2_1_36_1","volume-title":"Arxiv","author":"Lagarias Jeffrey C.","year":"2009","unstructured":"Jeffrey C. Lagarias . The 3x+1 Problem : An Annotated Bibliography, II (2000--2009) . Arxiv , August 2009 . Jeffrey C. Lagarias. The 3x+1 Problem: An Annotated Bibliography, II (2000--2009). Arxiv, August 2009."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1984.1658927"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/237090.237173"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1009"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1122971.1122997"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1038\/353241a0"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542495"},{"issue":"5136","key":"e_1_3_2_1_43_1","first-page":"19","article-title":"Memo","volume":"218","author":"Michie Donald","year":"1968","unstructured":"Donald Michie . \" Memo \" Functions and Machine Learning. Nature , 218 ( 5136 ): 19 -- 22 , April 1968 . Donald Michie. \"Memo\" Functions and Machine Learning. Nature, 218(5136):19--22, April 1968.","journal-title":"Functions and Machine Learning. Nature"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/264107.264189"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01840446"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.3187791"},{"key":"e_1_3_2_1_47_1","unstructured":"Louis-Noel Pouchet. Polybench\/c: the polyhedral benchmark suite.  Louis-Noel Pouchet. Polybench\/c: the polyhedral benchmark suite."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/360128.360155"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065043"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/800050.801824"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1356058.1356082"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025127.1026007"},{"key":"e_1_3_2_1_53_1","volume-title":"Pattern Classification","author":"Richard Duda David Stork","year":"2001","unstructured":"David Stork Richard Duda , Peter Hart . Pattern Classification ( Second Edition). John Wiley & Sons, Inc. , 2001 . David Stork Richard Duda, Peter Hart. Pattern Classification (Second Edition). John Wiley & Sons, Inc., 2001."},{"key":"e_1_3_2_1_54_1","volume-title":"P. H. Welch et al","author":"Ritson C. G.","year":"2013","unstructured":"C. G. Ritson and F. R. M. Barnes . Evaluating intel rtm for cpas . In P. H. Welch et al , editor, Proceedings of Communicating Process Architectures 2013 . Open Channel Publishing Limited , 2013. C. G. Ritson and F. R. M. Barnes. Evaluating intel rtm for cpas. In P. H. Welch et al, editor, Proceedings of Communicating Process Architectures 2013. Open Channel Publishing Limited, 2013."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.5555\/243846.243854"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1024597010150"},{"key":"e_1_3_2_1_57_1","first-page":"47","volume-title":"In Proceedings of the Value Prediction Workshop","author":"Sazeides Yiannakis","year":"2003","unstructured":"Yiannakis Sazeides . Instruction-isomorphism in program execution . In In Proceedings of the Value Prediction Workshop , pages 47 -- 54 , 2003 . Yiannakis Sazeides. Instruction-isomorphism in program execution. In In Proceedings of the Value Prediction Workshop, pages 47--54, 2003."},{"key":"e_1_3_2_1_58_1","volume-title":"Deriving limits of branch prediction with the fano inequality","author":"Singer Jeremy","year":"2006","unstructured":"Jeremy Singer , Gavin Brown , and Ian Watson . Deriving limits of branch prediction with the fano inequality , 2006 . Jeremy Singer, Gavin Brown, and Ian Watson. Deriving limits of branch prediction with the fano inequality, 2006."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.5555\/800052.801871"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/291069.291016"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/223982.224451"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/339647.339650"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/1082469.1082471"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542275.1542302"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.5555\/2342788.2342797"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/2485732.2485749"},{"key":"e_1_3_2_1_68_1","volume-title":"Proceedings of the 4th USENIX conference on Hot Topics in Parallelism","author":"Yang J.","year":"2011","unstructured":"J. Yang , K. Skadron , M. Soffa , and K. Whitehouse . Feasibility of dynamic binary parallelization . In Proceedings of the 4th USENIX conference on Hot Topics in Parallelism , 2011 . J. Yang, K. Skadron, M. Soffa, and K. Whitehouse. Feasibility of dynamic binary parallelization. In Proceedings of the 4th USENIX conference on Hot Topics in Parallelism, 2011."},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/1128022.1128040"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.5555\/882471.883312"},{"key":"e_1_3_2_1_71_1","first-page":"290","volume-title":"High Performance Computer Architecture, 2008. HPCA 2008. IEEE 14th International Symposium on","author":"Zhong Hongtao","unstructured":"Hongtao Zhong , M. Mehrara , S. Lieberman , and S. Mahlke . Uncovering hidden loop level parallelism in sequential applications . In High Performance Computer Architecture, 2008. HPCA 2008. IEEE 14th International Symposium on , pages 290 -- 301 , Feb. Hongtao Zhong, M. Mehrara, S. Lieberman, and S. Mahlke. Uncovering hidden loop level parallelism in sequential applications. In High Performance Computer Architecture, 2008. HPCA 2008. IEEE 14th International Symposium on, pages 290--301, Feb."},{"key":"e_1_3_2_1_72_1","first-page":"85","volume-title":"Proceedings of the 35th annual ACM\/IEEE international symposium on Microarchitecture, MICRO 35","author":"Zilles Craig","year":"2002","unstructured":"Craig Zilles and Gurindar Sohi . Master\/slave speculative parallelization. In Proceedings of the 35th annual ACM\/IEEE international symposium on Microarchitecture, MICRO 35 , pages 85 -- 96 , Los Alamitos, CA, USA , 2002 . IEEE Computer Society Press. Craig Zilles and Gurindar Sohi. Master\/slave speculative parallelization. In Proceedings of the 35th annual ACM\/IEEE international symposium on Microarchitecture, MICRO 35, pages 85--96, Los Alamitos, CA, USA, 2002. IEEE Computer Society Press."}],"event":{"name":"ASPLOS '14: Architectural Support for Programming Languages and Operating Systems","location":"Salt Lake City Utah USA","acronym":"ASPLOS '14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 19th international conference on Architectural support for programming languages and operating systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2541940.2541985","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2541940.2541985","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:10:28Z","timestamp":1750219828000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2541940.2541985"}},"subtitle":["automatically scalable computation"],"short-title":[],"issued":{"date-parts":[[2014,2,24]]},"references-count":70,"alternative-id":["10.1145\/2541940.2541985","10.1145\/2541940"],"URL":"https:\/\/doi.org\/10.1145\/2541940.2541985","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2644865.2541985","asserted-by":"object"},{"id-type":"doi","id":"10.1145\/2654822.2541985","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,2,24]]},"assertion":[{"value":"2014-02-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}