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).
Photo by Cong Hou – https://sites.google.com/site/houcong1984/
This week, Cong is presenting his work on synthesizing program inverses at the 21st International Conference on Compiler Construction (CC) 2012, in Talinn, Estonia. A program inverse enables speculative parallelization, but also has applications in program debugging and software engineering (e.g., automatically creating “undo” functionality). His paper describes new compiler-based analysis and transformation techniques for the problem, specifically by introducing two new intermediate program representations: a value search graph, which extends single static assignment form to convert the synthesis problem into a graph search problem, and a route graph, which is a subset of the VSG that represents an inverse. Read the gory details below.
Rich at the 2009 R&D100 Awards Ceremony
Rich just returned from the R&D 100 Awards Ceremony, where colleagues from Lawrence Livermore National Laboratory (LLNL), Vienna University of Technology, University of Texas at San Antonio, and Indiana University, and he received an award for the ROSE Compiler Infrastructure. Dr. Dan Quinlan at LLNL leads the effort. Congratulations to the team!
Congratulations to the ROSE Compiler Project (LLNL), which just won an R&D 100 Award for 2009. Rich is a contributing collaborator to ROSE. See http://www.rosecompiler.org.