Québec Programming Languages Séminaire, November 2004

The second seminar of this series will take place at McGill University, on Friday, 12 November 2004, in room 103 of the McConnell Engineering building, 3480 University street. The simplest way to get there is by the metro station McGill which gets you straight to University street.

9:30-10:00 Coffee
10:00-10:30 Encoding lambda-calculus in a first-order language via Linear Realizability Algebras

Prakash Panangaden, McGill University

10:45-11:15 A Functional Programming Language for Quantum Computation with Classical Control

Benoit Valiron, University of Ottawa

11:30-12:00 A DSL for speech components based on hierarchical state machines

Dominique Boucher, NuEcho Inc.

12:00-13:00 Lunch
13:00-13:30 Optimized Return Value Prediction for Java

Christopher J.F. Pickett, McGill University

13:45-14:15 abc - The AspectBench Compiler
Ondrej Lhotak, McGill University

14:30-15:00 The Hob System for Verifying Data Structure Consistency Properties

Patrick Lam, Massachussetts Institute of Technology

15:00-15:30 Coffee break
15:30-16:30 Secure Information Flow and Access Control in a Java-like Language

Anindya Banerjee, Kansas State University (In room 13. Invited talk, jointly with SOCS colloquium)

16:30-17:30 Drinks and snacks in SOCS lounge

Stefan Monnier
Viewable With Any Browser