Comment by quantumtremor

Unfortunately Ras Bodik is no longer at Berkeley, so it's unlikely it'll be offered again.