张杨(1980-),男,博士,副教授,CCF高级会员,主要研究领域为软件重构,并发软件分析.
邵帅(1996-),男,硕士生,主要研究领域为并发软件分析,智能化软件.
张冬雯(1964-),女,博士,教授,CCF专业会员,主要研究领域为软件重构,并发软件分析.
张杨,E-mail:zhangyang@hebust.edu.cn
TP311
国家自然科学基金(61440012);河北省自然科学基金(18960106D);河北省高等学校科学研究计划(ZD2019093);河北省研究生创新资助项目(CXZZSS2020094)
National Natural Science Foundation of China (61440012); National Natural Science Foundation of Hebei Province (18960106D); Scientific Research Foundation of Hebei Educational Department (ZD2019093); Innovation Foundation Project of Hebei Province (CXZZSS2020094)
张杨,邵帅,张冬雯.基于下推自动机的细粒度锁自动重构方法.软件学报,2021,32(12):3710-3727
复制