| 2007 | Tasks: language support for event-driven programming. | Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein |
| 2007 | Tools and libraries to model and manipulate circular programs. | Joo Paulo Fernandes, Joo Saraiva |
| 2007 | The semantics of graphical languages. | Stephan Ellner, Walid Taha |
| 2007 | Transformation of structure-shy programs: applied to XPath queries and strategic functions. | Alcino Cunha, Joost Visser |
| 2007 | Partial evaluation of Maple. | Jacques Carette, Michael Kucera |
| 2007 | Lowering: a static optimization technique for transparent functional reactivity. | Kimberley Burchett, Gregory H. Cooper, Shriram Krishnamurthi |
| 2006 | Type-directed weaving of aspects for higher-order functional languages. | Meng Wang, Kung Chen, Siau-Cheng Khoo |
| 2006 | Tradeoffs in metaprogramming. | Todd L. Veldhuizen |
| 2006 | Bit-level partial evaluation of synchronous circuits. | Sarah Thompson, Alan Mycroft |
| 2006 | A monadic approach for avoiding code duplication when staging memoized functions. | Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic |
| 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 | Program transformation by solving recurrences. | Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo |
| 2006 | A disciplined approach to aspect composition. | Roberto E. Lopez-Herrejon, Don S. Batory, Christian Lengauer |
| 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 | A dead variable analysis for explicit model checking. | Micah Lewis, Michael Jones |
| 2006 | The Ecce and Logen partial evaluators and their web interfaces. | Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine |
| 2006 | Resource usage analysis for a functional language with exceptions. | Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi |
| 2006 | Dynamic path conditions in dependence graphs. | Christian Hammer, Martin Grimme, Jens Krinke |
| 2006 | Continuous code-quality assurance with SAFE. | Emmanuel Geay, Eran Yahav, Stephen J. Fink |
| 2006 | Generic programming in Fortran. | Martin Erwig, Zhe Fu, Ben Pflaum |
| 2006 | Using program specialization to speed SystemC fixed-point simulation. | Stephen A. Edwards |
| 2006 | Source transformation, analysis and generation in TXL. | James R. Cordy |
| 2006 | On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations. | Jonathan Cooper, Steve McKeever, Alan Garny |
| 2006 | Stratego/XT 0.16: components for transformation systems. | Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser |