PEPM 2006: Charleston, South Carolina, USA

John Hatcliff, Frank Tip (Eds.): Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006, Charleston, South Carolina, USA, January 9-10, 2006. ACM 2006, ISBN 1-59593-196-1 BibTeX

Invited talk

James R. Cordy:
Source transformation, analysis and generation in TXL. 1-11
Electronic Edition (ACM DL) BibTeX

Applications

Jonathan Cooper, Steve McKeever, Alan Garny:
On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations. 12-20
Electronic Edition (ACM DL) BibTeX
Stephen A. Edwards:
Using program specialization to speed SystemC fixed-point simulation. 21-28
Electronic Edition (ACM DL) BibTeX
Sarah Thompson, Alan Mycroft:
Bit-level partial evaluation of synchronous circuits. 29-37
Electronic Edition (ACM DL) BibTeX

Analysis

Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi:
Resource usage analysis for a functional language with exceptions. 38-47
Electronic Edition (ACM DL) BibTeX
Micah Lewis, Michael Jones:
A dead variable analysis for explicit model checking. 48-57
Electronic Edition (ACM DL) BibTeX
Christian Hammer, Martin Grimme, Jens Krinke:
Dynamic path conditions in dependence graphs. 58-67
Electronic Edition (ACM DL) BibTeX

Aspect-oriented programming

Roberto E. Lopez-Herrejon, Don S. Batory, Christian Lengauer:
A disciplined approach to aspect composition. 68-77
Electronic Edition (ACM DL) BibTeX
Meng Wang, Kung Chen, Siau-Cheng Khoo:
Type-directed weaving of aspects for higher-order functional languages. 78-87
Electronic Edition (ACM DL) BibTeX

Tool demonstrations I

Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine:
The Ecce and Logen partial evaluators and their web interfaces. 88-94
Electronic Edition (ACM DL) BibTeX
Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser:
Stratego/XT 0.16: components for transformation systems. 95-99
Electronic Edition (ACM DL) BibTeX

Invited talk

Thomas W. Reps, Gogul Balakrishnan, Junghee Lim:
Intermediate-representation recovery from low-level code. 100-111
Electronic Edition (ACM DL) BibTeX

Transformations

Yanhong A. Liu, Chen Wang, Michael Gorbovitski, Tom Rothamel, Yongxi Cheng, Yingchao Zhao, Jing Zhang:
Core role-based access control: efficient implementations by transformations. 112-120
Electronic Edition (ACM DL) BibTeX
Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo:
Program transformation by solving recurrences. 121-129
Electronic Edition (ACM DL) BibTeX
Martin Erwig, Zhe Fu, Ben Pflaum:
Generic programming in Fortran. 130-139
Electronic Edition (ACM DL) BibTeX

Tool demonstrations II

Matias Madou, Ludo Van Put, Koen De Bosschere:
LOCO: an interactive code (De)obfuscation tool. 140-144
Electronic Edition (ACM DL) BibTeX
Emmanuel Geay, Eran Yahav, Stephen J. Fink:
Continuous code-quality assurance with SAFE. 145-149
Electronic Edition (ACM DL) BibTeX

Meta-programming

Todd L. Veldhuizen:
Tradeoffs in metaprogramming. 150-159
Electronic Edition (ACM DL) BibTeX
Kedar N. Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic:
A monadic approach for avoiding code duplication when staging memoized functions. 160-169
Electronic Edition (ACM DL) BibTeX