Probabilistic programming system for fast and exact symbolic inference
Collective Knowledge extension to crowdsource bug detection in OpenCL co...