曹玲微,2015 级计算机应用技术专业硕士生,导师为蔡彦副研究员,主要研究并发程序的测试问题,尤其是在大规模真实程序中的优化处理。在读期间,认真研究了并发程序中死锁和原子性等问题的发生机制,提出了多个检测和修复方案,与导师一同提出了消除同步中的锁序关系的方法,解决了存在近十年之久的并发缺陷预防及修复时引入死锁的难题。相关结果以第一学生作者发表在软件工程顶级期刊ICSE 2016、FSE 2015、FSE 2016、FSE 2017上(均为CCF A类文章)论文4篇,并申请发明专利一项。曾获研究生国家奖学金、中国科学院大学学业奖学金一等奖各一次,并两次获得 ACM SIGSoft Student Travel Grant。现就职于阿里巴巴集团。


曹玲微 可能工作过的组织/机构/部门/团队:


曹玲微 可能工作过的同事:

粤ICP备17091748号-3 剧本杀复盘 剧本杀复盘 红酒 ChatGPT
传奇私服 阿斗复盘 邰谇是 剧本杀《达芬奇》复盘解析 mn你住在讶我心里