Liqian Chen

Orcid: 0000-0001-8084-8009

According to our database1, Liqian Chen authored at least 63 papers between 2008 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
FPCC: Detecting Floating-Point Errors via Chain Conditions.
Proc. ACM Program. Lang., 2024

Synthesizing Boxes Preconditions for Deep Neural Networks.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

MatsVD: Boosting Statement-Level Vulnerability Detection via Dependency-Based Attention.
Proceedings of the 15th Asia-Pacific Symposium on Internetware, 2024

T-RAP: A Template-guided Retrieval-Augmented Vulnerability Patch Generation Approach.
Proceedings of the 15th Asia-Pacific Symposium on Internetware, 2024

F-IKOS: An Abstract Interpretation-based Static Analyzer for Fortran Programs.
Proceedings of the 12th International Workshop on Quantitative Approaches to Software Quality co-located with the 31st Asia Pacific Software Engineering Conference 2024 (APSEC 2024), 2024

2023
Static analysis of linear absolute value equalities among variables of a program.
Sci. Comput. Program., 2023

Affine Disjunctive Invariant Generation with Farkas' Lemma.
CoRR, 2023

An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

Input Validation for Neural Networks via Local Robustness Verification.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

Potential Solutions to Challenges in C Program Repair: A Practical Perspective.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022
Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Grammar-based fuzz testing for microprocessor RTL design.
Integr., 2022

Automated regression unit test generation for program merges.
Sci. China Inf. Sci., 2022

Using Fuzzing to Help Abstract Interpretation Based Program Verification.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

TransplantFix: Graph Differencing-based Code Transplantation for Automated Program Repair.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing.
Proceedings of the Fundamental Approaches to Software Engineering, 2022

NuMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs.
Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation.
Formal Aspects Comput., 2021

An Abstract Domain to Infer Linear Absolute Value Equalities.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Static Bound Analysis of Dynamically Allocated Resources for C Programs.
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021

On Enhancing Application-Ability Training in Discrete Mathematics.
Proceedings of the IEEE Frontiers in Education Conference, 2021

Making Rigorous Linear Programming Practical for Program Analysis.
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

Static Analysis of Resource Usage Bounds for Imperative Programs.
Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

2020
Hierarchical Analysis of Loops With Relaxed Abstract Transformers.
IEEE Trans. Reliab., 2020

Evolutionary Conflict Checking.
CoRR, 2020

Input Validation for Neural Networks via Runtime Local Robustness Verification.
CoRR, 2020

Detecting numerical bugs in neural network architectures.
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Understanding Merge Conflicts and Resolutions in Git Rebases.
Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

2019
Efficient automated repair of high floating-point errors in numerical libraries.
Proc. ACM Program. Lang., 2019

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.
CoRR, 2019

Verifying Numerical Programs via Iterative Abstract Testing.
Proceedings of the Static Analysis - 26th International Symposium, 2019

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.
Proceedings of the Static Analysis - 26th International Symposium, 2019

How Different Is It Between Machine-Generated and Developer-Provided Patches? : An Empirical Study on the Correct Patches Generated by Automated Program Repair Techniques.
Proceedings of the 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2019

2018
Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Identifying Supplementary Bug-fix Commits.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Analyzing Interrupt Handlers via Interprocedural Summaries.
Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018

2017
Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Automated Repair of High Inaccuracies in Numerical Programs.
Proceedings of the 2017 IEEE International Conference on Software Maintenance and Evolution, 2017

Quantitative Analysis of Learning Data in a Programming Course.
Proceedings of the Database Systems for Advanced Applications, 2017

Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies.
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016
Static Analysis of Runtime Errors in Interrupt-Driven Programs via Sequentialization.
ACM Trans. Embed. Comput. Syst., 2016

Analyzing Math Library Functions via Summarization.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Automated Program Repair by Using Similar Code Containing Fix Ingredients.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015
基于指向与数值抽象的带指针算术程序的分析方法 (Analysis of Programs with Pointer Arithmetic by Combining Points-to and Numerical Abstractions).
计算机科学, 2015

2014
Static analysis of lists by combining shape and numerical abstractions.
Sci. Comput. Program., 2014

Automatic recovery from resource exhaustion exceptions by collecting leaked resources.
J. Zhejiang Univ. Sci. C, 2014

Robustness Analysis of Floating-Point Programs by Self-Composition.
J. Appl. Math., 2014

An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters.
Proceedings of the Fifth International Workshop on Numerical and Symbolic Abstract Domains, 2014

An Abstract Domain to Infer Octagonal Constraints with Absolute Value.
Proceedings of the Static Analysis - 21st International Symposium, 2014

2013
Leveraging specifications of subcomponents to mine precise specifications of composite components.
Proceedings of the 20th Working Conference on Reverse Engineering, 2013

Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking.
Proceedings of the Seventh International Conference on Software Security and Reliability, 2013

Static analysis of list-manipulating programs via bit-vectors and numerical abstractions.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Finding related events for specification mining.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2012
Invalid Pointer Dereferences Detection for CPS Software Based on Extended Pointer Structures.
Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Modular Heap Abstraction-Based Code Clone Detection for Heap-Manipulating Programs.
Proceedings of the 2012 12th International Conference on Quality Software, 2012

Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011
Quantitative analysis for symbolic heap bounds of CPS software.
Comput. Sci. Inf. Syst., 2011

Linear Absolute Value Relation Analysis.
Proceedings of the Programming Languages and Systems, 2011

2010
An Abstract Domain to Discover Interval Linear Equalities.
Proceedings of the Verification, 2010

Simple and Precise Widenings for <i>H</i>-Polyhedra.
Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships.
Proceedings of the Static Analysis, 16th International Symposium, 2009

2008
A Sound Floating-Point Polyhedra Abstract Domain.
Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008


  Loading...