Hacker News new | past | comments | ask | show | jobs | submit login

The coverity paper may be interesting to you: http://delivery.acm.org/10.1145/1650000/1646374/p66-bessey.p...



The link doesn’t work, I’m interested to read it though.


Try this link. It should be the same article as linked previously. http://www.cs.columbia.edu/~junfeng/14fa-e6121/papers/coveri...


Whoops! Should've noticed that was an ephemeral link, but yes, mdibiase@ linked the one I meant to. It's Coverity's "A Few Billion Lines of Code Later" ACM paper.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: