Publications have been moved to https://markcore.github.io/papers.html