Updated PLDI by removing some details of SL and stuff