ACM SIGPLAN ASIA-PEPM 2002, Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Aizu, Japan
September 12-14, 2002

Program

Yoshihiko Futamura, Zenjiro Konishi and Robert Glück
"Automatic generation of efficient string matching algorithms by generalized partial computation"
ACM Digital Library

Robert Glück
"Jones optimality, binding-time improvements, and the strength of program specializers"
ACM Digital Library

Tim Sheard and Nathan Linger
"Search-based binding time analysis using type-directed pruning"
ACM Digital Library

Mads Sig Ager, Olivier Danvy and Henning Korsholm Rohde
"On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation"
ACM Digital Library

Nevin Heintze
"Aliasing analysis for a million lines of C"
ACM Digital Library

Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii and Akinori Yonezawa
"Supporting objects in run-time bytecode specialization"
ACM Digital Library

Jung Gyu Park and Myong-Soon Park
"Using indexed data structures for program specialization"
ACM Digital Library

Saman P. Amarasinghe
"Defying the speed of light: a spatially-aware compiler for wire-exposed architectures"
ACM Digital Library

Futoshi Iwama and Naoki Kobayashi
"A new type system for JVM lock primitives"
ACM Digital Library

Dana N. Xu and Siau-Cheng Khoo
"Compiling real time functional reactive programming"
ACM Digital Library

Pablo E. Martínez López and John Hughes
"Principal type specialisation"
ACM Digital Library

Siau-Cheng Khoo and Kun Shi
"Output-constraint specialization"
ACM Digital Library

Hongwei Xi
"Unifying object-oriented programming with typed functional programming"
ACM Digital Library

Janis Voigtländer
"Using circular programs to deforest in accumulating parameters"
ACM Digital Library

Andrei P. Nemytykh
"A note on elimination of simplest recursions"
ACM Digital Library