Liqian Chen

According to our database1, Liqian Chen authored at least 40 papers between 2008 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

Evolutionary Conflict Checking.
CoRR, 2020

Automated Regression Unit Test Generation for Program Merges.
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.
Electron. Notes Theor. Comput. Sci., 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...