LCTES 在编程语言和嵌入式系统工程社区之间搭建了桥梁。这两个领域的研究人员和开发者正在解决许多类似的问题，但背景和方法各不相同。LCTES 旨在让来自不同领域的研究人员和开发者了解彼此领域的相关工作和有趣问题，并提供一个交流的平台。

1、组委会

总主席：

Partha Roop 奥克兰大学

项目主席：

Yongjun Park 延世大学

宣传主席：

Seonyeong Heo 庆熙大学

网络主席：

Youngsok Kim 延世大学

2、出版信息

LCTES 2025 于 2025 年 6 月在首尔召开，其正式论文已由 ACM 在 PACMPL（Vol.9, PLDI 特刊）上发行，并被 ACM DL 收录，配套的成果（如代码、数据集）可参与可复现性评估，获取徽章并与论文一同发布。论文也将通过 DOI 链接，被包括 DBLP、Scopus 和 CPCI 在内的主流学术平台检索

1、编程语言挑战
领域特定语言
利用多核、可重构和其他新兴架构的功能
分布式、自适应和实时控制嵌入式系统的功能
嵌入式系统的规范、组合和构建能力
增强可靠性、可验证性和安全性的语言特性和技术
虚拟机、并发、处理器间同步和内存管理
编译器挑战
2、嵌入式架构、操作系统和编译器之间的交互
解释器、二进制翻译、即时编译和拆分编译
支持提高程序员的工作效率
支持增强调试、分析和异常/中断处理
针对低功耗/能耗、代码/数据大小和实时性能进行优化
参数化和结构化编译器设计空间探索和自动调整
用于分析、规范、设计和实施的工具，包括：
硬件、系统软件、应用软件及其接口
分布式实时控制、媒体播放器和可重构架构
系统集成与测试
性能评估、监控和调整
嵌入式系统的运行时系统支持
设计空间探索工具
支持系统安全性和系统级可靠性
跨层系统优化方法
嵌入式系统理论与基础
3、资源行为的可预测性：能量、空间、时间
验证和确认，特别是并发和分布式系统
基于模型的设计的正式基础作为代码生成、分析和验证的基础
嵌入式系统的数学基础
嵌入式应用的计算模型
新颖的嵌入式架构
4、新型架构的设计和实现
工作量分析与绩效评估
对新语言特性、虚拟化、编译器技术、调试工具的架构支持
提高功率/能量、代码/数据大小和可预测性的架构特性
移动系统和物联网
5、移动和物联网设备的操作系统
适用于移动和物联网系统的编译器和软件工具
移动和物联网设备的能源管理
移动和物联网设备的内存和输入输出技术
6、大型语言模型 (LLM) 和编程语言/编译器
LLM 对嵌入式系统设计和架构的影响
基于LLM的嵌入式软件调试工具
使法学硕士适应资源受限的环境
嵌入式系统和编译器的法学硕士
法学硕士（LLM）用于程序分析、测试和验证。
LLM 的程序分析、测试和验证

1、类别

• 全文：10 页展示原创作品（最多 2 页用于参考文献和附录）。
• 海报、正在进行的工作和受邀论文：4 页论文，提出可能引发有趣讨论的原创想法。
• 两个类别的录用论文都将收录于ACM出版的论文集。此外，今年的LCTES大会将从今年录用的论文中评选出杰出论文奖，以表彰所有论文中的杰出工作。

2、特刊

被录用的全文论文将被邀请投稿至ACM嵌入式计算系统通讯（TECS）特刊。TECS出版物需要比会议出版物提供更多内容，并将经过单独的审核流程。提交至LCTES的论文（包括WIP论文）将被邀请投稿至IEEE嵌入式系统快报（IEEE ESL）特刊。4页的IEEE ESL稿件需要与会议论文有明显不同的学术贡献，并将经过单独的审核流程。

3、重要日期

• 摘要提交：2025 年 3 月 14 日（新提交开放至2025年3月21日）
• 论文提交：2025 年 3 月 21 日（延长截止日期）
• 论文通知：2025年4月21日
• 作品评估提交：2025年4月28日
• 文物评估通知：2025年5月9日
• 照相排版提交：2025 年 5 月 12 日
• 会议日期：2025年6月16日至17日

blog_sigarch@acm.org