PLDI-snapshot