| 序号 | 标题 | 类型 | 作者 |
|---|
| 序号 | 姓名 | 职称 | 单位 |
|---|---|---|---|
| 1 | AdrianPerrig | 教授 | Carnegie Mellon University |
| 2 | WalterBinder | 高级讲师 | University of Lugano |
| 3 | 高永强 | 讲师 | 内蒙古大学 |
| 4 | 王宾 | 上海交通大学 | |
| 5 | 朱二周 | 上海交通大学 | |
| 6 | 黄实秋 | 上海交通大学 | |
| 7 | 董浩亮 | 上海交通大学 | |
| 8 | 郑雨迪 | 上海交通大学 | |
| 9 | 辛锐 | 上海交通大学 | |
| 10 | AdrianPerrig | 教授 | Carnegie Mellon University |
| 11 | WalterBinder | 高级讲师 | University of Lugano |
| 12 | 高永强 | 讲师 | 内蒙古大学 |
| 13 | 王宾 | 上海交通大学 | |
| 14 | 朱二周 | 上海交通大学 | |
| 15 | 黄实秋 | 上海交通大学 | |
| 16 | 董浩亮 | 上海交通大学 | |
| 17 | 郑雨迪 | 上海交通大学 | |
| 18 | 辛锐 | 上海交通大学 |
以下是从项目中提取的相关关键词,点击选题分析按钮快速进行关键词选题分析
| 序号 | 关键词 | 操作 |
|---|---|---|
| 1 | 全系统程序分析 | |
| 2 | 条件类型推断 | |
| 3 | 轻量级虚拟机 |