For a comparison with PetraVM's Jinx, see: http://petravm.com/blog/2009/11/comparing-cuzz-and-jinx/