{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T05:12:33Z","timestamp":1740287553639,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201458"},{"type":"electronic","value":"9783540399209"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39920-9_7","type":"book-chapter","created":{"date-parts":[[2010,6,28]],"date-time":"2010-06-28T04:08:38Z","timestamp":1277698118000},"page":"81-100","source":"Crossref","is-referenced-by-count":2,"title":["Reconstructing Control Flow from Predicated Assembly Code"],"prefix":"10.1007","author":[{"given":"Bj\u00f6rn","family":"Decker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"K\u00e4stner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF01205181","volume":"7","author":"B. Rau","year":"1993","unstructured":"Rau, B., Fisher, J.: Instruction-Level Parallel Processing: History, Overview, and Perspective. The Journal of Supercomputing\u00a07, 9\u201350 (1993)","journal-title":"The Journal of Supercomputing"},{"key":"7_CR2","unstructured":"Park, J., Schlansker, M.: On Predicated Execution. Tech. Rep. HPL-91-58, Hewlett-Packard Laboratories, Palo Alto CA (May 1991)"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/BF01205184","volume":"1\/2","author":"J. Dehnert","year":"1993","unstructured":"Dehnert, J., Towle, R.: Compiling for the Cydra 5. The Journal of Supercomputing\u00a01\/2, 181\u2013228 (1993)","journal-title":"The Journal of Supercomputing"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Hu, P.: Static Analysis for Guarded Code. In: Languages, Compilers, and Run- Time Systems for Scalable Computers, pp. 44\u201356 (2000)","DOI":"10.1007\/3-540-40889-4_4"},{"key":"7_CR5","unstructured":"Philips Electronics North America Corporation, TriMedia TM1000 Preliminary Data Book (1997)"},{"key":"7_CR6","unstructured":"Analog Devices, ADSP-2106x SHARC User\u2019s Manual (1995)"},{"key":"7_CR7","unstructured":"Intel, IA-64 Architecture Software Developer\u2019s Manual, Vol\u00a0 1: IA-64 Application Architecture, Revision 1.1 (July 2000)"},{"key":"7_CR8","unstructured":"Zivojnovic, V., Velarde, J., Schl\u00e4ger, C., Meyr, H.: DSPSTONE: A DSPOriented Benchmarking Methodology. In: Proceedings of the International Conference on Signal Processing Applications and Technology (1994)"},{"key":"7_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2570-4","volume-title":"Retargetable Code Generation for Digital Signal Processors","author":"R. Leupers","year":"1997","unstructured":"Leupers, R.: Retargetable Code Generation for Digital Signal Processors. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-540-49051-7_9","volume-title":"Compiler Construction","author":"D. K\u00e4stner","year":"1999","unstructured":"K\u00e4stner, D., Langenbach, M.: Code Optimization by Integer Linear Programming. In: J\u00e4hnichen, S. (ed.) CC 1999. LNCS, vol.\u00a01575, pp. 122\u2013137. Springer, Heidelberg (1999)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, D.: PROPAN: A Retargetable System for Postpass Optimisations and Analyses. In: Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems (June 2000)","DOI":"10.1007\/3-540-45245-1_5"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, D.: Retargetable Code Optimisation by Integer Linear Programming. PhDthesis, Saarland University (2000)","DOI":"10.1007\/978-3-540-49051-7_9"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, D., Wilhelm, S.: Generic Control Flow Reconstruction from Assembly Code. In: Proceedings of the ACM SIGPLAN Joined Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2002) and Software and Compilers for Embedded Systems (SCOPES 2002) (June 2002)","DOI":"10.1145\/513829.513839"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Larus, J., Schnarr, E.: EEL: Machine-Independent Executable Editing. In: SIGPLAN Conference on Programming Language Design and Implementation, pp. 291\u2013300 (1995)","DOI":"10.1145\/207110.207163"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Theiling, H.: Extracting Safe and Precise Control Flow from Binaries. In: 7th International Conference on Real-Time Computing Systems and Applications (July 2000)","DOI":"10.1109\/RTCSA.2000.896367"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Cifuentes, C., Simon, D., Fraboulet, A.: Assembly to High-Level Language Translation, August 1998, pp. 228\u2013237 (1998)","DOI":"10.1109\/ICSM.1998.738514"},{"key":"7_CR17","unstructured":"Cifuentes, C.: Interprocedural Data Flow Decompilation. Tech. Rep. 4(2) (June 1996)"},{"issue":"6","key":"7_CR18","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1145\/173262.155118","volume":"28","author":"N.J. Warter","year":"1993","unstructured":"Warter, N.J., Mahlke, S.A., Hwu, W.-M.W., Rau, B.R.: Reverse If-Conversion. ACM SIGPLAN Notices\u00a028(6), 290\u2013299 (1993)","journal-title":"ACM SIGPLAN Notices"},{"key":"7_CR19","unstructured":"K\u00e4stner, D.: ILP-based Approximations for Retargetable Code Optimization. In: Proceedings of the 5th International Conference on Optimization: Techniques and Applications, (ICOTA 2001) (2001)"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Allen, J., Kennedy, K., Porterfield, C., Warren, J.: Conversion of control dependenceto data dependence. In: Conference record of the 10th ACM Symposium on Principles of Programming Languages (POPL), pp. 177\u2013189 (1983)","DOI":"10.1145\/567067.567085"},{"key":"7_CR21","unstructured":"Hoogerbrugge, J., Augusteijn, L.: Instruction Scheduling for TriMedia (1999)"},{"key":"7_CR22","unstructured":"Martin, F.: Generation of Program Analyzers. PhD thesis, Saarland University (1999)"},{"key":"7_CR23","unstructured":"K\u00e4stner, D.: TDL: A Hardware and Assembly Description Language. Tech. Rep. TDL1.4, Transferbereich 14, Saarland University (2000)"},{"key":"7_CR24","unstructured":"Decker, B.: Generic Reconstruction of Control Flow for Guarded Code from Assembly. Master\u2019s thesis, Saarland University (2002)"}],"container-title":["Lecture Notes in Computer Science","Software and Compilers for Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39920-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T08:36:29Z","timestamp":1740213389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39920-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201458","9783540399209"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39920-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}