卢伦金博士.D.
![]() | 教授 |
- 2000年加入十大菠菜台子
- ALP, ACM会员
教学
- 编程语言
- 计算理论
- 面向对象程序设计
- 数据结构
- 算法
- 并行和并发编程
研究
- 软件验证
- 静态程序分析
- 编程语言
- 约束与逻辑编程
- 抽象的解释
- Web应用程序安全性
- 软件安全
- 我在基于语义的程序分析方面的工作是基于抽象解释方法的. 抽象解释通过模拟程序在非标准的抽象域上的执行来分析程序. 自1990年以来, 我一直致力于基于语义的程序分析及其在逻辑程序中的应用. 我研究的主题从一般分析框架到新程序分析再到高效实现.
- 约束和逻辑编程为许多问题提供了比其他编程范例更自然的解决方案. 从1997年到1999年,我在怀卡托大学参与Starlog项目. Starlog是一种正在开发的时态逻辑编程语言. 在项目内部, 我的工作涉及语言设计, 语义, 程序分析, 实现, 调试, 建设性否定和应用程序.
- 声明式调试是一种检测和诊断程序错误的方法. 它不依赖于程序员对程序结构和操作语义的理解. 它对程序员的要求是他/她有能力回答有关程序预期语义的问题. 这在功能上特别有价值, 约束和逻辑编程语言以及何时支持并发和并行机制.
- 软件开发工具有助于提高软件质量和软件开发效率. 在过去,我开发了一些软件工具的原型. 我想继续探索软件开发和研究之间的协同作用. 特别是, 我想进一步开发我的软件原型,用于程序分析和程序调试.
选定的出版物
1.阿斯特丽德Younang, Lunjin陆, 还有Nabil Almashfi, 静态检查JavaScript数组对象的约定性, 第四届计划分析工具与方法国际会议论文集, 2017
2.Nabil Almashfi和Lunjin陆, 使用八边形域分析JavaScript程序, 第34届计算机及其应用国际会议(CATA 2019), 火奴鲁鲁, 3月18日至20日, 2019.
3.阿萨德Maalouf, Lunjin陆, 詹姆斯Lynott, 基于自动机的字符串分析检测Android程序中的恶意软件, 国际学术和科学研究 & 创新14 (12)2020.
4. L. Lu, 逻辑程序的多态类型依赖分析 新一代计算,29(4):409-444 (2011)
5. A. 金和L. Lu, 约束逻辑程序的逆向分析 植物物理学报2 (4-5):517-547 (2002)
6. L. 卢和A. 王, 逻辑程序的确定性分析,职工管理,2015:108-123.
7. 阿斯特丽德Younang, 卢伦金:用扩展区间域提高Java脚本程序分析精度. COMPSAC研讨会2015:441-446
8. 金氏、金德强、卢璐及朴氏; 质量驱动架构开发使用架构策略[j] .计算机工程学报,2009,32 (8):1211-1231 (2009)
9. 吕璐及金德强; UML序列图所需的行为: 语义和一致性[j] .计算机工程,23 (2):15:1 - 15:28,(2014)