http://news.ycombinator.com/item?id=968013
http://news.ycombinator.com/item?id=1131606
http://news.ycombinator.com/item?id=690798
People who do systems research don't do much with theory and formalisms, but they are decidedly doing computer science.