张昱
作品数: 121被引量:252H指数:8
  • 所属机构:中国科学技术大学
  • 所在地区:安徽省 合肥市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

陈意云
作品数:133被引量:643H指数:16
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:HOARE逻辑 指针逻辑 代码迷惑 出具证明编译器 面向对象
吉建民
作品数:47被引量:48H指数:4
供职机构:中国科学技术大学
研究主题:自动驾驶 激光雷达 多目标 避障 虚拟现实
吴年
作品数:5被引量:8H指数:2
供职机构:中国科学技术大学计算机科学与技术学院
研究主题:XML流 索引 查询 XPATH 自动机
袁丽娜
作品数:5被引量:2H指数:1
供职机构:中国科学技术大学
研究主题:即时编译器 垃圾收集 插桩 内存释放 垃圾收集器
郭帆
作品数:17被引量:15H指数:2
供职机构:中国科学技术大学
研究主题:移动代码 内存 系统默认 安全检查 类型化