陶秋铭 王新辉 于健 郭亮 王剑 郑飞 赵琛 汤志忠 苏伯珙 吴益民 王昭顺 陆鑫达

超标量 微处理器 软件流水 全局优化 语句重排 时序逻辑 指令调度 VLIW VLIW体系结构 变量替换 程序变换 高层优化 形式规约 局部优化 细粒度并行性 语句交换