{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:49:55Z","timestamp":1773193795935,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,10,20]],"date-time":"2006-10-20T00:00:00Z","timestamp":1161302400000},"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":[[2006,10,20]]},"DOI":"10.1145\/1168857.1168906","type":"proceedings-article","created":{"date-parts":[[2007,1,16]],"date-time":"2007-01-16T20:15:56Z","timestamp":1168978556000},"page":"394-403","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":110,"title":["Automatic generation of peephole superoptimizers"],"prefix":"10.1145","author":[{"given":"Sorav","family":"Bansal","sequence":"first","affiliation":[{"name":"Stanford University"}]},{"given":"Alex","family":"Aiken","sequence":"additional","affiliation":[{"name":"Stanford University"}]}],"member":"320","published-online":{"date-parts":[[2006,10,20]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Intel C++ Compiler 9.0. Software available at http:\/\/www.intel.com\/software\/products\/compilers\/clin.  Intel C++ Compiler 9.0. Software available at http:\/\/www.intel.com\/software\/products\/compilers\/clin."},{"key":"e_1_3_2_1_2_1","unstructured":"Superoptimizer prototype. Available on the web at http:\/\/cs.stanford.edu\/~sbansal\/superoptimizer\/.  Superoptimizer prototype. Available on the web at http:\/\/cs.stanford.edu\/~sbansal\/superoptimizer\/."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27866-5_37"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/53990.54023"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1780.1783"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/143103.143146"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.869367"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512566"},{"key":"e_1_3_2_1_9_1","unstructured":"X. Leroy D. Doligez J. Garrigue and J. Vouillon. The Objective Caml system. Software and documentation available at http:\/\/caml.inria.fr.  X. Leroy D. Doligez J. Garrigue and J. Vouillon. The Objective Caml system. Software and documentation available at http:\/\/caml.inria.fr."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/36206.36194"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379017"},{"key":"e_1_3_2_1_12_1","first-page":"7","volume-title":"Proceedings of the 2005 IEEE International Symposium on Signal Processing and Information Technology","author":"Put L.V.","year":"2005","unstructured":"L.V. Put , D. Chanet , B.D. Bus , B.D. Sutter , and K.D. Bosschere . Diablo: a reliable, retargetable and extensible link-time rewriting framework . In Proceedings of the 2005 IEEE International Symposium on Signal Processing and Information Technology , pages 7 -- 12 , 2005 . L.V. Put, D. Chanet, B.D. Bus, B.D. Sutter, and K.D. Bosschere. Diablo: a reliable, retargetable and extensible link-time rewriting framework. In Proceedings of the 2005 IEEE International Symposium on Signal Processing and Information Technology, pages 7--12, 2005."},{"key":"e_1_3_2_1_13_1","first-page":"279","volume-title":"ICCAD","author":"Zhang L.","year":"2001","unstructured":"L. Zhang , C.F. Madigan , M.W. Moskewicz , and S. Malik . Efficient conflict driven learning in boolean satisfiability solver . In ICCAD , pages 279 -- 285 , 2001 . L. Zhang, C.F. Madigan, M.W. Moskewicz, and S. Malik. Efficient conflict driven learning in boolean satisfiability solver. In ICCAD, pages 279--285, 2001."}],"event":{"name":"ASPLOS06: Architectural Support for Programming Languages and Operating Systems","location":"San Jose California USA","acronym":"ASPLOS06","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","ACM Association for Computing Machinery","SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the 12th international conference on Architectural support for programming languages and operating systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1168857.1168906","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1168857.1168906","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:14:09Z","timestamp":1750245249000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1168857.1168906"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,10,20]]},"references-count":13,"alternative-id":["10.1145\/1168857.1168906","10.1145\/1168857"],"URL":"https:\/\/doi.org\/10.1145\/1168857.1168906","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1168919.1168906","asserted-by":"object"},{"id-type":"doi","id":"10.1145\/1168918.1168906","asserted-by":"object"},{"id-type":"doi","id":"10.1145\/1168917.1168906","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2006,10,20]]},"assertion":[{"value":"2006-10-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}