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