Evolving Exact Decompilation [1]:

This is a paper that uses a database to glue together a program from a database of readable source code excerpts into something with the equivalent binary executable, thereby guaranteeing that it is semantically identical while being readable.

Bibliography

[1] E. Schulte, J. Ruchti, M. Noonan, D. Ciarletta, and A. Loginov, “Evolving Exact Decompilation,” Proceedings 2018 Workshop on Binary Analysis Research, 2018.