Active Bibliography

Signature of Author........................................................... – Tom Crick, Tom Crick Acknowledgements, Tristan Caulfield, Matthew Collinson, Yi-zhe Song, Manu Tanguy, Adam Dziedzic - 2009
5 Near-Optimal Instruction Selection on DAGs – David Ryan Koes, Seth Copen Goldstein - 2008
Lecture Notes on Basic Optimizations 15-411: Compiler Design – André Platzer
Building a flexible incremental compiler back-end – Phil Cook, Jim Welsh, Ian J. Hayes, Phil Cook, Jim Welsh, Ian Hayes - 2005
Type- and Flow-Directed Compilation for Specialized Data Representations – Allyn Dimock - 2002
12 Universal regular path queries – Oege De Moor, David Lacey, Eric Van Wyk - 2003
24 A Survey of Rewriting Strategies in Program Transformation Systems – Eelco Visser - 2001
5 Comprehensive Path-sensitive Data-flow Analysis – Aditya Thakur, R. Govindarajan - 2008
Peephole Log Optimization – Huston Lhuston Citi, P. Honeyman - 1994
Symbolic Debugging of Optimized Behavioral Specifications – Darko Kirovski, M. Potkonjak - 1999
Scalable Simplification of Reversible Circuits – Vivek Shende Aditya, Aditya K. Prasad, Ketan N. Patel, Igor L. Markov, John P. Hayes
An Optimizing Compiler for Batches of Temporal Logic – Formulas James Ezick - 2004
Optimization of Straight–Line Code Revisited – Optimization Of Straight-Line, Thomas Noll, Stefan Rieger, Thomas Noll, Stefan Rieger - 2005
2 Behavioral Level Guidance Using Property-Based Design Characterization by – Lisa Marie Guerra, Lisa Marie Guerra, Lisa Marie Guerra - 1996
1 P.: ‘Data structures and algorithms for simplifying reversible circuits – Aditya K. Prasad, Vivek V. Shende, Ketan N. Patel, Igor L. Markov, John P. Hayes
3 Divide-and-Conquer Techniques for Global Throughput Optimization – Lisa Guerra, Miodrag Potkonjak, Jan Rabaey - 1996
1 How to optimize Rscript comprehensions? – Menno Bredenoord, Prof Dr, Paul Klint, Internship Supervisor, Hogeschool Van Amsterdam - 2006
Towards an Efficient Implementation of Distributive Programs – Sebastiano Vigna - 1997
8 Potential-Driven Statistical Ordering of Transformations – Inki Hong , Darko Kirovski, Miodrag Potkonjak - 1997