We've put up two new posts at http://petravm.com/blog that analyze the difference between Jinx' deterministic simulation approach and "happens before" race detection code analysis tools like Helgrind and others. Take a look and let us know what you think.