The correct address is http://www.cs.utexas.edu/~matteo/ksbt15