• 陈文智教授团队论文被ACM CCS录用
    ARClab实验室陈文智教授团队论文“CPscanDetectingBugsCausedbyCodePruninginIoTKernel”于2021年9月4日被CCS录用。CCS，全称ACMConferenceonComputerandCommunicationsSecurity，是网络与信息安全领域的顶级会议,CCF推荐A类会议。为了降低研发时间和成本，物联网厂商倾向于通过定制Linux内核来构建IoT内核。在代码定制化的过程中，代码修剪十分普遍。然而IoT内核缺乏长期有效地维护，此...
  • 壮丽史诗 伟大飞跃
    为进一步贯彻落实中央有关高校毕业生服务国家战略工作意见，加强毕业生校地选育衔接一体化培养，切实提升综合素能和岗位认知，引导和鼓励学生服务基层。浙江大学研究生“公毅计划”赴四川基层服务社会实践团于2021年7月11日来到四川，开展为期一个月的基层实践锻炼，ARClab实验室博士生李旭同学担任实践团团长。团队被浙江大学研究生院评定为2021年研究生社会实践优秀团队：http://ygb-zj...
  • 浙江大学-安恒信息前沿技术联合研究中心正式成立
    2021年8月9日，浙江大学-安恒信息前沿技术联合研究中心（下文简称“联合研究中心”）在浙江大学紫金港校区正式成立并举行揭牌仪式。浙江大学计算机系统结构实验室（ARClab）陈文智老师任联合研究中心主任，安恒信息高级副总裁刘博任常务副主任。中国科学院院士、浙江大学校长吴朝晖、浙江大学科学技术研究院副院长史红兵、浙江大学网络空间安全学院院长任奎应邀出席会议，ARClab副主任张...
  • ARClab暑期全员会议胜利召开
    2021年7月22日上午，浙江大学计算机系统结构实验室（ARClab）暑期全员会议在曹光彪西楼401室召开，实验室全体老师、在读学生、夏令营的同学们以及特邀嘉宾共同出席了本次会议，魏成坤和陈晓露老师主持了本次会议。陈文智老师致欢迎辞，对特邀嘉宾的到来表示感谢，同时欢迎2021级研究生新生们并期待更多夏令营的同学加入ARClab。在对实验室综合情况的介绍中，陈老师重点指出实验室目前聚焦...
  • 陈文智教授团队论文被IEEE/ACM ASE录用
    ARClab实验室陈文智教授团队论文“iFIZZ:Deep-StateandEfficientFault-ScenarioGenerationtoTestIoTFirmware”于2021年7月8日被ASE录用。ASE，全称IEEE/ACMInternationalConferenceonAutomatedSoftwareEngineering，是软件工程领域的顶级会议,CCF推荐A类会议。由于复杂的环境和有限的计算能力，物联网设备容易出现各种各样的错误。因此，正确的错误处理在物联网设备中至关重要。为保证错...
  • AZFT 智能计算系统实验室2021年季度总结会议胜利召开
    2021年6月30日AZFT智能计算系统实验室季度总结会议在浙江大学蒙民伟楼胜利召开。AZFT中心副主任马凌洲老师、AZFT智能计算系统实验室联合主任陈文智教授、ARClab实验室副主任张紫徽、阿里阳心、正一和实验室学生代表们参加了本次会议，阿里巴巴张冰主持了本次会议。会上，马凌洲老师介绍了中心各个实验室取得的突出成果，并祝贺智能计算系统实验室陈文智老师荣获浙江省“万人计划”教学名...