| PCC | International Workshop on Proof Carrying Code Seattle, August 11, 2006 |
Program
Friday, August 11th
Friday's program is also available with abstracts or side by side with other meetings.
09:15‑10:30 Session 1: Welcoming and Keynote Address
Location:
Metropolitan B
| 09:15 | Welcoming Remarks |
| 09:30 | Andrew Appel
(Princeton University) A Very Modal Model of a Modern, Major, General Type System |
10:30‑11:00 Break
11:00‑12:30 Session 2: Invited Talks
Location:
Metropolitan B
| 11:00 | Amal Ahmed (Harvard University) |
| 11:30 | Adriana Compagnoni
(Stevens Institute of Technology) Information Flow Analysis for Low-Level Languages |
| 12:00 | Dachuan Yu
(Yale University) Toward More Typed Assembly Languages for Confidentiality [ppt] |
12:30‑14:00 Lunch break
14:00‑15:00 Session 3: Keynote Address
Location:
Metropolitan B
| 14:00 | Ian Stark
(University of Edinburgh) Resource Guarantees and PCC: 50 ways1 to say it with a proof [pdf] |
15:00‑15:30 Session 4: Posters
Location:
Cedar
15:30‑16:00 Break
16:00‑16:30 Session 5: Posters (continued)
Location:
Cedar
16:30‑17:30 Session 6: Invited Talks
Location:
Metropolitan B
| 16:30 | Tamara Rezk
(INRIA) Certificate Translation [pdf] |
| 17:00 | Zhong Shao
(Yale University) A Translation from Typed Assembly Languages to Certified Assembly Programming [ppt] |
