中国软件大会在沪召开
Published:
中国软件大会在沪召开.
Published:
中国软件大会在沪召开.
Published:
“可信软件工程中的逻辑方法研讨会”在喀顺利召开.
Published:
广东省研究生指导教师培训第一期.
Published:
ChinaOSC:CCF中国开源大会.
Published:
Seminar: Basic Theory and Methods of Intelligent Synthesis of Embedded Software Q2 2023 Report.
Published:
Seminar: Basic Theory and Methods of Intelligent Synthesis of Embedded Software Q1 2023 Report.
Published:
TALK: Technical Insights on Large Language Models in the Field of Software Engineering.
Published:
TALK: A First Look at Software Security Defect Analysis.
Published:
We won an award.
Published:
We are concurrent program analysis team.
Published:
TALK: Research on Memory Safety Vulnerability Detection based on Program Analysis and Testing.
Published:
I have been with Huawei’s Trustworthiness Testing Engineering Lab.
Published:
I received a letter of thanks from Huawei.
Published:
I have been with HUAWEI for 195 days.
Published:
Shenzhen happy harbor is really a beautiful place.
Published:
I went to Dongguan and work at Huawei as a trainee.
Published:
ICSE 2020 .
Published:
Playing shooting machine at Coastal city.
Published:
Shenzhen International Marathon 2019 in Shenzhen, China.
Published:
ICFEM 2019 in Shenzhen, China.
Published:
TASE 2019 in Guilin, China.
Published:
Playing in Sentosa.
Published:
Playing in Jewel Changi Airport.
Published:
Playing in the Chinese Garden in Singapore. Nice trip.
Published:
Playing in Singapore.
Published:
I went to Singapore and studied at Nanyang Technical University as a non-graduate student.
Published:
Climbing mountains with my good friends
Published:
SmartCom 2017 at Shenzhen, China. I am giving a presentation for my paper.
Published:
ICFEM 2017 at Huashan, a famous mountains in Xi’an China
Published:
SETTA 2017 at Changsha, China
Published:
SETTA 2016 at Beijing, China