Public repo for pphnov2013