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]
Photo by Cong Hou – https://sites.google.com/site/houcong1984/
