Québec Programming Languages Séminaire, April 2004

The first seminar of this series will take place at Université de Montréal, on Monday, 26 April 2004, in room 6214 of pavillon Pavillon André-Aisenstadt.

The pavillon André-Aisenstadt is located south of the main pavillon (cf. general map). The simplest way to get there is by the metro station Université de Montréal: follow the signs to "Université de Montréal"; they lead to a long escalator that leads to the main pavillon: atthe top of the escalator, take the right hallway that leads to the southern exit. At the exit, take a left (towards the south); after a small block you will be at a Y intersection right in front of the pavillon André-Aisenstadt.

It is recommended not to come by car, but if you have no choice and you don't know where to park, please get in touch with me

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

Amy Felty, University of Ottawa

10:45 Precise, Partially Compositional Analysis of the pi-Calculus

Sam Sanjabi, McGill University

11:30 History Types and Verification

Christian Skalka, University of Vermont

12:15 Lunch
13:15 Administrivia
13:30 Burger Lazy-Scheme : Réduction de Graphe en Parallèle sur FPGA

Étienne Bergeron, Université de Montréal

14:15 Towards dynamic interprocedural analysis in JVMs

Feng Qian, McGill University

15:00 Towards an improved Java bytecode verifier

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

15:45 Closing remarks

Stefan Monnier
Viewable With Any Browser