pldi topic

Probabilistic programming system for fast and exact symbolic inference

probsys

Collective Knowledge extension to crowdsource bug detection in OpenCL compilers using CLSmith tool from Imperial College London

ctuning

Dynamic Program Analysis based on Valgrind to find Floating-Point Accuracy Problems

fbenz

A Gleam compiler written in Gleam

schurhammer