[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[pept:146] Call for Participation PEPM'03
-----------------------------------------------------------
ACM SIGPLAN 2003 Workshop on
Partial Evaluation and Semantics Based Program Manipulation
PEPM'03
San Diego, California, Saturday June 7, 2003
Sponsored by ACM SIGPLAN in cooperation with ACM SIGSOFT
-----------------------------------------------------------
CALL FOR PARTICIPATION
-----------------------------------------------------------
DEADLINE FOR EARLY REGISTRATION MAY 7 !!
Registration Website:
http://www.acm.org/sigs/conferences/fcrc/registration.htm
PEPM'03 Website:
http://www.ecs.soton.ac.uk/~mal/PEPM03/
-----------------------------------------------------------
The PEPM'03 workshop will bring together researchers working
in the areas of semantics-based program manipulation, partial
evaluation, and program generation. The workshop focuses on
techniques, supporting theory, and applications of the analysis
and manipulation of programs. The workshop will be held at the
Federated Computing Research Conference FCRC'03. Proceedings
are published by ACM Press.
Invited Speakers:
-----------------
John Hatcliff
German Puebla
Regular Talks:
--------------
Fast Partial Evaluation of Pattern Matching in Strings
Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde
Transforming Interpreters into Inverse Interpreters by Partial Evaluation
Robert Glück, Youhei Kawada, Takuya Hashimoto
Implementing Typeful Program Transformation
Chiyan Chen, Hongwei Xi
Slicing Java Programs that Throw and Catch Exceptions
Matthew Allen, Susan Horwitz
Storeless semantics and Alias Logic
Marius Bozga, Radu Iosif, Yassine Lakhnech
CodeBricks: Code Fragments as Building Blocks
Giuseppe Attardi, Antonio Cisternino, Andrew Kennedy
Extending Sized Type with Collection Analysis
Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
Optimizing Ackermann's function by incrementalization
Annie Liu, S.D. Stoller