Xipeng Shen, Feng Mao. Modeling Relations between Inputs and Dynamic Behavior for General Programs. In Vikram S. Adve, María Jesús Garzarán, Paul Petersen, editors, Languages and Compilers for Parallel Computing, 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers. Volume 5234 of Lecture Notes in Computer Science, pages 202-216, Springer, 2007. [doi]
Abstract is missing.