Ada, HCSS and more

[bearophile]

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