{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T03:26:33Z","timestamp":1752981993241},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540852605"},{"type":"electronic","value":"9783540852612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85261-2_14","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T07:20:24Z","timestamp":1218525624000},"page":"202-216","source":"Crossref","is-referenced-by-count":3,"title":["Modeling Relations between Inputs and Dynamic Behavior for General Programs"],"prefix":"10.1007","author":[{"given":"Xipeng","family":"Shen","sequence":"first","affiliation":[]},{"given":"Feng","family":"Mao","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Berube, P., Amaral, J.N.: Benchmark design for robust profile-directed optimization. In: Standard Performance Evaluation Corporation (SPEC) Workshop (2007)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Chang, P.P., Mahlke, S.A., Chen, W.Y., Hwu, W.: Profile-guided automatic inline expansion for c programs. Software Practice and Experience\u00a022(5) (1992)","DOI":"10.1002\/spe.4380220502"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Chen, W., Bhansali, S., Chilimbi, T.M., Gao, X., Chuang, W.: Profile-guided proactive garbage collection for locality optimization. In: Proceedings of ACM SIGPLAN Conference on Programming Languages Design and Implementation (2006)","DOI":"10.1145\/1133981.1134021"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Childers, B., Davidson, J., Soffa, M.L.: Continuous compilation: A new approach to aggressive and adaptive code transformation. In: Proceedings of 2003 International Parallel and Distribute Processing Symposium (IPDPS) (2003)","DOI":"10.1109\/IPDPS.2003.1213375"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Dean, J., Chambers, C.: Towards better inlining decisions using inlining trials. In: Proceedings of ACM Conference on Lisp and Functional Programming (1994)","DOI":"10.1145\/182409.182489"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Ding, C., Zhong, Y.: Predicting whole-program locality with reuse distance analysis. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, San Diego, CA (June 2003)","DOI":"10.1145\/781131.781159"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Diniz, P., Rinard, M.: Dynamic feedback: an effective technique for adaptive computing. In: Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, Las Vegas (May 1997)","DOI":"10.1145\/258915.258923"},{"key":"14_CR8","unstructured":"Edvardsson, J.: A survey on automatic test data generation. In: Proceedings of the 2nd Conference on Computer Science and Engineering, pp. 21\u201328 (October 1999)"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: Dart: Directed automated random testing. In: Proceedings of the Conference on Programming Language Design and Implementation (2005)","DOI":"10.1145\/1065010.1065036"},{"key":"14_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-21606-5","volume-title":"The elements of statistical learning","author":"T. Hastie","year":"2001","unstructured":"Hastie, T., Tibshirani, R., Friedman, J.: The elements of statistical learning. Springer, Heidelberg (2001)"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Kanungo, T., Mount, D.M., Netanyahu, N., Piatko, C., Silverman, R., Wu, A.Y.: A local search approximation algorithm for k-means clustering. In: Proceedings of the 18th ACM Symposium on Computational Geometry (2002), http:\/\/www.cs.umd.edu\/users\/mount\/Projects\/KMeans\/","DOI":"10.1145\/513400.513402"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"King, J.C.: Symbolic execution and program testing. Communications of the ACM\u00a019(7) (1976)","DOI":"10.1145\/360248.360252"},{"issue":"4","key":"14_CR13","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1145\/778559.778562","volume":"25","author":"T.P. Kistler","year":"2003","unstructured":"Kistler, T.P., Franz, M.: Continuous program optimization: a case study. ACM Transactions on Programming Languages and Systems\u00a025(4), 500\u2013548 (2003)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Lau, J., Arnold, M., Hind, M., Calder, B.: Online performance auditing: Using hot optimizations without getting burned. In: Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation (2006)","DOI":"10.1145\/1133981.1134010"},{"issue":"3","key":"14_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1127878.1127884","volume":"31","author":"G. Leavens","year":"2006","unstructured":"Leavens, G., Baker, A., Ruby, C.: Preliminary design of JML: A behavioral interface specification language for java. ACM SIGSOFT Software Engineering Notes\u00a031(3), 1\u201338 (2006)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"14_CR16","unstructured":"Li, X., Garzaran, M.J., Padua, D.: A dynamically tuned sorting library. In: Proceedings of the International Symposium on Code Generation and Optimization (2004)"},{"key":"14_CR17","unstructured":"Shen, X., Mao, F.: Modeling relations between inputs and dynamic behavior for general programs. Technical Report WM-CS-2007-07, Computer Science Dept., College of William and Mary (July 2007)"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Shen, X., Zhong, Y., Ding, C.: Locality phase prediction. In: Proceedings of the Eleventh International Conference on Architect ural Support for Programming Languages and Operating Systems (ASPLOS XI), Boston, MA (2004)","DOI":"10.1145\/1024393.1024414"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Shen, X., Zhong, Y., Ding, C.: Phase-based miss rate prediction. In: Proceedings of the International Workshop on Languages and Compilers for Parallel Computing, West Lafayette, IN (September 2004)","DOI":"10.1007\/11532378_5"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Thomas, N., Tanase, G., Tkachyshyn, O., Perdue, J.: A framework for adaptive algorithm selection in stapl. In: Proceedings of ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (2005)","DOI":"10.1145\/1065944.1065981"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Voss, M., Eigenmann, R.: High-level adaptive program optimization with ADAPT. In: Proceedings of ACM Symposium on Principles and Practice of Parallel Programming, Snowbird, Utah (June 2001)","DOI":"10.1145\/379539.379583"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"Whaley, J., Martin, M.C., Lam, M.S.: Automatic extraction of object-oriented component interfaces. In: Proceedings of International Symposium on Software Testing and Analysis (2002)","DOI":"10.1145\/566172.566212"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Zhong, Y., Dropsho, S.G., Shen, X., Studer, A., Ding, C.: Miss rate prediction across program inputs and cache configurations. IEEE Transactions on Computers\u00a056(3) (2007)","DOI":"10.1109\/TC.2007.50"}],"container-title":["Lecture Notes in Computer Science","Languages and Compilers for Parallel Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85261-2_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:23:41Z","timestamp":1606184621000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85261-2_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540852605","9783540852612"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85261-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}