Re:KLEE LLVM Execution Engine
by hdespiritu on Tuesday April 17, 2018 @05:02AM
(#16856649)
One of the contributors wrote a memoir of his time spent working on this project as a PhD student and gives an interesting perspective on the challenges encountered:
http://pgbovine.net/PhD-memoir.htm