Cross-Architecture Lifter Synthesis.

Rijnard van Tonder, Claire Le Goues

Browse the full SEFM paper archive.