PLI 2002: PPDP Accepted Papers

October 6-8, 2002
Pittsburgh, PA, USA
Affiliated with PLI 2002
The following papers have been accepted for publication in PPDP 2002.

Papers

Schedule in

DVI

PDF

Sunday, October 6

11:30—12:30 Invited Presentation:
Program Generation, Termination, and Binding-time Analysis Neil Jones (University of Copenhagen) -- Common GPCE, ICFP and PPDP invited speaker
12:30—14:00 Lunch
14:00—14:30 Towards a Primitive Higher Order Calculus of Broadcasting Systems Karol Ostrovsky, K.V.S. Prasad (Chalmers University of Technology), Walid Taha (Rice University)
14:30—15:00 Coercion as homomorphism: type inference in a system with subtyping and overloading Alex Shafarenko (University of Hertfordshire)
15:00—15:30 Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus Marcelo Fiore (Computer Laboratory, University of Cambridge)
15:30—16:00 Coffee break
16:00—16:30 Automated Protocol Verification in Linear Logic Marco Bozzano (ITC-IRST), Giorgio Delzanno (University of Genova)
16:30—17:00 Modular Termination of Context-Sensitive Rewriting Bernhard Gramlich (Institute Computer Languages, TU Wien), Salvador Lucas (Universidad Politénica de Valencia)
17:00—17:30 System Presentation -- CARIBOO: An induction based proof tool for termination with strategies Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner (LORIA: CNRS-INRIA)

Monday, October 7

09:00—10:00 Invited Presentation:
Mobile calculi for distributed programming Catuscia Palamidessi (The Pennsylvania State University) -- Common GPCE and PPDP invited speaker
10:00—10:30 Coffee break
10:30—11:00 Secure calling contexts for stack inspection Frédéric Besson, Thomas de Grenier de Latour, Thomas Jensen (IRISA)
11:00—11:30 Combining an improvement to PARMA trailing with analysis in HAL Tom Schrijvers, Bart Demoen (Department of Computer Science, Katholieke Universiteit Leuven)
11:30—12:00 Precise Pair-Sharing Analysis of Logic programs Vitaly Lagoon, Peter J. Stuckey (University of Melbourne)
12:30—14:00 Lunch
14:00—14:30 Constraint-based mode analysis of Mercury David Overton, Zoltan Somogyi, Peter J. Stuckey (University of Melbourne)
14:30—15:00 Using the heap to eliminate stack accesses Zoltan Somogyi, Peter J. Stuckey (University of Melbourne)
15:00—15:30 Transforming the .NET Intermediate Language Using Path Logic Programming Stephen Drape, Oege de Moor, Ganesh Sittampalam (Oxford University Computing Laboratory)
15:30—16:00 Coffee break
16:00—16:30 A Generic Operator over Discrete Time Intervals Jérémie Blanc, Rachid Echahed (Laboratoire Leibniz, CNRS)
16:30—17:00 On the Expressive Power of Temporal Constraint Programming Langagues Mogens Nielsen (BRICS), Catuscia Palamidessi (Penn State University), Frank D. Valencia (BRICS)
17:00—17:30 System Presentation -- Functional Reactive Robotics: an Exercise in Principled Integration of Domain-Specific Languages Izzet Pembeci (Johns Hopkins University), Henrik Nilsson (Yale University), Gregory Hager (Johns Hopkins University)

Tuesday, October 8

09:00—10:00 Invited Presentation:
Generative Programming for Embedded Systems Janos Sztipanovits (Vanderbilt University) -- Common GPCE and PPDP invited speaker
10:00—10:30 Coffee break
10:30—11:00 Full integration of subtyping and if-expression Gang Chen (Boston University, Computer Science Department)
11:00—11:30 True Separate Compilation of Java Classes Davide Ancona, Giovanni Lagorio, Elena Zucca (DISI - Università di Genova)
11:30—12:00 Java Bytecode as a Typed Term Calculus Tomoyuki Higuchi, Atsushi Ohori (School of Information Science, Japan Advanced Institute of Science and Technology)
12:00— Lunch

[lambda] Contact Us!

11:30—12:30	Invited Presentation: Program Generation, Termination, and Binding-time Analysis	Neil Jones (University of Copenhagen) -- Common GPCE, ICFP and PPDP invited speaker
12:30—14:00		Lunch
14:00—14:30	Towards a Primitive Higher Order Calculus of Broadcasting Systems	Karol Ostrovsky, K.V.S. Prasad (Chalmers University of Technology), Walid Taha (Rice University)
14:30—15:00	Coercion as homomorphism: type inference in a system with subtyping and overloading	Alex Shafarenko (University of Hertfordshire)
15:00—15:30	Semantic Analysis of Normalisation by Evaluation for Typed Lambda Calculus	Marcelo Fiore (Computer Laboratory, University of Cambridge)
15:30—16:00		Coffee break
16:00—16:30	Automated Protocol Verification in Linear Logic	Marco Bozzano (ITC-IRST), Giorgio Delzanno (University of Genova)
16:30—17:00	Modular Termination of Context-Sensitive Rewriting	Bernhard Gramlich (Institute Computer Languages, TU Wien), Salvador Lucas (Universidad Politénica de Valencia)
17:00—17:30	System Presentation -- CARIBOO: An induction based proof tool for termination with strategies	Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner (LORIA: CNRS-INRIA)

09:00—10:00	Invited Presentation: Mobile calculi for distributed programming	Catuscia Palamidessi (The Pennsylvania State University) -- Common GPCE and PPDP invited speaker
10:00—10:30		Coffee break
10:30—11:00	Secure calling contexts for stack inspection	Frédéric Besson, Thomas de Grenier de Latour, Thomas Jensen (IRISA)
11:00—11:30	Combining an improvement to PARMA trailing with analysis in HAL	Tom Schrijvers, Bart Demoen (Department of Computer Science, Katholieke Universiteit Leuven)
11:30—12:00	Precise Pair-Sharing Analysis of Logic programs	Vitaly Lagoon, Peter J. Stuckey (University of Melbourne)
12:30—14:00		Lunch
14:00—14:30	Constraint-based mode analysis of Mercury	David Overton, Zoltan Somogyi, Peter J. Stuckey (University of Melbourne)
14:30—15:00	Using the heap to eliminate stack accesses	Zoltan Somogyi, Peter J. Stuckey (University of Melbourne)
15:00—15:30	Transforming the .NET Intermediate Language Using Path Logic Programming	Stephen Drape, Oege de Moor, Ganesh Sittampalam (Oxford University Computing Laboratory)
15:30—16:00		Coffee break
16:00—16:30	A Generic Operator over Discrete Time Intervals	Jérémie Blanc, Rachid Echahed (Laboratoire Leibniz, CNRS)
16:30—17:00	On the Expressive Power of Temporal Constraint Programming Langagues	Mogens Nielsen (BRICS), Catuscia Palamidessi (Penn State University), Frank D. Valencia (BRICS)
17:00—17:30	System Presentation -- Functional Reactive Robotics: an Exercise in Principled Integration of Domain-Specific Languages	Izzet Pembeci (Johns Hopkins University), Henrik Nilsson (Yale University), Gregory Hager (Johns Hopkins University)

09:00—10:00	Invited Presentation: Generative Programming for Embedded Systems	Janos Sztipanovits (Vanderbilt University) -- Common GPCE and PPDP invited speaker
10:00—10:30		Coffee break
10:30—11:00	Full integration of subtyping and if-expression	Gang Chen (Boston University, Computer Science Department)
11:00—11:30	True Separate Compilation of Java Classes	Davide Ancona, Giovanni Lagorio, Elena Zucca (DISI - Università di Genova)
11:30—12:00	Java Bytecode as a Typed Term Calculus	Tomoyuki Higuchi, Atsushi Ohori (School of Information Science, Japan Advanced Institute of Science and Technology)
12:00—		Lunch