Synthesizing Loops for Program Inversion.

Cong Hou, Daniel J. Quinlan, David R. Jefferson, Richard Fujimoto, Richard W. Vuduc

Browse the full RC paper archive.