Lunjin Lu

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Measuring Impact of Dependency Injection on Software Maintainability.
Comput., 2022

2021
Taint analysis of arrays in Android applications.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Precise Command Injection Analysis in Android Applications.
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.
Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

Precise String Domain for Analyzing JavaScript Arrays and Objects.
Proceedings of the 3rd International Conference on Information and Computer Technologies, 2020

Code Smell Detection Tool for Java Script Programs.
Proceedings of the 5th International Conference on Computer and Communication Systems, 2020

2019
Precise String Analysis for JavaScript Programs Using Automata.
Proceedings of the 8th International Conference on Software and Computer Applications, 2019

Memory Bandwidth Prediction for HPC Applications in NUMA Architecture.
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.
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.
Complex Adapt. Syst. Model., 2018

2017
Design pattern-based model transformation supported by QVT.
J. Syst. Softw., 2017

Toward Interoperability of Smart Grids.
IEEE Commun. Mag., 2017

Conventionality analysis of array objects in JavaScript.
Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

B-kNN to Improve the Efficiency of kNN.
Proceedings of the 6th International Conference on Data Science, 2017

2015
Opinions on computing education in Korean K-12 system: higher education perspective.
Comput. Sci. Educ., 2015

Improving Precision of Java Script Program Analysis with an Extended Domain of Intervals.
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

2014
Required behavior of sequence diagrams: Semantics and conformance.
ACM Trans. Softw. Eng. Methodol., 2014

Building hybrid access control by configuring RBAC and MAC features.
Inf. Softw. Technol., 2014

Parametrizing Program Analysis.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

2013
Towards Parametrizing Logic Program Analysis: Two Examples.
Theory Pract. Log. Program., 2013

Refinement Inference for Sequence Diagrams.
Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013

2011
A Polymorphic Type Dependency Analysis for Logic Programs.
New Gener. Comput., 2011

A feature-based approach for modeling role-based access control systems.
J. Syst. Softw., 2011

A Feature-Based Modeling Approach for Building Hybrid Access Control Systems.
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.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Required Behavior of Sequence Diagrams: Semantics and Refinement.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2010
Verification of Structural Pattern Conformance Using Logic Programming.
J. Univers. Comput. Sci., 2010

Incremental Computation of Success Patterns of Logic Programs.
J. Softw. Eng. Appl., 2010

Simplifying Negative Goals Using Typed Existence Properties
CoRR, 2010

Parametrizing Program Analysis by Lifting to Cardinal Power Domains
CoRR, 2010

Semantics-based Refinement of Mandatory Behavior of Sequence Diagrams
CoRR, 2010

A Verifiable Modeling Approach to Configurable Role-Based Access Control.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

2009
Quality-driven architecture development using architectural tactics.
J. Syst. Softw., 2009

Using CLP Simplifications to Improve Java Bytecode Termination Analysis.
Proceedings of the Fourth Workshop on Bytecode Semantics, 2009

2008
Improving precision of type analysis using non-discriminative union.
Theory Pract. Log. Program., 2008

Checking Emptiness of Non-Deterministic Regular Types with Set Operators.
Proceedings of the First International Conference on Foundations of Informatics, 2008

Inferring precise polymorphic type dependencies in logic programs.
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.
Proceedings of the High Confidence Software Reuse in Large Systems, 2008

A Tactic-Based Approach to Embodying Non-functional Requirements into Software Architectures.
Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

2007
Implementing type-based constructive negation.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

2006
Collapsing Closures.
Proceedings of the Logic Programming, 22nd International Conference, 2006

Detecting Determinacy in Prolog Programs.
Proceedings of the Logic Programming, 22nd International Conference, 2006

Inference of Design Pattern Instances in UML models via Logic Programming.
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Lazy Set-Sharing Analysis.
Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

2005
Use of correctness assertions in declarative diagnosis.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Inverting abstract unification for set-sharing.
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Determinacy Inference for Logic Programs.
Proceedings of the Programming Languages and Systems, 2005

2004
Analysing Logic Programs by Reasoning Backwards.
Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

Backward Pair Sharing Analysis.
Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004

2003
Path Dependent Analysis of Logic Programs.
High. Order Symb. Comput., 2003

Forward versus Backward Verification of Logic Programs.
Proceedings of the Logic Programming, 19th International Conference, 2003

2002
A Backward Analysis for Constraint Logic Programs.
Theory Pract. Log. Program., 2002

Backward Type Inference Generalises Type Checking.
Proceedings of the Static Analysis, 9th International Symposium, 2002

2001
On Dart-Zobel Algorithm for Testing Regular Type Inclusion.
ACM SIGPLAN Notices, 2001

Parameterizing a Groundness Analysis of Logic Programs.
Proceedings of the Static Analysis, 8th International Symposium, 2001

2000
A precise type analysis of logic programs.
Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

1999
An Operational Semantics of Starlog.
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.
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.
J. Log. Program., 1998

Deriving Abstract Semantics for Forward Analysis of Normal Logic Programs
CoRR, 1998

A Polymorphic Groundness Analysis of Logic Programs
CoRR, 1998

An Emptiness Algorithm for Regular Types with Set Operators
CoRR, 1998

On Dart-Zobel Algorithm for Testing Regular Type Inclusion
CoRR, 1998

Constructive Negation Using Typed Existence Properties.
Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

1996
A Mode Analysis of Logic Programs by Abstract Interpretation.
Proceedings of the Perspectives of System Informatics, 1996

1995
Type Analysis of Logic Programs in the Presence of Type Definitions.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

1994
A Generic Declarative Diagnoser for Normal Logic Programs.
Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994

1993
Logic Program Testing Based on Abstract Interpretation.
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.
Proceedings of the ICCL'92, 1992

An Algorithm for Finite Approximations of Definite Programs and its Implementation in Prolog.
Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992


  Loading...