NASA Logo, National Aeronautics and Space Administration
Intelligent Systems Division Banner

PCC'09 PROGRAM

9.00 - 10.00 First Invited Talk

  • Kelly Hayhurst, NASA Langley.    Mending the Gap, An effort to aid the transfer of formal methods technology

10.00 -10.30 First Session

  • Juan Chen.    Efficient Type Representation in TAL

10.30 - 11.00 Break


11.00 - 12.30 Second Session

  • Nurlida Basir, Bernd Fischer and Ewen Denney.   Deriving Safety Cases from Machine-Generated Proofs
  • Soonho Kong, Wontae Choi and Kwangkeun Yi.   PCC Framework for Program Generators
  • Sagar Chaki, Arie Gurfinkel, Kurt Wallnau and Charles Weinstock.   Assurance Cases for Proofs as Evidence

12.30 - 14.00 Lunch


14.00 - 15.00 Second Invited Talk

  • Andrew Appel, Princeton.    TBA

15.00 - 15.30 Third Session

  • David Pichardie.   Towards a Certified Lightweight Array Bound Checker for Java Bytecode

15.30 - 16.00 Break


16.00 - 17.00 Fourth Session

  • Anders Starcke Henriksen, Andrzej Filinski.   Towards PCC for Concurrent and Distributed Systems
  • Thomas Jensen.   Proof compression and the Mobius PCC architecture for embedded devices

17.00 Closing

First Gov logo
NASA Logo - nasa.gov