This looks mostly like Ada advertisement, but it's readable (May 2008):
http://www.mil-embedded.com/articles/id/?3277
The Reddit thread about it:
http://www.reddit.com/r/programming/comments/lol4l/ccjava_a_gazillion_features_and_still_suck_at/
From the article:
Last year's High Confidence Software and Systems (HCSS) conference, sponsored
by NSA to address security-critical issues, featured an interesting
presentation from Microsoft addressing such issues in the context of Windows.
The primary sources of problems in Microsoft's experience are buffer overruns
and integer overflow problems.
I have done some searching, but I have not found this presentation.
Bye,
bearophile
