I met with David Tarditi, leader of the Checked C project, last week at PLDI. He previously worked on System C#, Midori and Singularity where he was in the grou

I met with David Tarditi, leader of the Checked C project, last week at PLDI. He previously worked on System C#, Midori and Singularity where he was in the group that developed lightweight C# runtime and AOT compiler for Midori. Checked C seems like a continuation of this series of work from Microsoft Research with an opposite approach to safe systems programming (opposite as in trying to make C safer rather than trying to make a safe language faster). Also, if you check the spec you can find the design choices they rejected too (with evaluation of the choices). It looks like a well thought project rather than just saying "let's add some bounds checks to C".