Project List (Updated on May 9, 2009)

Reading Group : the 2nd (Nov-Dec, 2008)

A Certifying Compiler and Pointer Logic(PPT, 2008-10-8, @ Intel China Research Center, Beijing)

Certified Intermediate Programming(PPT)  Certifying Compiler for Intermediate Language  CIP status

Summer Reading Group (July, 2008),  papers