Search:

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

• + Freedom of Information Act
• + The President's Management Agenda
• + NASA Privacy Statement, Disclaimer, and Accessibility Certification

• NASA Official: Dave Korsmeyer
• Curator: ASANI Solutions