PEPM'03 Call for Participation 
Author Message
 PEPM'03 Call for Participation

               ACM SIGPLAN 2003 Workshop on
Partial Evaluation and Semantics Based Program Manipulation


      San Diego, California, Saturday June 7, 2003
 Sponsored by ACM SIGPLAN in cooperation with ACM SIGSOFT




                   Registration Website:

                     PEPM'03 Website:
          http://www.*-*-*.com/ ~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 Talks:
"Slicing and Partial Evaluation of CORBA Component Model Designs for
Avionics Systems"
John Hatcliff

"Title to be announced"
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 Glck, 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

Sat, 15 Oct 2005 15:30:02 GMT  
 [ 1 post ] 

 Relevant Pages 

1. PEPM'03 Call for Participation

2. PEPM'03 - Call for papers

3. PEPM'03 - Call for papers

4. HCC '03 Call For Participation

5. HCC '03 Call For Participation

6. PLI'03: Call for Participation

7. Call for participation: PLI '03

8. HCC '03 Call For Participation

9. HCC '03 Call For Participation

10. Call for participation: PLI '03

11. Call for Participation for IEEE RTAS '03

12. Call for participation: PLI '03


Powered by phpBB® Forum Software