Tag loops

RC’12: gnitupmoC

Cong is in Copenhagen presenting our work on synthesizing program inverses for the case of programs with loops, at RC’12. UPDATE: Slides posted (see link below).

  • Cong Hou, Daniel Quinlan, David Jefferson, Richard Fujimoto, Richard Vuduc. “Loop synthesis for program inversion.” In Proc. 4th Wkshp. Reversible Computation (RC), Copenhagen, Denmark, July 2012. [PDF Preprint | PDF slides]

    Scene from Copenhagen - RC'12, by Cong Hou

    Photo by Cong Hou – https://sites.google.com/site/houcong1984/