paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Message from the Chairs: ASE 2023

主席致辞：ASE 2023
ASE 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)2023匹配度 0/10 · 这是 ASE 2023 的会议主席欢迎辞，仅介绍会议概况与自动化软件工程的研究范围，不含任何技术贡献、方法或实验，与用户关注的 PL/AI 交叉、浮点程序分析、贝叶斯程序分析等方向完全无关。引用 0 inbox
Tegawendé F. Bissyandé, Jacques Klein, Christian Bird, Federica Sarro
程序分析与抽象解释测试、调试与修复
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话：这是一篇会议主席欢迎辞，概述 ASE 2023 的召开信息与自动化软件工程领域的研究范围，不含技术贡献。

本文是第 38 届 IEEE/ACM 国际自动化软件工程会议（ASE 2023）的主席致辞，由会议组织委员会撰写，用于欢迎与会者并介绍会议基本情况。文中指出 ASE 系列会议是自动化软件工程研究与实践的首要学术论坛，每年汇聚学术界与工业界的研究者与从业者，共同探讨面向大型软件系统的自动化分析、设计、实现、测试与维护的基础理论、技术与工具。文章说明了本届会议在卢森堡大公国举办，并代表整个组织委员会表达欢迎之意。作为会议前言性文本，它不提出新的研究方法、系统实现或实验评估，其价值在于为会议论文集提供背景说明与领域定位。

问题
本文并非研究论文，而是 ASE 2023 会议主席的欢迎辞，用于介绍会议背景与领域定位，没有提出具体的研究问题。
方法
以会议前言的形式，概述 ASE 系列会议作为自动化软件工程首要论坛的定位，以及所覆盖的自动化分析、设计、实现、测试与维护等主题范围。
评估
本文不含技术方法与实验，评估方式为会议组织层面的信息陈述，未涉及任何实证或形式化评估。
原文摘要（Abstract）

On behalf of the entire conference organizing committee, it is our great pleasure to welcome you to the 38thedition of the IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, in the Grand Duchy of Luxembourg. The ASE conference series is the premier research forum for automated software engineering research and practice. Each year it brings together researchers and practitioners from academia and industry to discuss foundations, techniques, and tools for automated analysis, design, implementation, testing, and maintenance of large software systems.

链接与引用

DOI 原文 · PDF（开放获取） · DBLP

BibTeX 
@inproceedings{BissyandeKBS23,
  title = {Message from the Chairs: ASE 2023},
  author = {Tegawendé F. Bissyandé and Jacques Klein and Christian Bird and Federica Sarro},
  booktitle = {ASE},
  year = {2023},
  doi = {10.1109/ase56229.2023.00005}
}