2024年8月1日，华为可信领域科学家委员会、华为软件领域科学家委员会、华为可信理论、技术与工程实验室和华为费马实验室在贵安云上屯举办了为期两天的2024 华为形式化方法研讨会。本次研讨会聚焦“智能时代下的形式化验证技术”，探讨智能时代下形式化方法的发展前景及其应用。研讨会邀请了国内外的30余位形式化方法领域的顶尖专家和学者，专家学者们齐聚一堂，围绕形式化前沿技术、LLM/AI的形式化验证方法以及利用LLM/AI进行形式化验证等议题展开深入交流。

By: ICCT (GZ)

The 18th Theoretical Aspects of Software Engineering Conference (TASE 2024) will be held in Guiyang City, China on July 29 - August 1, 2024. TASE 2024 aims to provide a forum for people from academia and industry to communicate their latest results on innovative advances in software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to the various aspects of software engineering, for instance, software dependability in trusted computing, interaction with physical components in cyber physical systems, quality assurance in AI-embedded systems, distribution in cloud computing applications, security and privacy in general. Hence, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects.

By: ICCT (GZ)

文成对所接收论文《Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification》（中文：在静态分析和程序验证的指导下利用大语言模型辅助程序规约的合成）做线上报告。。

By: ICCT (GZ)

第46届国际软件工程会议（IEEE/ACM International Conference on Software Engineering，ICSE 2024）于2024年04月14日至20日在葡萄牙里斯本召开。该会议是软件工程领域公认的权威国际学术顶级会议，也是中国计算机学会（CCF）推荐的A类国际学术会议。我院高可信软件工程技术实验室的教师文成和苏杰参加了此次会议并作了报告。

By: ICCT (GZ)

近期，国家自然科学基金重大项目“嵌入式软件智能合成基础理论与方法”2023年度总结暨学术交流会议在珠海举行。会议聚焦杨孟飞主持的国家自然科学基金重大项目 “嵌入式软件智能合成基础理论与方法”，围绕项目中的需求描述语言、软件IP表示模型、软件智能合成等方面展开交流与探讨。相关负责人汇报了各子课题的前期工作进展，并明确了下一步工作内容和方向。

By: ICCT (GZ)

近日，中国软件领域规模最大、影响最广的学术会议——CCF中国软件大会(ChinaSoft 2023)在上海国际会议中心开幕，探讨智能化软件创新推动数字经济与社会发展。何积丰、于全、徐宗本、柴洪峰、王义等5位国内外院士和业内专家蒋铭到会做特邀报告。院士林惠民、徐宗本、梅宏、吕建、柴洪峰、王怀民出席大会院士论坛。院士张宏科参加CCF YOCSEF(青年计算机科技论坛)上海观点论坛。本次大会的注册人数超过2300人，参会单位达到326家，其中包括79家企业单位。大会组织了17个学术论坛、11个专刊论坛、12个工业论坛、6个教育论坛，全国大学生软件测试大赛、软件教学案例交流与竞赛、软件研究成果原型系统竞赛、机器人大模型与具身智能挑战赛等4个竞赛、以及CCF YOCSEF上海观点论坛、2023上海软件创新论坛等2个特色论坛。

By: ICCT (GZ)

“可信软件工程中的逻辑方法研讨会”旨在促进我国在可信软件基础领域的理论研究技术开发和工业实践应用，加强国内该领域同行专家的学术交流与探讨。会议将邀请国内该领域的知名专家学者、科研工作者、以及工业界的领域专家，围绕软件形式化方法、软件模型设计理论、软件分析与验证、智能软件工程方法、软件智能合成理论与方法和软件工程实践等内容开展深入探讨和交流。今年的研讨会将于 2023 年11月3日至5在中国新疆维吾尔自治区喀什市召开，由喀什大学计算机科学与技术学院承办。

By: ICCT (GZ)

2023 CCF中国开源大会将于2023年10月21日至22日在湖南省长沙市北辰国际会议中心召开。大会由中国计算机学会、开放原子开源基金会主办，国防科技大学计算机学院、湖南先进技术研究院、CCF开源发展委员会承办，中国电子信息产业集团有限公司、长沙市国链安全可靠计算机产业促进中心协办，CSDN社区特别支持。本届大会的主题为“开源联合、聚力共赢”。本届大会将组织特邀报告、高峰论坛和领域分论坛等多类型活动，将邀请开源及相关领域中国科学院院士、中国工程院院士与知名专家，为大会带来特邀报告并参加开源高峰论坛等活动。本届大会作为中国开源领域的年度盛会，诚挚地邀请开源领域学术界、企业界、教育界的学者、从业者、师生等前来参会，共见中国开源新征程！

Rust libraries are ubiquitous in software development. Guaranteeing their correctness and reliability requires thorough analysis and testing. Fuzzing is a popular bug-finding solution, yet it requires writing fuzz targets for libraries. Recently, some automatic fuzz target generation methods have been proposed. However, two challenges remain: (1) how to generate diverse API sequences that prioritize unsafe code and interactions to reveal bugs in Rust libraries; (2) how to provide support for the generic APIs and verify both syntactic and semantic validity of the fuzz targets to achieve a high coverage rate. In this paper, we propose RPG, an automatic fuzz target synthesis technique to support Rust library fuzzing. RPG uses a pool-based search to generate diverse and unsafe API sequences, and synthesizes fuzz targets with generic support and validity check. The experimental results demonstrate that RPG enhances both the quality of the generated fuzz targets and the bug-finding ability through pool-based search and generic support, substantially outperforming the state-of-the-art. Moreover, RPG has discovered 25 previously unknown bugs from 50 well-known Rust libraries available on Crates.io.

By: ICCT (GZ)

近日，国家自然科学基金委员会公布了2023年度集中受理期国家自然科学基金项目资助结果，西安电子科技大学广州研究院共有10个项目获得资助，突破我院国家自然科学基金历史立项数量。课题组文成老师申报的《面向高并发软件的可扩展建模与分析技术研究》获批国自然青年基金项目。国家自然科学基金是国家最高水平的基金项目，是国家支持基础研究最重要的渠道。基金的获批情况一直以来都是衡量高校科研水平和人才培养的风向标。研究院高度重视国家自然科学基金申报工作，加强相关政策宣讲与培训，积极组织召开项目申报宣讲会议、经验交流会，不断提高精准科研服务能力和精细化管理水平，提高国家自然科学基金项目申请质量。研究院将持续做好相关服务保障工作，促进我院科技创新与应用转化工作，营造积极良好的科研氛围，争取再创新高。

By: ICCT (GZ)

近期，国家自然科学基金重大项目“嵌入式软件智能合成基础理论与方法”2023上半年总结暨学术交流会议在呼和浩特举行。会议聚焦杨孟飞主持的国家自然科学基金重大项目 “嵌入式软件智能合成基础理论与方法”，围绕项目中的需求描述语言、软件IP表示模型、软件智能合成等方面展开交流与探讨。相关负责人汇报了各子课题的前期工作进展，并明确了下一步工作内容和方向。

By: ICCT (GZ)

课题组的研究成果”Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering”被ESEC/FSE 2023会议接收。ESEC/FSE是软件工程领域顶尖学术会议，该会议每年汇集了来自学术界和工业界的研究人员和从业人员，重点关注软件工程各个领域的实际应用。该会议是CCF 推荐A 类会议，也是清华大学计算机学科推荐A 类会议、CORE 计算机科学会议排名中推荐的A* 类会议。2022年接收99篇论文，接收率22%。

By: ICCT (GZ)

近日，中国博士后科学基金会发布了《关于公布中国博士后科学基金第73批面上资助获资助人员名单的通知》（中博基字〔2023〕9号）《关于公布2023年度中国博士后科学基金特别资助获资助人员名单的通知》（中博基字〔2023〕13号），我院两位青年教师喜获资助。其中，文成获批第73批面上资助项目，赵搏文获批第五批特别资助（站前）项目。

By: ICCT (GZ)

文成老师获批华为技术有限公司技术研究项目，该项目结合程序动静态分析技术，通过分析程序代码的依赖关系，捕获测试运行过程中的环境、实例状态、函数调用链、输入输出参数等信息，自动推断可能的并发场景，并自动生成单元测试用例中的框架性代码，为开发者提供编写并发用例的建议，增强测试用例的编写质量，提升对并发场景的覆盖率。

By: ICCT (GZ)

4月26至27日，由西安电子科技大学广州研究院发起，广东省工信厅、广州市工信局、国家自科基金“嵌入式软件智能合成基础理论与方法”重大项目组参与的“软件产业政产学研协同发展研讨会”在穗举行。4月27日，中国科学院院士、国际宇航科学院院士、杰出校友、“嫦娥五号”总指挥、总设计师杨孟飞莅临西安电子科技大学广州研究院，并与研究院师生面对面交流，研究院30余名教师与学生代表到场。研究生院常务副院长田聪、广州研究院副院长刘静参加活动，座谈会由副院长马博主持。

By: ICCT (GZ)