Québec Programming Languages Séminaire, Avril 2004

Le premier séminaire de cette série aura lieu à l'Université de Montréal, le lundi 26 avril 2004 à la salle 6214 du pavillon André-Aisenstadt.

10:00 Foundational Proof Carrying Code (Présentation invitée)

Amy Felty, University of Ottawa

10:45 Towards an improved Java bytecode verifier

Etienne Gagnon, Université du Québec à Montréal

11:15 Pause
11:30 Precise, Partially Compositional Analysis of the pi-Calculus

Sam Sanjabi, McGill University

12:00 Burger Lazy-Scheme : Réduction de Graphe en Parallèle sur FPGA

Étienne Bergeron, Université de Montréal

12:30 Repas de midi
13:30 Administrivia
13:45 Towards dynamic interprocedural analysis in JVMs

Feng Qian, McGill University

14:30 History Types and Verification

Christian Skalka, University of Vermont

15:15 Functional Programming in Logical Frameworks

Carsten Schuermann, Yale University

16:00 Clôture

Stefan Monnier
Viewable With Any Browser