A startup company founded by Roni Simonian. The main product is Maze, a software tool for testing and debugging concurrent programs on Linux.
Maze stress-tests multi-threaded and multi-processed programs by taking over process scheduling functions of the operating system, and running the program repeatedly along different execution paths. Maze does this by simulating random context switches in a controllable and reproducible way. When unexpected program behavior has been detected, Maze knows the exact execution sequence that precedes it.