报告题目：Java/Kotlin 跨语言软件分析与可靠性保障

报告人：凤琼

报告时间：2026年9月8日 15:30

报告地点：17幢401会议室

报告简介：随着 Kotlin 在 Android 软件开发中的广泛应用，Java 与 Kotlin 长期共存，形成了大规模的跨语言软件生态。两种语言虽然共享 JVM 平台，但在类型系统、空值语义、可见性等方面存在差异，使跨语言依赖与交互产生了传统单语言程序分析与测试难以处理的新问题。

围绕 Java/Kotlin 跨语言软件的可靠性保障，本人开展了“跨语言依赖分析 — 跨语言代码缺陷检测 — 跨语言编译缺陷挖掘”三个层次的研究：首先分析 Java 与 Kotlin 代码之间的跨语言依赖关系，进而挖掘跨语言交互过程中产生的典型缺陷及其特征，并进一步面向 Java/Kotlin 编译器开展跨语言差分测试与缺陷挖掘，探索从跨语言程序理解到缺陷发现、再到编译器可靠性保障的系统化方法。

报告人简介：凤琼，南京理工大学计算机科学与工程学院讲师，美国德雷塞尔大学（Drexel University）博士。主要研究方向为软件架构、程序分析与软件测试，聚焦 Java/Kotlin 跨语言软件生态，致力于跨语言依赖分析、缺陷检测、编译器测试等方向研究，重点探究跨语言程序的依赖关系、交互语义与软件可靠性。相关成果发表于 ASE、ISSTA、TSE、TOSEM 等软件工程领域顶级国际会议与期刊。