Challenging problems in partial evaluation and mixed computation

Closing the stage: from staged code to typed closures

PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Jones optimality and hardware virtualization: a report on work in progress

PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming

Formally efficient program instrumentation

RV'10 Proceedings of the First international conference on Runtime verification