Susmit Sarkar A Practical Foundational Certified Code System Degree Type: Ph.D. in Computer Science Advisor(s): Karl Crary Graduated: May 2009