PCC 2008 home page · PDF schedule · Abstracts
The workshop is in Newell Simon Hall, location 2 on this CMU Campus Map. All talks are in Newell Simon 1507. Breaks are in the Newell Simon Atrium and will be shared with the FCS-ARSPA-WITS and SecReT workshops.
Links: Local information; CMU campus walking map
| 0830–0930 | Registration |
| 0930–1030 | Static Analysis for Extended Byte Code Verification Thomas Jensen Invited Talk |
| 1030–1100 | Break |
| 1100–1130 | Noninterference for Mobile Code with Dynamic Security
Domains Robert Grabowski |
| 1130–1200 | Comparing Semantic and Syntactic Methods in Mechanized Proof
Frameworks Christian Bell, Robert Dockins, Aquinas Hobor, Andrew W. Appel and David Walker |
| 1200–1230 | Tight Enforcement of Flexible Information-Release Policies for Dynamic
Languages Andrei Sabelfeld |
| 1230–1400 | Lunch |
| 1400–1500 | Modular Development of Certified System Software Zhong Shao Invited Talk |
| 1500–1530 | A Practical PCC Framework for Java Bytecode Robert Atkey |
| 1530–1600 | Break |
| 1600–1630 | Reasoning About Faulty Programs Matthew L. Meola, Frances Perry and David Walker |
| 1630–1700 | AURA: A Programming Language for Authorization and
Audit Limin Jia |
Page last modified: Monday 16 June 2008