Hunting for Heisenbugs
Yale researchers have created an operating system (OS) called Determinator that can strictly enforce deterministic behavior in parallel computations. Their research may help eliminate the time-dependent bugs and security issues that plague otherwise promising parallel computer systems.