- 2000年加入万博ManBetX登录奥克兰大学
- 美国计算机协会会员
教学
- 编程语言
- 计算理论
- 面向对象编程
- 数据结构
- 算法
- 并行和并发编程
研究
- 软件验证
- 静态程序分析
- 编程语言
- 约束与逻辑规划
- 抽象的解释
- Web应用程序安全性
- 软件安全
- 我在基于语义的程序分析方面的工作是基于抽象解释方法的。抽象解释通过模拟程序在一个称为抽象域的非标准域上的执行来分析程序。自1990年以来,我一直致力于基于语义的程序分析及其在逻辑程序中的应用。我所参与的课题从一般分析框架到新程序分析再到有效实施。
- 约束和逻辑编程为许多问题提供了比其他编程范式更自然的解决方案。从1997年到1999年,我在怀卡托大学(University of Waikato)从事Starlog项目。Starlog是一种正在开发中的时序逻辑编程语言。在项目中,我的工作涉及到语言设计、语义、程序分析、实现、调试、构造否定和应用程序。
- 声明式调试是一种检测和诊断程序错误的方法。它不依赖于程序员对程序结构和操作语义的理解。它对程序员的要求是他/她能够回答有关程序预期语义的查询。在函数式、约束和逻辑编程语言中,以及在支持并发和并行机制时,这一点尤其有价值。
- 软件开发工具有助于提高软件质量和软件开发效率。在过去,我开发过一些软件工具的原型。我想继续探索软件开发和研究之间的协同作用。特别是,我想进一步开发我的软件原型程序分析和程序调试。
选定的出版物
1.Astrid Younang, Lunjin Lu, Nabil Almashfi, JavaScript数组对象的静态检查,第四届国际程序分析工具和方法会议论文集,2017
2.Nabil Almashfi和Lunjin Lu,使用八边形域分析JavaScript程序,第34届计算机及其应用国际会议(CATA 2019),檀香山,2019年3月18-20日。
3.阿萨德Maalouf,卢伦金,詹姆斯Lynott,基于自动机的字符串分析在Android程序中检测恶意软件,国际学术与科学研究与创新14(12)2020。
4.l .陆逻辑程序的多态类型依赖分析,新一代计算,29(4):409-444 (2011)
5.A. King和L. Lu,约束逻辑程序的逆向分析TPLP 2 (4-5): 517-547 (2002)
6.L. Lu和A. King,逻辑程序的确定性分析, esop 2015: 108-123。
7.陆伦金:利用区间扩展域提高Java脚本程序分析的精度。COMPSAC研讨会2015:441-446
8.Kim S, Kim D-K, Lu L和Park S,质量驱动架构开发使用建筑策略,系统与软件学报,82 (8):1211-1231 (2009)
9.吕l和金德凯,UML序列图的必需行为:语义和一致性中国农业科学,23 (2):15:1 - 15:28,(2014)