Lunjin Lu

According to our database, Lunjin Lu authored at least 70 papers between 1992 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Measuring Impact of Dependency Injection on Software Maintainability.

Peter Sun, Dae-Kyoo Kim, Ming Hua, Lunjin Lu

Comput., 2022

2021

Taint analysis of arrays in Android applications.

Assad Maalouf, Lunjin Lu

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Precise Command Injection Analysis in Android Applications.

Assad Maalouf, Lunjin Lu

Proceedings of the ICMSS 2021: The 5the International Conference on Management Engineering, 2021

2020

Reflection on Building Hybrid Access Control by Configuring RBAC and MAC Features.

Dae-Kyoo Kim, Ming Hua, Lunjin Lu

Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

Precise String Domain for Analyzing JavaScript Arrays and Objects.

Nabil Almashfi, Lunjin Lu

Proceedings of the 3rd International Conference on Information and Computer Technologies, 2020

Code Smell Detection Tool for Java Script Programs.

Nabil Almashfi, Lunjin Lu

Proceedings of the 5th International Conference on Computer and Communication Systems, 2020

2019

Precise String Analysis for JavaScript Programs Using Automata.

Nabil Almashfi, Lunjin Lu, Koby Picker, Christian Maldonado

Proceedings of the 8th International Conference on Software and Computer Applications, 2019

Memory Bandwidth Prediction for HPC Applications in NUMA Architecture.

Solmaz Salehian, Lunjin Lu

Proceedings of the 21st IEEE International Conference on High Performance Computing and Communications; 17th IEEE International Conference on Smart City; 5th IEEE International Conference on Data Science and Systems, 2019

Analyzing JavaScript Programs Using Octagon Domain.

Nabil Almashfi, Lunjin Lu

Proceedings of 34th International Conference on Computers and Their Applications, 2019

2018

A three-phase decision making approach for self-adaptive systems using web services.

Dhrgam Al Kafaf, Dae-Kyoo Kim, Lunjin Lu

Complex Adapt. Syst. Model., 2018

2017

Design pattern-based model transformation supported by QVT.

Dae-Kyoo Kim, Lunjin Lu, Byunghun Lee

J. Syst. Softw., 2017

Toward Interoperability of Smart Grids.

Dae-Kyoo Kim, Alaa S. Alaerjan, Lunjin Lu, Hyo-Sik Yang, Hyuksoo Jang

IEEE Commun. Mag., 2017

Conventionality analysis of array objects in JavaScript.

Astrid Younang, Lunjin Lu

Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

B-kNN to Improve the Efficiency of kNN.

Dhrgam Al Kafaf, Dae-Kyoo Kim, Lunjin Lu

Proceedings of the 6th International Conference on Data Science, 2017

2015

Opinions on computing education in Korean K-12 system: higher education perspective.

Dae-Kyoo Kim, Dongwon Jeong, Lunjin Lu, Debatosh Debnath, Ming Hua

Comput. Sci. Educ., 2015

Improving Precision of Java Script Program Analysis with an Extended Domain of Intervals.

Astrid Younang, Lunjin Lu

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

2014

Required behavior of sequence diagrams: Semantics and conformance.

Lunjin Lu, Dae-Kyoo Kim

ACM Trans. Softw. Eng. Methodol., 2014

Building hybrid access control by configuring RBAC and MAC features.

Sangsig Kim, Dae-Kyoo Kim, Lunjin Lu, Eunjee Song

Inf. Softw. Technol., 2014

Parametrizing Program Analysis.

Lunjin Lu

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

2013

Towards Parametrizing Logic Program Analysis: Two Examples.

Lunjin Lu

Theory Pract. Log. Program., 2013

Refinement Inference for Sequence Diagrams.

Lunjin Lu, Dae-Kyoo Kim

Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013

2011

A Polymorphic Type Dependency Analysis for Logic Programs.

Lunjin Lu

New Gener. Comput., 2011

A feature-based approach for modeling role-based access control systems.

Sangsig Kim, Dae-Kyoo Kim, Lunjin Lu, Suntae Kim, Sooyong Park

J. Syst. Softw., 2011

A Feature-Based Modeling Approach for Building Hybrid Access Control Systems.

Sangsig Kim, Dae-Kyoo Kim, Lunjin Lu, Sooyong Park, Suntae Kim

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

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

Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Required Behavior of Sequence Diagrams: Semantics and Refinement.

Lunjin Lu, Dae-Kyoo Kim

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2010

Verification of Structural Pattern Conformance Using Logic Programming.

Lunjin Lu, Dae-Kyoo Kim, Yuanlin Zhu, Sangsig Kim

J. Univers. Comput. Sci., 2010

Incremental Computation of Success Patterns of Logic Programs.

Lunjin Lu

J. Softw. Eng. Appl., 2010

Simplifying Negative Goals Using Typed Existence Properties

Lunjin Lu, John G. Cleary

CoRR, 2010

Parametrizing Program Analysis by Lifting to Cardinal Power Domains

Lunjin Lu

CoRR, 2010

Semantics-based Refinement of Mandatory Behavior of Sequence Diagrams

Lunjin Lu, Dae-Kyoo Kim

CoRR, 2010

A Verifiable Modeling Approach to Configurable Role-Based Access Control.

Dae-Kyoo Kim, Lunjin Lu, Sangsig Kim

Proceedings of the Fundamental Approaches to Software Engineering, 2010

2009

Quality-driven architecture development using architectural tactics.

Suntae Kim, Dae-Kyoo Kim, Lunjin Lu, Sooyong Park

J. Syst. Softw., 2009

Using CLP Simplifications to Improve Java Bytecode Termination Analysis.

Fausto Spoto, Lunjin Lu, Fred Mesnard

Proceedings of the Fourth Workshop on Bytecode Semantics, 2009

2008

Improving precision of type analysis using non-discriminative union.

Lunjin Lu

Theory Pract. Log. Program., 2008

Checking Emptiness of Non-Deterministic Regular Types with Set Operators.

Lunjin Lu

Proceedings of the First International Conference on Foundations of Informatics, 2008

Inferring precise polymorphic type dependencies in logic programs.

Lunjin Lu

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Pattern-Based Transformation Rules for Developing Interaction Models of Access Control Systems.

Dae-Kyoo Kim, Lunjin Lu

Proceedings of the High Confidence Software Reuse in Large Systems, 2008

A Tactic-Based Approach to Embodying Non-functional Requirements into Software Architectures.

Suntae Kim, Dae-Kyoo Kim, Lunjin Lu, Sooyong Park

Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

2007

Implementing type-based constructive negation.

Lunjin Lu

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

2006

Collapsing Closures.

Xuan Li, Andy King, Lunjin Lu

Proceedings of the Logic Programming, 22nd International Conference, 2006

Detecting Determinacy in Prolog Programs.

Andy King, Lunjin Lu, Samir Genaim

Proceedings of the Logic Programming, 22nd International Conference, 2006

Inference of Design Pattern Instances in UML models via Logic Programming.

Dae-Kyoo Kim, Lunjin Lu

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Lazy Set-Sharing Analysis.

Xuan Li, Andy King, Lunjin Lu

Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

2005

Use of correctness assertions in declarative diagnosis.

Lunjin Lu

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Inverting abstract unification for set-sharing.

Xuan Li, Lunjin Lu

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Determinacy Inference for Logic Programs.

Lunjin Lu, Andy King

Proceedings of the Programming Languages and Systems, 2005

2004

Analysing Logic Programs by Reasoning Backwards.

Jacob M. Howe, Andy King, Lunjin Lu

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

Backward Pair Sharing Analysis.

Lunjin Lu, Andy King

Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004

2003

Path Dependent Analysis of Logic Programs.

Lunjin Lu

High. Order Symb. Comput., 2003

Forward versus Backward Verification of Logic Programs.

Andy King, Lunjin Lu

Proceedings of the Logic Programming, 19th International Conference, 2003

2002

A Backward Analysis for Constraint Logic Programs.

Andy King, Lunjin Lu

Theory Pract. Log. Program., 2002

Backward Type Inference Generalises Type Checking.

Lunjin Lu, Andy King

Proceedings of the Static Analysis, 9th International Symposium, 2002

2001

On Dart-Zobel Algorithm for Testing Regular Type Inclusion.

Lunjin Lu

ACM SIGPLAN Notices, 2001

Parameterizing a Groundness Analysis of Logic Programs.

Lunjin Lu

Proceedings of the Static Analysis, 8th International Symposium, 2001

2000

A precise type analysis of logic programs.

Lunjin Lu

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

1999

An Operational Semantics of Starlog.

Lunjin Lu, John G. Cleary

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

A Regular Type Analysis of Logic Programs.

Lunjin Lu, John G. Cleary

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1998

Polymorphic Type Analysis in Logic Programs by Abstract Intepretation.

Lunjin Lu

J. Log. Program., 1998

Deriving Abstract Semantics for Forward Analysis of Normal Logic Programs

Lunjin Lu

CoRR, 1998

A Polymorphic Groundness Analysis of Logic Programs

Lunjin Lu

CoRR, 1998

An Emptiness Algorithm for Regular Types with Set Operators

Lunjin Lu, John G. Cleary

CoRR, 1998

On Dart-Zobel Algorithm for Testing Regular Type Inclusion

Lunjin Lu, John G. Cleary

CoRR, 1998

Constructive Negation Using Typed Existence Properties.

John G. Cleary, Lunjin Lu

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

1996

A Mode Analysis of Logic Programs by Abstract Interpretation.

Lunjin Lu

Proceedings of the Perspectives of System Informatics, 1996

1995

Type Analysis of Logic Programs in the Presence of Type Definitions.

Lunjin Lu

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

1994

A Generic Declarative Diagnoser for Normal Logic Programs.

Lunjin Lu

Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994

1993

Logic Program Testing Based on Abstract Interpretation.

Lunjin Lu, Peter Greenfield

Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

1992

Abstract fixpoint semantics and abstract procedural semantics of definite logic programs.

Lunjin Lu, Peter Greenfield

Proceedings of the ICCL'92, 1992

An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog.

Lunjin Lu, Peter Greenfield

Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992