Automated synthesis for program inversion

[1]  David R. Jefferson,et al.  Virtual time , 1985, ICPP.

[2]  Rajib Mall,et al.  Reverse execution of programs , 1999, SIGP.

[3]  Keith D. Cooper,et al.  Operator strength reduction , 2001, TOPL.

[4]  James R. Larus,et al.  Efficient path profiling , 1996, Proceedings of the 29th Annual IEEE/ACM International Symposium on Microarchitecture. MICRO 29.

[5]  Michael Wolfe,et al.  Beyond induction variables , 1992, PLDI '92.

[6]  Sumit Gulwani,et al.  Path-based inductive synthesis for program inversion , 2011, PLDI '11.

[7]  Christopher D. Carothers,et al.  Efficient optimistic parallel simulations using reverse computation , 1999, Proceedings Thirteenth Workshop on Parallel and Distributed Simulation. PADS 99. (Cat. No.PR00155).

[8]  Tankut Akgul.  Assembly instruction level reverse execution for debugging , 2004, TSEM.

[9]  Vivek Sarkar,et al.  ABCD: eliminating array bounds checks on demand , 2000, PLDI '00.

[10]  George F. Riley.  Simulation of large scale networks II: large-scale network simulations with GTNetS , 2003, WSC '03.

[11]  Richard W. Vuduc,et al.  Synthesizing Loops for Program Inversion , 2012, RC.

[12]  Mark N. Wegman,et al.  Efficiently computing static single assignment form and the control dependence graph , 1991, TOPL.

[13]  James R. Larus,et al.  Optimally profiling and tracing programs , 1994, TOPL.

[14]  Robert Glück,et al.  The Universal Resolving Algorithm: Inverse Computation in a Functional Language , 2000, MPC.

[15]  Brian J. Ross,et al.  Running programs backwards: The logical inversion of imperative computation , 1997, Formal Aspects of Computing.

[16]  Bowen Alpern,et al.  Detecting equality of variables in programs , 1988, POPL '88.

[17]  Richard W. Vuduc,et al.  The Backstroke framework for source level reverse computation applied to parallel discrete event simulation , 2011, Proceedings of the 2011 Winter Simulation Conference (WSC).

[18]  Pierre Jouvelot,et al.  In and Out of SSA : a Denotational Specification , 2009 .

[19]  Lawrence Rauchwerger,et al.  Scalable Array SSA and Array Data Flow Analysis , 2005, LCPC.

[20]  Robert Glück,et al.  The Program Inverter LRinv and Its Structure , 2005, PADL.

[21]  Jim S. Briggs.  Generating reversible programs , 1987, Softw. Pract. Exp..

[22]  Ron Cytron,et al.  Efficient accommodation of may-alias information in SSA form , 1993, PLDI '93.

[23]  Richard W. Vuduc,et al.  A New Method for Program Inversion , 2012, CC.

[24]  Robert Glück,et al.  Revisiting an automatic program inverter for Lisp , 2005, SIGP.

[25]  Arthur B. Maccabe,et al.  The program dependence web: a representation supporting control-, data-, and demand-driven interpretation of imperative languages , 1990, PLDI '90.

[26]  Christopher D. Carothers,et al.  ROSS: a high-performance, low memory, modular time warp system , 2000, PADS '00.

[27]  D. Qainlant,et al.  ROSE: Compiler Support for Object-Oriented Frameworks , 1999 .