5012_aaf-19594_lunjin-lu--1-.jpg

Lunjin Lu

Software Verification Static Program Analysis Constraint And Logic Programming Abstract Interpretation Software Security

About

Dr. Lunjin Lu is a Professor in the Department of Computer Science & Engineering at Oakland University in Rochester, Michigan. He earned his Ph.D. from the University of Birmingham (U.K.) and teaches courses in programming languages, theory of computation, object‑oriented programming, data structures, and parallel/concurrent programming. His research focuses on software verification, static program analysis, programming languages, constraint and logic programming, abstract interpretation, and software security.

Research Performance Summary

94
Total Papers
726
Total Citations
14
H-Index
1992-2023
Active Research Span

First Recorded Paper

Abstract fixpoint semantics and abstract procedural semantics of definite logic programs

Year: 1992

Citations: 3

Venue: Proceedings of the 1992 International Conference on Computer Languages

Latest Recorded Paper

Assessment of chatgpt's proficiency in software development

Year: 2023

Citations: 13

Venue: 2023 Congress in Computer Science, Computer Engineering, & Applied Computing

Last 10 Years Publication Activity

This timeline shows the professor's yearly publication activity.

2023
1
2022
1
2021
2
2020
5
2019
5
2018
1
2017
6
2016
1
2015
2
2014
3
2013
4

Publication Venues and Collaboration

Journal, Conference, and Book Publication Breakdown

Conference 53
Journal 10
Book 7

Top Coauthors

Kim King Almashfi

Research Impact by Period

2020-2024

Period Stats
Papers 9
Citations 60
Avg. Citations / Paper 6.7
H-Index 3

2015-2019

Period Stats
Papers 15
Citations 108
Avg. Citations / Paper 7.2
H-Index 6

2010-2014

Period Stats
Papers 19
Citations 124
Avg. Citations / Paper 6.5
H-Index 7

2005-2009

Period Stats
Papers 24
Citations 235
Avg. Citations / Paper 9.8
H-Index 7

2000-2004

Period Stats
Papers 14
Citations 127
Avg. Citations / Paper 9.1
H-Index 6

1995-1999

Period Stats
Papers 9
Citations 54
Avg. Citations / Paper 6
H-Index 3

1990-1994

Period Stats
Papers 4
Citations 18
Avg. Citations / Paper 4.5
H-Index 2

Contact and Professional Links

Contact Information

l2lu@oakland.edu
2483702231

Detected Research Keywords

Analysis Logic Programs Type Analysis Logic Access Control Systems Behavior Sequence Diagrams Normal Logic Programs Building Hybrid Access Hybrid Access Control Analysis Javascript Programs Backward Analysis Constraint Analysis Constraint Logic