| 2026 | COMPSAC | AEGIS: Policy-Governed Vulnerability Management for CI/CD Software Security. | Imad Abdallah, Lunjin Lu |
| 2021 | SAC | Taint analysis of arrays in Android applications. | Assad Maalouf, Lunjin Lu |
| 2019 | CATA | Analyzing JavaScript Programs Using Octagon Domain. | Nabil Almashfi, Lunjin Lu |
| 2019 | HPCC | Memory Bandwidth Prediction for HPC Applications in NUMA Architecture. | Solmaz Salehian, Lunjin Lu |
| 2017 | DATA | B-kNN to Improve the Efficiency of kNN. | Dhrgam Al Kafaf, Dae-Kyoo Kim, Lunjin Lu |
| 2015 | COMPSAC | Improving Precision of Java Script Program Analysis with an Extended Domain of Intervals. | Astrid Younang, Lunjin Lu |
| 2014 | TASE | Parametrizing Program Analysis. | Lunjin Lu |
| 2013 | SOFSEM | Refinement Inference for Sequence Diagrams. | Lunjin Lu, Dae-Kyoo Kim |
| 2011 | ICECCS | Required Behavior of Sequence Diagrams: Semantics and Refinement. | Lunjin Lu, Dae-Kyoo Kim |
| 2011 | SEKE | A Feature-Based Modeling Approach to Configuring Privacy and Temporality in RBAC. | Sangsig Kim, Yen-Ting Lee, Yuanlin Zhu, Dae-Kyoo Kim, Lunjin Lu, Vijayan Sugumaran |
| 2010 | FASE | A Verifiable Modeling Approach to Configurable Role-Based Access Control. | Dae-Kyoo Kim, Lunjin Lu, Sangsig Kim |
| 2008 | EDOC | A Tactic-Based Approach to Embodying Non-functional Requirements into Software Architectures. | Suntae Kim, Dae-Kyoo Kim, Lunjin Lu, Sooyong Park |
| 2008 | ICSR | Pattern-Based Transformation Rules for Developing Interaction Models of Access Control Systems. | Dae-Kyoo Kim, Lunjin Lu |
| 2008 | PPDP | Inferring precise polymorphic type dependencies in logic programs. | Lunjin Lu |
| 2007 | SAC | Implementing type-based constructive negation. | Lunjin Lu |
| 2006 | FLOPS | Lazy Set-Sharing Analysis. | Xuan Li, Andy King, Lunjin Lu |
| 2006 | ICECCS | Inference of Design Pattern Instances in UML models via Logic Programming. | Dae-Kyoo Kim, Lunjin Lu |
| 2006 | ICLP | Detecting Determinacy in Prolog Programs. | Andy King, Lunjin Lu, Samir Genaim |
| 2006 | ICLP | Collapsing Closures. | Xuan Li, Andy King, Lunjin Lu |
| 2005 | ESOP | Determinacy Inference for Logic Programs. | Lunjin Lu, Andy King |
| 2005 | PPDP | Inverting abstract unification for set-sharing. | Xuan Li, Lunjin Lu |
| 2005 | SAC | Use of correctness assertions in declarative diagnosis. | Lunjin Lu |
| 2004 | FLOPS | Backward Pair Sharing Analysis. | Lunjin Lu, Andy King |
| 2003 | ICLP | Forward versus Backward Verification of Logic Programs. | Andy King, Lunjin Lu |
| 2002 | PEPM | Path dependent analysis of logic programs. | Lunjin Lu |
| 2002 | SAS | Backward Type Inference Generalises Type Checking. | Lunjin Lu, Andy King |
| 2001 | SAS | Parameterizing a Groundness Analysis of Logic Programs. | Lunjin Lu |
| 2000 | PPDP | A precise type analysis of logic programs. | Lunjin Lu |
| 1999 | ICLP | A Regular Type Analysis of Logic Programs. | Lunjin Lu, John G. Cleary |
| 1999 | PPDP | An Operational Semantics of Starlog. | Lunjin Lu, John G. Cleary |
| 1995 | PEPM | Type Analysis of Logic Programs in the Presence of Type Definitions. | Lunjin Lu |
| 1994 | LPAR | A Generic Declarative Diagnoser for Normal Logic Programs. | Lunjin Lu |