QAPL'01 Schedule

Workshop on Quantitative Aspects of Programming Laguages

Satellite to Principles, Logics, and Implementations

of high-level programming languages, PLI'01

sponsored by ACM Sigplan.

September 3 - 7, 2001 -- Firenze, Italy

Friday 7th September 2001

Session 1: 9:00 - 10:00

9:00 - 9:30 Keye Martin: Powerdomains and Zero Finding
9:30 - 10:00 Marius C. Bujorianu and Manuela L. Bujorianu: On the Hilbert Machine Quantitative Computational Model

9:00 - 10:00 Coffee

Invited Talk: 10:30 - 11:30

10:30 - 11:30 David Sands: Asymptotic Reasoning Meets Programming Language Semantics

Session 2: 11:30 - 12:30

11:30 - 12:00 Thom Fruhwirth: As Time Goes By: Complexity Analysis of Simplification Rule
12:00 - 12:30 Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky: On Language Expressiveness and Dimension

12:30- 14:30 Lunch

Session 3: 14:30 - 15:30

14:30 - 15:00 F.S. de Boer, M. Gabbrielli and M.C. Meo: Proving Correctness of Timed Concurrent Constraint Programs
15:00 - 15:30 David Clark, Sebastian Hunt, Pasquale Malacaria: Quantitative Analysis of the Leakage of Confidential Data

15:30 - 16:00 Coffee

Session 4: 16:00 - 17:00

16:00 - 16:30 Nicos Angelopoulos and David R. Gilbert: A Statistical View of Probabilistic Finite Domains
16:30 - 17:00 Richard Kieburtz: Real-time Reactive Programming for Embedded Controllers