Corensic (formerly PetraVM) is a UW CSE startup that provides tools for eliminating concurrency bugs from multicore software — launched by faculty members Luis Ceze and Mark Oskin, and backed by our friends at Madrona Ventures, the Washington Research Foundation, and Perkins Coie.
Today Corensic launched Windows and Linux versions of Jinx, its first tool. Read about it here.