Another batch of papers have been uploaded to the proceedings site.  Check them out!  2017 Proceedings ... View more

To get away from the Google algorithm, which is based on total hits, set up a bot that accesses the 9.4 documentation through Google.  Once you get a GIG of hits, the algorithm should recognize the 9.4 documentation as the "popular" version. I am sure Google will love you for doing this, though... Steve Denham ... View more