Yes, the paper is from SNAPL 2015, see http://snapl.org/2015/index.html http://snapl.org/2015/index.html. The incorrect 1998 was derived automatically by HN fr

Yes, the paper is from SNAPL 2015, see http://snapl.org/2015/index.html http://snapl.org/2015/index.html. The incorrect 1998 was derived automatically by HN from the ACM classification in the pdf it seems.