PEPM 2006, Day 1, January 9, 2006
Invited Talk: Jim Cordy (Queen's University)
9:00-10:00 AM- Source Transformation, Analysis, and Generation in TXL
Jim Cordy
10:00 - 10:30 AM -- Coffee Break
Session: Applications
10:30 AM - 12:00 Noon- On the application of partial evaluation to the
optimisation of cardiac electrophysiological simulations
Jonathan Cooper, Steve McKeever, Alan Garny - Using Program Specialization to Speed SystemC Fixed-Point Simulation
Stephen A. Edwards - Bit-Level Partial Evaluation of Synchronous Circuits
Sarah Thompson, Alan Mycroft
12:00 -- 1:30 PM Lunch
Session: Analysis
1:30-3:00 PM- Resource Usage Analysis for a Functional Language with Exceptions
Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi - A Dead Variable Analysis for Explicit Model Checking
Micah Lewis and Michael Jones - Dynamic Path Conditions in Dependence Graphs
Christian Hammer, Martin Grimme, Jens Krinke
3:00-3:30 PM Coffee Break
Session: Aspect Oriented Programming
3:30 -- 4:30 PM- A Disciplined Approach to Aspect Composition
Roberto Lopez-Herrejon, Don Batory, Christian Lengauer - Type-Directed Weaving of Aspects for Higher-order
Functional Languages
Meng Wang, Kung Chen, Siau-Cheng Khoo
Session: Tool Demonstrations I
4:30-5:30 PM- The Ecce and Logen Partial Evaluators and their Web Interface
Michael Leuschel, Stephen Craig, Dan Elphick, Marc Fontaine, Mauricio Varea - Stratego/XT 0.16. Components for Transformation Systems
Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser
PEPM 2006, Day 2, January 10, 2006
Invited Talk: Tom Reps (University of Wisconsin)
9:00-10:00 AM- Intermediate Representation Recovery from Low-Level Code
Thomas Reps, Gogul Balakrishnan, and Junghee Lim
10:00 - 10:30 AM -- Coffee Break
Session: Transformations
10:30 AM - 12:00 Noon- Core Role-Based Access Control: Efficient Implementations
by Transformations
Yanhong A. Liu, Chen Wang, Michael Gorbovitski, Tom Rothamel, Yongxi Cheng, Yingchao Zhao, Jing Zhang - Program Transformation by Solving Recurrences
Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo - Generic Programming in Fortran
Martin Erwig, Zhe Fu, Ben Pflaum
12:00 -- 1:30 PM Lunch
Session: Tool Demonstrations II
1:30 -- 2:30 PM- Loco: An Interactive Code (De)Obfuscation tool
Matias Madou, Ludo Van Put, Koen De Bosschere - Continuous Code-Quality Assurance with SAFE
Emmanuel Geay, Eran Yahav, Stephen J Fink
Session: Meta-Programming
2:30 -- 3:30 PM- Tradeoffs in Metaprogramming
Todd L. Veldhuizen - A Monadic Approach for Avoiding Code Duplication when
Staging Memoized Functions
Kedar Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic
3:30 -- 4:00 PM Coffee Break
[end of program]