QA'09 Program

Sunday, June 28 Schedule (and slides)
8:45 -- 9:00

Welcome and Introduction

9:00 -- 10:00 Keynote Talk
Thomas Henzinger (EPFL and IST Austria)
From Boolean to Quantitative System Specifications (pdf)
10:00 -- 10:30 Break I
10:30 -- 12:00 Contributed Papers
10:30 — 11:00

Francesco Logozzo (Microsoft Research), Corneliu Popeea (MPI), and Vincent Laviron (ENS)
Towards a Quantitative Estimation of Abstract Interpretations

11:00 — 11:30

Jonathan Heusser and Pasquale Malacaria (Queen Mary, Univ. of London)
Quantifying Loop Leakage using a Lattice of Partitions (pdf)

11:30 — 12:00 Michael Carl Tschantz (CMU) and Aditya V. Nori (Microsoft Research)
Measuring the Loss of Privacy from Statistics (pdf)
12:00 -- 2:00 Lunch
2:00 -- 3:30 Invited Talks
2:00 — 2:30

Elvira Albert (Complutense University of Madrid)
Upper Bounds on Memory Usage for Garbage-Collected Languages (pdf)

2:30 — 3:00

Marta Kwiatkowska (Oxford University)
Software verification for ubiquitous computing (pdf)

3:00 — 3:30 Raimund Kirner (TU Vienna)
Timing Analysis of Real-Time Software (pdf)
3:30 -- 4:00 Break II
4:00 -- 5:00 Open Discussion
Last modified: Sun Oct 25 21:35:59 PDT 2009