decompilation - researchr tag

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

2010

2009

Automatic reconstruction of data types in the decompilation problemE. N. Dolgova, A. V. Chernov. pcs, 35(2):105-119, 2009. [doi]

Decompilation of Java bytecode to Prolog by partial evaluationMiguel GÃ³mez-Zamalloa, Elvira Albert, GermÃ¡n Puebla. INFSOF, 51(10):1409-1427, 2009. [doi]

Profile-based type reconstruction for decompilationK. Troshina, A. Chernov, A. Fokin. IWPC 2009: 263-267 [doi]

2008

2007

Improving the Decompilation of Java Bytecode to Prolog by Partial EvaluationMiguel Gómez-Zamalloa, Elvira Albert, Germán Puebla. ENTCS, 190(1):85-101, 2007. [doi]

A New Algorithm for Identifying Loops in DecompilationTao Wei, Jian Mao, Wei Zou, Yu Chen. SAS 2007: 170-183 [doi]

2006

Concept and implementation of the programming language and translator, for embedded systems, based on machine code decompilation and equivalence between source and executable codeSamir Ribic. WCRE 2006: 307-308 [doi]

2005

New decompilation techniques for binary-level co-processor generationGreg Stiff, Frank Vahid. iccad 2005: 547-554

A Decompilation Approach to Partitioning Software for Microprocessor/FPGA PlatformsGreg Stitt, Frank Vahid. date 2005: 396-397 [doi]

2003

An Experimentation Framework for Evaluating Disassembly and Decompilation Tools for C++ and JavaLori Vinciguerra, Linda M. Wills, Nidhi Kejriwal, Paul Martino, Ralph L. Vinciguerra. WCRE 2003: 14-23 [doi]

2002

A Symmetric Approach to Compilation and DecompilationMads Sig Ager, Olivier Danvy, Mayer Goldberg. BIRTHDAY 2002: 296-331 [doi]

2001

Computer Security Analysis through Decompilation and High-Level DebuggingCristina Cifuentes, Trent Waddington, Mike Van Emmerik. WCRE 2001: 375-380 [doi]

Comparing Type-Based and Proof-Directed DecompilationAlan Mycroft, Atsushi Ohori, Shin-ya Katsumata. WCRE 2001: 362-367 [doi]

1999

Type-Based Decompilation (or Program Reconstruction via Type Reconstruction)Alan Mycroft. ESOP 1999: 208-223 [doi]

1997

Krakatoa: Decompilation in Java (Does Bytecode Reveal Source?)Todd A. Proebsting, Scott A. Watterson. coots 1997: 185-198 [doi]

1996

Interprocedural data flow decompilationCristina Cifuentes. jpl, 4(2):77-99, 1996. [doi]

1995

Decompilation of Binary ProgramsCristina Cifuentes, K. John Gough. SPE, 25(7):811-829, 1995.

1994

Decompilation: The Enumeration of Types and GrammarsTOPLAS, 16(5):1613-1647, 1994. [doi]

1992

Decompilation is the Efficient Enumeration of TypesPeter T. Breuer, Jonathan P. Bowen. SAS 1992: 255-273

1986

Fast Decompilation of Compiled Prolog ClausesKevin A. Buettner. ICLP 1986: 663-670

1985

Decompilation of Control Structures by Means of Graph TransformationsUlrike Lichtblau. tapsoft 1985: 284-297

Sign in or sign up to see more results.

runs on WebDSL