Type-Based Decompilation (or Program Reconstruction via Type Reconstruction)
Abstract elided by the publisher.
Related papers
- From MinX to MinC: semantics-driven decompilation of recursive datatypes POPL 2016
- Polymorphic type inference for machine code PLDI 2016
- Type Reconstruction for General Refinement Types ESOP 2007
- Local Type Reconstruction by Means of Symbolic Fixed Point Iteration ESOP 1994
- An insider's look at LF type reconstruction: everything you (n)ever wanted to know JFP 2013
- Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction POPL 2015
- Type Reconstruction with First-Class Polymorphic Values PLDI 1989
- Algebraic Reconstruction of Types and Effects POPL 1991