[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'09) January 19-20, 2009 Savannah, Georgia, USA http://clip.dia.fi.upm.es/Conferences/PEPM09 CALL FOR PARTICIPATION IMPORTANT DATES * Hotel reservation deadline: December 18, 2008 * Early registration deadline: December 19, 2008 VENUE PEPM'09 and all POPL'09 affiliated events will take place at the Hyatt Regency Savannah hotel. SCOPE The PEPM Symposium/Workshop series aims at bringing together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program generation. PEPM focuses on techniques, theory, tools, and applications of analysis and manipulation of programs. PEPM is classified as category A in the CORE ranking of ICT conferences. INVITED TALKS: * Umut Acar. Toyota Technological Institute and Univ. of Chicago. Title: Self-Adjusting Computation * Cristina Cifuentes. Sun Microsystems Laboratories. Title: Program Analysis for Bug Detection using Parfait PROGRAM CHAIRS: German Puebla, Technical University of Madrid, Spain German Vidal, Technical University of Valencia, Spain PROGRAM COMMITTEE: David Binkley, Loyola College, USA Radhia Cousot, CNRS, France Silvia Crafa, University of Padova, Italy Stephen A. Edwards, Columbia University, USA Lidia Fuentes, University of Malaga, Spain John P. Gallagher, Roskilde University, Denmark Thomas Jensen, IRISA, France Yukiyoshi Kameyama, University of Tsukuba, Japan Siau Cheng Khoo, National University of Singapore, Singapore Julia Lawall, University of Copenhagen (DIKU), Denmark Shin-Cheng Mu, Academia Sinica, Taiwan Naoki Nishida, Nagoya University, Japan Maurizio Proietti, CNR, Italy Armin Rigo, University of Dusseldorf, Germany Simon Thompson, Kent University, UK Tarmo Uustalu, Tallinn University of Technology, Estonia Wim Vanhoof, Namur University, Belgium Joost Visser, Software Improvement Group, The Netherlands Janis Voigtlander, TU Dresden, Germany PRELIMINARY PROGRAM * MONDAY, January 19, 2009 ---------------------- ** Invited talk 9:00-10:00 Umut Acar. Toyota Technological Institute and University of Chicago. Title: Self-adjusting computation ---------------------- ** Static Analysis 10:30-12:30 *** Linear Logical Approximations Robert Simmons and Frank Pfenning *** Guided model checking for programs with polymorphism Neha Rungta and Eric Mercer *** Program Interpolation Andrew Moss and Dan Page *** Translation and Optimization for a Core Calculus with Exceptions Cristina David, Cristian Gherghina and Wei-Ngan Chin ---------------------- ** Partial Evaluation and Specialization 13:30-15:00 *** Is there a Fourth Futamura projection? Robert Glueck *** Type-based Specialization of XML Transformations Kazutaka Matsuda, Zhenjiang Hu and Masato Takeichi *** Partially evauated sensor networks Leon Evers and Jan Kuper ---------------------- ** Program Transformation I 15:30-17:00 *** Shortcut fusion rules for the derivation of circular and higher-order monadic programs Alberto Pardo, Joao Fernandes and Joao Saraiva *** A Flexible Framework for Programming with Non-deterministic Functions Francisco Javier Lopez-Fraguas, Juan Rodriguez-Hortala and Jaime Sanchez-Hernandez *** Program Transformation for Numerical Precision Matthieu Martel ---------------------- * TUESDAY, January 20, 2009 ---------------------- ** Invited talk 9:00-10:00 Cristina Cifuentes. Sun Microsystems Laboratories. Title: Program Analysis for Bug Detection using Parfait ---------------------- ** Types 10:30-12:30 *** Shifting the Stage: Staging with Delimited Control Yukiyoshi Kameyama, Oleg Kiselyov and Chung-chieh Shan *** Static Consistency Checking for Verilog Wire Interconnects Cherif Salama, Gregory Malecha, Walid Taha, Jim Grundy and John O'Leary *** Improving Type Error Messages for Generic Java Nabil El Boustani and Jurriaan Hage *** Bidirectional data-flow analyses, type-systematically Maria Joao Frade, Ando Saabas and Tarmo Uustalu ---------------------- ** Slicing and Profiling 13:30-15:00 *** CCCP - Complete Calling Context Profiling in Virtual Execution Environments Philippe Moret, Walter Binder and Alex Villazon *** CProf: Customizable Calling Context Cross-Profiling for Embedded Java Processors Philippe Moret, Walter Binder and Alex Villazon *** SOC: a Slicer for CSP Specifications Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit and Michael Leuschel ---------------------- ** Program Transformation II 15:30-17:00 *** Clone Detection and Removal for Erlang/OTP within a Refactoring Environment Huiqing Li and Simon Thompson *** From Spreadsheets to Relational Databases and Back Jacome Cunha, Joao Saraiva and Joost Visser *** Designing Aspects for Side-Effect Localization Kung Chen, Jia-Yin Lin, Shu-Chun Weng and Siau-Cheng Khoo ----------------------