{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:00:33Z","timestamp":1761580833496,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T00:00:00Z","timestamp":1287878400000},"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":[[2010,10,24]]},"DOI":"10.1145\/1878921.1878951","type":"proceedings-article","created":{"date-parts":[[2010,11,9]],"date-time":"2010-11-09T15:01:31Z","timestamp":1289314891000},"page":"197-206","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":27,"title":["Practical aggregation of semantical program properties for machine learning based optimization"],"prefix":"10.1145","author":[{"given":"Mircea","family":"Namolaru","sequence":"first","affiliation":[{"name":"IBM Haifa Research Lab, Haifa, Israel"}]},{"given":"Albert","family":"Cohen","sequence":"additional","affiliation":[{"name":"INRIA Saclay, LRI, Paris-Sud 11 University, Saclay, France"}]},{"given":"Grigori","family":"Fursin","sequence":"additional","affiliation":[{"name":"INRIA Saclay, University of Versailles, Saclay, France"}]},{"given":"Ayal","family":"Zaks","sequence":"additional","affiliation":[{"name":"IBM Haifa Reserach Lab, Haifa, Israel"}]},{"given":"Ari","family":"Freund","sequence":"additional","affiliation":[{"name":"IBM Haifa Research Lab, Haifa, Israel"}]}],"member":"320","published-online":{"date-parts":[[2010,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ACOVEA\n  : Using Natural Selection to Investigate Software Complexities. http:\/\/www.coyotegulch.com\/products\/acovea.  ACOVEA: Using Natural Selection to Investigate Software Complexities. http:\/\/www.coyotegulch.com\/products\/acovea."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2006.37"},{"key":"e_1_3_2_1_3_1","volume-title":"Compilers: Principles, Techniques and Tools","author":"Aho A.V.","year":"2007","unstructured":"A.V. Aho , M.S. Lam , R. Sethi , and J.D. Ullman . Compilers: Principles, Techniques and Tools . Addison-Wesley , 2 nd edition, 2007 . A.V. Aho, M.S. Lam, R. Sethi, and J.D. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 2nd edition, 2007.","edition":"2"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the Workshop on Profile and Feedback Directed Compilation","author":"Bodin F.","year":"1998","unstructured":"F. Bodin , T. Kisuki , P.M.W. Knijnenburg , M.F.P. O'Boyle , and E. Rohou . Iterative compilation in a non-linear optimisation space . In Proceedings of the Workshop on Profile and Feedback Directed Compilation , 1998 . F. Bodin, T. Kisuki, P.M.W. Knijnenburg, M.F.P. O'Boyle, and E. Rohou. Iterative compilation in a non-linear optimisation space. In Proceedings of the Workshop on Profile and Feedback Directed Compilation, 1998."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1143844.1143860"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2007.32"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065910.1065921"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/314403.314414"},{"key":"e_1_3_2_1_9_1","unstructured":"Collective Tuning Infrastructure: automating and accelerating development and optimization of computing systems. http:\/\/cTuning.org.  Collective Tuning Infrastructure: automating and accelerating development and optimization of computing systems. http:\/\/cTuning.org."},{"key":"e_1_3_2_1_10_1","unstructured":"ESTO\n  : Expert System for Tuning Optimizations. http:\/\/www.haifa.ibm.com\/projects\/systems\/cot\/esto.  ESTO: Expert System for Tuning Optimizations. http:\/\/www.haifa.ibm.com\/projects\/systems\/cot\/esto."},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the GCC Developers' Summit","author":"Fursin Grigori","year":"2008","unstructured":"Grigori Fursin , Cupertino Miranda , Olivier Temam , Mircea Namolaru , Elad Yom-Tov , Ayal Zaks , Bilha Mendelson , Phil Barnard , Elton Ashton , Eric Courtois , Francois Bodin , Edwin Bonilla , John Thomson , Hugh Leather , Chris Williams , and Michael O'Boyle . Milepost gcc: machine learning based research compiler . In Proceedings of the GCC Developers' Summit , June 2008 . Grigori Fursin, Cupertino Miranda, Olivier Temam, Mircea Namolaru, Elad Yom-Tov, Ayal Zaks, Bilha Mendelson, Phil Barnard, Elton Ashton, Eric Courtois, Francois Bodin, Edwin Bonilla, John Thomson, Hugh Leather, Chris Williams, and Michael O'Boyle. Milepost gcc: machine learning based research compiler. In Proceedings of the GCC Developers' Summit, June 2008."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92990-1_5"},{"key":"e_1_3_2_1_13_1","unstructured":"GCC\n  : GNU Compiler Collection. http:\/\/gcc.gnu.org.  GCC: GNU Compiler Collection. http:\/\/gcc.gnu.org."},{"key":"e_1_3_2_1_14_1","unstructured":"MILEPOST GCC: Collaborative development website. http:\/\/cTuning.org\/milepost-gcc.  MILEPOST GCC: Collaborative development website. http:\/\/cTuning.org\/milepost-gcc."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1128020.1128563"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 4th Workshop on Optimizations for DSP and Embedded Systems, colocated with CGO","author":"Heydemann K.","year":"2006","unstructured":"K. Heydemann and F. Bodin . Iterative compilation for two antagonistic criteria: Application to code size and performance . In Proceedings of the 4th Workshop on Optimizations for DSP and Embedded Systems, colocated with CGO , 2006 . K. Heydemann and F. Bodin. Iterative compilation for two antagonistic criteria: Application to code size and performance. In Proceedings of the 4th Workshop on Optimizations for DSP and Embedded Systems, colocated with CGO, 2006."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1356058.1356080"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICESS.2009.86"},{"key":"e_1_3_2_1_19_1","volume-title":"The Art of Computer Systems Performance Analysis","author":"Jain Raj","year":"1991","unstructured":"Raj Jain . The Art of Computer Systems Performance Analysis . John Wiley and Sons , 1991 . Raj Jain. The Art of Computer Systems Performance Analysis. John Wiley and Sons, 1991."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/780732.780735"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009863704807"},{"key":"e_1_3_2_1_22_1","volume-title":"2nd Workshop on Statistical and Machine Learning Approaches Applied to Architectures and Compilation (SMART'08)","author":"Leather H.","year":"2008","unstructured":"H. Leather , E. Yom-Tov , M. Namolaru , and A. Freund . Automatic feature generation for setting compilers heuristics . In 2nd Workshop on Statistical and Machine Learning Approaches Applied to Architectures and Compilation (SMART'08) , colocated with HiPEAC'08 conference , 2008 . H. Leather, E. Yom-Tov, M. Namolaru, and A. Freund. Automatic feature generation for setting compilers heuristics. In 2nd Workshop on Statistical and Machine Learning Approaches Applied to Architectures and Compilation (SMART'08), colocated with HiPEAC'08 conference, 2008."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2009.21"},{"key":"e_1_3_2_1_24_1","series-title":"Graduate Texts in Mathematics","volume-title":"Categories for the Working Mathematician","author":"MacLane S.","year":"1971","unstructured":"S. MacLane . Categories for the Working Mathematician , volume 5 of Graduate Texts in Mathematics . Springer Verlag , Berlin , 1971 . S. MacLane. Categories for the Working Mathematician, volume 5 of Graduate Texts in Mathematics. Springer Verlag, Berlin, 1971."},{"key":"e_1_3_2_1_25_1","first-page":"1381","volume-title":"Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing","volume":"3","author":"Matteo F.","year":"1998","unstructured":"F. Matteo and S. Johnson . FFTW: An adaptive softwarearchitecture for the FFT . In Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing , volume 3 , pages 1381 -- 1384 , Seattle, WA , May 1998 . F. Matteo and S. Johnson. FFTW: An adaptive softwarearchitecture for the FFT. In Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, volume 3, pages 1381--1384, Seattle, WA, May 1998."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/646053.677574"},{"key":"e_1_3_2_1_27_1","volume-title":"Morgan Kaufmann","author":"Muchnick S.S.","year":"1997","unstructured":"S.S. Muchnick . Advanced Compiler Design and Implementation . Morgan Kaufmann , 1997 . S.S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufmann, 1997."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2006.38"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2004.61"},{"key":"e_1_3_2_1_30_1","volume-title":"Proceedings of the Conference on Machine Learning","author":"Singer B.","year":"2000","unstructured":"B. Singer and M. Veloso . Learning to predict performance from formula modeling and training data . In Proceedings of the Conference on Machine Learning , 2000 . B. Singer and M. Veloso. Learning to predict performance from formula modeling and training data. In Proceedings of the Conference on Machine Learning, 2000."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2005.29"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/776261.776284"},{"key":"e_1_3_2_1_33_1","volume-title":"Principles of Database and Knowledge Systems","author":"Ullman J. D.","year":"1988","unstructured":"J. D. Ullman . Principles of Database and Knowledge Systems , volume 1 . Computer Science Press , 1988 . J. D. Ullman. Principles of Database and Knowledge Systems, volume 1. Computer Science Press, 1988."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996859"},{"volume-title":"Proceedings of the Conference on High Performance Networking","author":"Whaley R.","key":"e_1_3_2_1_35_1","unstructured":"R. Whaley and J. Dongarra . Automatically tuned linear algebra software . In Proceedings of the Conference on High Performance Networking R. Whaley and J. Dongarra. Automatically tuned linear algebra software. In Proceedings of the Conference on High Performance Networking"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/99163.99179"}],"event":{"name":"ESWeek '10: Sixth Embedded Systems Week","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","CEDA","IEEE CAS","IEEE CS"],"location":"Scottsdale Arizona USA","acronym":"ESWeek '10"},"container-title":["Proceedings of the 2010 international conference on Compilers, architectures and synthesis for embedded systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1878921.1878951","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1878921.1878951","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:09:04Z","timestamp":1750248544000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1878921.1878951"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,24]]},"references-count":36,"alternative-id":["10.1145\/1878921.1878951","10.1145\/1878921"],"URL":"https:\/\/doi.org\/10.1145\/1878921.1878951","relation":{},"subject":[],"published":{"date-parts":[[2010,10,24]]},"assertion":[{"value":"2010-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}