News

Examining the Effects of Developer Familiarity on Bug Fixing

ICPC 2020, 2 Papers Accepted

Boosting crash-inducing change localization with rank-performance-based feature subset selection

How C++ Templates Are Used for Generic Programming: An Empirical Study on 50 Open Source Systems

ICSE 2020

Projects

Software Ecosystem

To understand software ecosystems, developing methods and tools for software ecoystem quality assurance.

Talk to Code

Talk to your code, to understand program semantics and behavior, to support software testing and debugging.

Cost-effective Quality Assurance

Cost-effective Quality Assurance, especially for software metrics, software evolution and maintenance.

Contact

欢迎本科生、研究生同学加入我们!

课题组老师认真负责、各具特色。
例如,一丝不苟、细致入微的周毓明老师,身体力行和同学们审查每一行代码和数据;耐心谦和的李言辉老师,曾获南京大学“我最喜爱的老师”称号。

正在招募2021级硕士生/博士生,目前的主要课题:

  • 程序分析与代码语义
    • 编程语言【动态语言的分析、扩展设计实现、编译优化等】
    • 程序自动理解 【动静态程序分析、代码语义的深度表示学习】
    • 静态程序分析工具的增强 【研发提升流行静态分析工具效能的技术】
  • 高效能软件质量保障
    • AI Analysis & Testing 【深度学习系统的分析测试与调试】
    • 可行缺陷预测 【研发精准可解释的缺陷预测模型】
    • 软件测试 【可预测变异测试、持续集成、开源生态测试与质量评估】
  • 软件大数据与开源生态
    • 软件生态系统分析 【多种编程语言软件生态系统的质量分析、缺陷检测定位与修复】
    • Software & NLP【软件制品中的自然语言处理,包括各类软件文本分析、摘要自动生成、情感分析、代码注释的语义分析】
    • 知识图谱与智能搜索【软件知识挖掘,软件知识图谱,知识图谱相关系统软件质量评估与测试】
  • 其他相关问题【可自由选题探索】

欢迎同学们提前联系我们,请提交如下申请材料

  • 个人简历
  • 本科成绩单
  • 其他有助于证明自己经历与能力的材料

各位同学亦可前来实验室咨询(南京大学仙林校区,计算机楼704)。

  • lchen(AT)nju#edu#cn
  • Changzhou Building Room 704, Nanjing University, Nanjing, China
  • Monday 10:00 to 13:00
    Wednesday 09:00 to 10:00