Paper accepted in TCS We are proud that our paper about synthesizing ranking functions for loop programs via SVM has been accepted in TCS.