该成果以《Finding Reusable Instructions via E-Graph Anti-Unification》为题发表并获最佳论文奖，北京大学集成电路学院博士生肖有为为第一作者，其导师梁云教授为通讯作者。