Is there any interest in presenting a tutorial (or paper) for hoti this year? http://www.hoti.org/hoti25/cft/ I'm not familiar with the hoti tutorials, but we gave a tutorial at SC a couple of years ago, which may be usable. - Sean