Age | Commit message (Expand) | Author |
---|---|---|
2012-07-31 | Added another link to a system building upon KLEE, S2E. | Cristian Cadar |
2012-07-20 | Added links to two more systems based on KLEE: Cloud9 and KleeNet. | Cristian Cadar |
2012-03-30 | Four new KLEE-related publications. | Cristian Cadar |
2011-11-10 | Added new publication from Columbia. | Cristian Cadar |
2011-08-22 | Added new publication from RWTH Aachen. | Cristian Cadar |
2011-07-28 | Added two publications from EPFL, fixed a typo. | Cristian Cadar |
2011-07-24 | Added the CAV 2011 paper from Stanford. | Cristian Cadar |
2011-07-21 | Add our EuroSys paper to the publications list | Peter Collingbourne |
2010-12-11 | Added two more papers. | Cristian Cadar |
2010-12-10 | Added a new KLEE-related paper, and fixed some typos. | Cristian Cadar |
2010-12-09 | Added a webpage on KLEE-related publications. | Cristian Cadar |