| 2006 | A dead variable analysis for explicit model checking. Micah Lewis, Michael Jones |
| 2006 | A disciplined approach to aspect composition. Roberto E. Lopez-Herrejon, Don S. Batory, Christian Lengauer |
| 2006 | A monadic approach for avoiding code duplication when staging memoized functions. Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic |
| 2006 | Bit-level partial evaluation of synchronous circuits. Sarah Thompson, Alan Mycroft |
| 2006 | Continuous code-quality assurance with SAFE. Emmanuel Geay, Eran Yahav, Stephen J. Fink |
| 2006 | Core role-based access control: efficient implementations by transformations. Yanhong A. Liu, Chen Wang, Michael Gorbovitski, Tom Rothamel, Yongxi Cheng, Yingchao Zhao, Jing Zhang |
| 2006 | Dynamic path conditions in dependence graphs. Christian Hammer, Martin Grimme, Jens Krinke |
| 2006 | Generic programming in Fortran. Martin Erwig, Zhe Fu, Ben Pflaum |
| 2006 | Intermediate-representation recovery from low-level code. Thomas W. Reps, Gogul Balakrishnan, Junghee Lim |
| 2006 | LOCO: an interactive code (De)obfuscation tool. Matias Madou, Ludo Van Put, Koen De Bosschere |
| 2006 | On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations. Jonathan Cooper, Steve McKeever, Alan Garny |
| 2006 | Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006 John Hatcliff, Frank Tip |
| 2006 | Program transformation by solving recurrences. Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo |
| 2006 | Resource usage analysis for a functional language with exceptions. Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi |
| 2006 | Source transformation, analysis and generation in TXL. James R. Cordy |
| 2006 | Stratego/XT 0.16: components for transformation systems. Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser |
| 2006 | The Ecce and Logen partial evaluators and their web interfaces. Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine |
| 2006 | Tradeoffs in metaprogramming. Todd L. Veldhuizen |
| 2006 | Type-directed weaving of aspects for higher-order functional languages. Meng Wang, Kung Chen, Siau-Cheng Khoo |
| 2006 | Using program specialization to speed SystemC fixed-point simulation. Stephen A. Edwards |