26 papers:
WCRE-2013-DurfinaKZ #case study #decompiler- PsybOt malware: A step-by-step decompilation case study (LD, JK, PZ), pp. 449–456.
- WCRE-2012-DurfinaKZK #decompiler #detection
- Detection and Recovery of Functions and their Arguments in a Retargetable Decompiler (LD, JK, PZ, BK), pp. 51–60.
- WCRE-2011-FokinDCT #c++ #decompiler #named
- SmartDec: Approaching C++ Decompilation (AF, ED, AC, KT), pp. 347–356.
CSMR-2010-FokinTC #c++ #decompiler #re-engineering #source code- Reconstruction of Class Hierarchies for Decompilation of C++ Programs (AF, KT, AC), pp. 240–243.
SCAM-2010-TroshinaDC #decompiler #re-engineering- Reconstruction of Composite Types for Decompilation (KT, YD, AC), pp. 179–188.
- WCRE-2010-ChenWZZHNQCG #c #decompiler #readability
- A Refined Decompiler to Generate C Code with High Readability (GC, ZW, RZ, KZ, SH, KN, ZQ, KC, HG), pp. 150–154.
FLOPS-2010-BerardiT #compilation #decompiler #normalisation- Internal Normalization, Compilation and Decompilation for System Fbh (SB, MT), pp. 207–223.
ICPC-2009-TroshinaCF #decompiler #re-engineering- Profile-based type reconstruction for decompilation (KT, AC, AF), pp. 263–267.
- SCAM-2009-HamiltonD #bytecode #evaluation #java
- An Evaluation of Current Java Bytecode Decompilers (JH, SD), pp. 129–136.
- SCAM-2008-Gomez-ZamalloaAP #composition #decompiler #low level #partial evaluation
- Modular Decompilation of Low-Level Code by Partial Evaluation (MGZ, EA, GP), pp. 239–248.
- ICPC-2007-NaeemBH #effectiveness #metric #obfuscation
- Metrics for Measuring the Effectiveness of Decompilers and Obfuscators (NAN, MB, LJH), pp. 253–258.
SAS-2007-WeiMZC #algorithm #decompiler #identification- A New Algorithm for Identifying Loops in Decompilation (TW, JM, WZ, YC), pp. 170–183.
- ICPC-2006-NaeemH #java
- Programmer-friendly Decompiled Java (NAN, LJH), pp. 327–336.
- WCRE-2006-Ribic #concept #decompiler #embedded #equivalence #execution #implementation #programming language
- Concept and implementation of the programming language and translator, for embedded systems, based on machine code decompilation and equivalence between source and executable code (SR), pp. 307–308.
- SAS-2006-ChangHN #analysis #low level #using
- Analysis of Low-Level Code Using Cooperating Decompilers (BYEC, MH, GCN), pp. 318–335.
DATE-2005-StittV #approach #clustering #decompiler- A Decompilation Approach to Partitioning Software for Microprocessor/FPGA Platforms (GS, FV), pp. 396–397.
- WCRE-2004-EmmerikW #decompiler #using
- Using a Decompiler for Real-World Source Recovery (MVE, TW), pp. 27–36.
- WCRE-2003-VinciguerraWKMV #c++ #decompiler #framework #java #tool support
- An Experimentation Framework for Evaluating Disassembly and Decompilation Tools for C++ and Java (LV, LMW, NK, PM, RLV), pp. 14–23.
CC-2002-MiecznikowskiH #bytecode #java #problem- Decompiling Java Bytecode: Problems, Traps and Pitfalls (JM, LJH), pp. 111–127.
- WCRE-2001-CifuentesWE #analysis #debugging #decompiler #security
- Computer Security Analysis through Decompilation and High-Level Debugging (CC, TW, MVE), pp. 375–380.
- WCRE-2001-MiecznikowskiH #encapsulation #java #staged #using
- Decompiling Java Using Staged Encapsulation (JM, LJH), pp. 368–374.
- WCRE-2001-MycroftOK #decompiler #type system
- Comparing Type-Based and Proof-Directed Decompilation (AM, AO, SyK), pp. 362–367.
ESOP-1999-Mycroft #decompiler #re-engineering #type system- Type-Based Decompilation (or Program Reconstruction via Type Reconstruction) (AM), pp. 208–223.
- CC-1996-Cifuentes #graph
- Structuring Decompiled Graphs (CC), pp. 91–105.
- WSA-1992-BreuerB #decompiler #performance
- Decompilation is the Efficient Enumeration of Types (PTB, JPB), pp. 255–273.
ICLP-1986-Buettner86 #decompiler #performance #prolog- Fast Decompilation of Compiled Prolog Clauses (KAB), pp. 663–670.
