edu.rice.hj.runtime