I co-chaired the Programming Languages and Operating Systems workshop at SOSP 2013, and made livenotes about the (many) papers presented there.
Notes from PL and OS 2013 workshop
Notes from the 2013 Programming Languages and Operating Systems workshop at SOSP.