工程和计算机科学学院
工程中心,301房间
115库驱动器
罗彻斯特小姐48309 - 4479
(位置地图)
院长办公室(248):370 - 2217
学术建议:(248)370 - 2201
secsadvising@www.zhongqiwg.com
 |
教授 |
- 于2000年加万博ManBetX登录入奥克兰大学
- 高山,ACM
教学
- 编程语言
- 理论的计算
- 面向对象编程
- 数据结构
- 算法
- 并行和并发编程
研究
- 软件验证
- 静态程序分析
- 编程语言
- 约束和逻辑编程
- 抽象的解释
- Web应用程序安全性
- 软件安全
- 我的工作在基于语义程序分析是基于抽象解释的方法。抽象的解释分析程序通过模拟其执行非标准域称为抽象域。自1990年以来,我一直从事基于语义逻辑程序程序分析及其应用。主题我有工作范围从一般分析框架,新项目分析有效的实现。
- 约束和逻辑编程提供了更多的自然比其他编程范例可以解决许多问题。从1997年到1999年,我曾与Starlog怀卡托大学的项目。Starlog正在开发是一种时序逻辑的编程语言。在项目中,我的工作包括语言设计、语义、程序分析、实施、调试、建设性的否定和应用程序。
- 调试是一个声明式方法来检测和诊断程序中的错误。它不依赖于程序员的理解程序的结构和操作语义。它需要程序员的是他/她的能力回答关于程序的意图的语义查询。这是特别有价值的功能、约束和逻辑编程语言支持并发和并行机制。
- 软件开发工具帮助改善软件质量和软件开发效率。在过去,我已经开发出一些软件工具原型。我想继续探索软件开发和研究之间的合作。特别地,我想进一步发展我的软件原型进行项目分析和项目调试。
选定的出版物
1。阿斯特丽德Younang Lunjin Lu, Nabil Almashfi,静态检查常规的JavaScript数组对象,第四届国际会议的程序在程序分析工具和方法,2017年
2。Nabil Almashfi Lunjin Lu, JavaScript程序使用八角域分析,第34国际会议上电脑和他们的应用程序(渺位2019),2019年3月18 - 20,火奴鲁鲁。
3所示。阿萨德Maalouf Lunjin Lu,詹姆斯•Lynott Automata-Based字符串分析检测恶意软件在安卓程序,国际学术和科研与创新14 (12)2020。
4所示。l .陆多态类型依赖性分析逻辑程序,新一代计算,29 (4):409 - 444 (2011)
5。答:国王和l .陆逆向分析约束逻辑程序TPLP 2 (4 - 5): 517 - 547 (2002)
6。l . Lu和a .王确定性分析的逻辑程序用2015:108 - 123。
7所示。阿斯特丽德Younang Lunjin Lu:提高精度的Java脚本程序分析的扩展域的间隔。COMPSAC车间2015:441 - 446
8。金,D-K金陆L和S公园,质量驱动架构开发表示“状态”使用建筑策略系统和软件学报,82 (8):1211 - 1231 (2009)
9。L Lu和D-K金,要求行为的UML序列图:语义和一致性ACM TOSEM 23 (2): 15:1 - 15:28 (2014)