Binary Synthesis with multiple memory banks targeting array references.

Yosi Ben-Asher, Nadav Rotem

Browse the full FPL paper archive.