Sharlit - A Tool for Building Optimizers.

Steven W. K. Tjiang, John L. Hennessy

Browse the full PLDI paper archive.