This is the KLEE project mentioned in "The PhD Grind" book [0], which was also on HN recently. I recommend reading it for a behind-the-scenes look at the effort

This is the KLEE project mentioned in "The PhD Grind" book [0], which was also on HN recently. I recommend reading it for a behind-the-scenes look at the effort required to complete a PhD in CS. [0] http://www.pgbovine.net/PhD-memoir.htm http://www.pgbovine.net/PhD-memoir.htm