Lunjin Lu, Ph.D.

Professor 计算机科学与工程系 546 EC (248) 370-2231 [email protected] Website Ph.D., Birmingham University (U.K.), 1995

• 2000年加入韦德体育app官网
• Member of ALP, ACM

Teaching

• Programming languages
• Theory of computation
• 面向对象程序设计
• Data structures
• Algorithms
• 并行和并发编程

Research

• Software verification
• Static Program analysis
• Programming languages
• 约束与逻辑编程
• Abstract Interpretation
• Web application security
• Software Security

1. 我在基于语义的程序分析方面的工作是基于抽象解释方法的. 抽象解释通过模拟程序在非标准的抽象域上的执行来分析程序. Since 1990, 我一直致力于基于语义的程序分析及其在逻辑程序中的应用. 我研究的主题从一般分析框架到新程序分析再到高效实现.
2. 约束和逻辑编程为许多问题提供了比其他编程范例更自然的解决方案. 从1997年到1999年，我在怀卡托大学参与Starlog项目. Starlog是一种正在开发的时态逻辑编程语言. Within the project, 我的工作涉及语言设计, semantics, program analysis, implementation, debugging, 建设性否定和应用程序.
3. 声明式调试是一种检测和诊断程序错误的方法. 它不依赖于程序员对程序结构和操作语义的理解. 它对程序员的要求是他/她有能力回答有关程序预期语义的问题. 这在功能上特别有价值, 约束和逻辑编程语言以及何时支持并发和并行机制.
4. 软件开发工具有助于提高软件质量和软件开发效率. 在过去，我开发了一些软件工具的原型. 我想继续探索软件开发和研究之间的协同作用. In particular, 我想进一步开发我的软件原型，用于程序分析和程序调试.

Selected Publications

1.Astrid Younang, Lunjin Lu, and Nabil Almashfi, 静态检查JavaScript数组对象的约定性, 第四届计划分析工具与方法国际会议论文集, 2017

2.Nabil Almashfi和Lunjin Lu, 使用八边形域分析JavaScript程序, 第34届计算机及其应用国际会议(CATA 2019), Honolulu, March 18-20, 2019.

3.Assad Maalouf, Lunjin Lu, James Lynott, 基于自动机的字符串分析检测Android程序中的恶意软件, 国际学术和科学研究 & Innovation 14 (12) 2020.

4. L. Lu, 逻辑程序的多态类型依赖分析 新一代计算，29(4):409-444 (2011)

5. A. King and L. Lu, 约束逻辑程序的逆向分析 植物物理学报2 (4-5):517-547 (2002)

6. L. Lu and A. King, 逻辑程序的确定性分析, ESOP 2015: 108-123.

7. Astrid Younang, 卢伦金:用扩展区间域提高Java脚本程序分析精度. COMPSAC研讨会2015:441-446

8. 金氏、金德强、卢璐及朴氏; 质量驱动架构开发使用架构策略[j] .计算机工程学报，2009,32 (8):1211-1231 (2009)

9. L Lu and D-K Kim, UML序列图所需的行为: Semantics and Conformance[j] .计算机工程，23 (2):15:1 - 15:28，(2014)