DELETE FROM KEYWORDS WHERE ID_DOMAINE=28135255DoneDoneDone
URL:lqchen.github.io
Cache-Control: max-age=600
Connection: keep-alive
Date: Sat, 18 Jan 2025 05:11:33 GMT
Via: 1.1 varnish
Content-Length: 24259
Content-Type: text/html; charset=utf-8
Expires: Sat, 18 Jan 2025 05:21:33 GMT
Last-Modified: Mon, 16 Dec 2024 01:28:42 GMT
Accept-Ranges: bytes
Age: 0
ETag: "675f824a-5ec3"
Server: GitHub.com
Vary: Accept-Encoding
permissions-policy: interest-cohort=()
Access-Control-Allow-Origin: *
x-proxy-cache: MISS
X-GitHub-Request-Id: 809A:20B1B4:2BDB5A4:2C51035:678B3803
X-Served-By: cache-cdg-lfpb1150032-CDG
X-Cache: MISS
X-Cache-Hits: 0
X-Timer: S1737177093.969138,VS0,VE116
X-Fastly-Request-ID: c57f3e5f3f28649b5f291d710088934155fe8c3b
Status => 200
<TITLE> Liqian Chen </TITLE>
<H1> Liqian Chen </H1>
I am a Full Professor in the College of Computer Science and Technology at the National University of Defense Technology (NUDT), Changsha, China.
<P>
<ADDRESS>
<b>E-mail:</b> lqchen AT nudt.edu.cn <BR>
</ADDRESS>
<P>
<HR>
<b>Research Interests:</b>
<P>
<UL>
My research interests include program analysis/verification, abstract interpretation, automated program repair.
</UL>
<HR>
<b>Service:</b>
<P>
<UL>
<LI><p> <a href="https://setta2024.cs.cityu.edu.hk/"><b>SETTA 2024</b></a>: The 10th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2024), Hong Kong, China, Nov. 26-28, 2024. <em>Program Co-chair.</em>
</p>
</LI>
<LI><p><a href="https://conf.researchr.org/home/sas-2024"><b>SAS 2024</b></a>/<a href="https://conf.researchr.org/home/sas-2023"><b>2023</b></a>/<a href="https://conf.researchr.org/home/sas-2022"><b>2022</b></a>/<a href="http://staticanalysis.org/sas2018/"><b>2018</b></a>/<a href="http://staticanalysis.org/sas2017/index.html"><b>2017</b></a>/<a href="http://sas2015.inria.fr/"><b>2015</b></a> 
<a href="https://tase2024.github.io/"><b>TASE 2024</b></a>/<a href="https://bristolpl.github.io/tase2023/"><b>2023</b></a>/<a href="https://www.cs.ubbcluj.ro/tase2022/index.html"><b>2022</b></a>/<a href="https://tase2021.github.io/"><b>2021</b></a>/<a href="http://www.se.gxnu.edu.cn/tase2019/"><b>2019</b></a> 
<a href="https://lcs.ios.ac.cn/setta2023/"><b>SETTA 2023</b></a>/<a href="https://lcs.ios.ac.cn/setta2022/"><b>2022</b></a>/<a href="https://lcs.ios.ac.cn/setta2021"><b>2021</b></a> 
<a href="https://internetware2022.github.io/"><b>Internetware 2022</b></a>/<a href="https://internetware2020.github.io/"><b>2020</b></a> 
<a href="https://2020.splashcon.org/home/nsad-2020"><b>NSAD 2020</b></a>/<a href="http://nsad16.di.univr.it/"><b>2016</b></a>/<a href="http://www2.in.tum.de/nsad2014/"><b>2014</b></a> 
<a href="https://www.fm24.polimi.it/?page_id=60"><b>FM 2024 Embedded Systems Track</b></a> 
<a href="https://conf.researchr.org/track/apsec-2024/apsec-2024-early-research-achievements"><b>APSEC 2024 ERA Track</b></a>. 
<em>Program/ArtifactEvaluation committee member. </em>
</p>
</LI>
</UL>
<HR>
<b>Software:</b>
<P>
<UL>
<LI><p><a href="https://github.com/antoinemine/apron"><b>Apron</b></a>: a library for Numerical Abstract Domains.
</p>
</LI>
<LI><p><a href="https://github.com/yixin-09/AutoRNP"><b>AutoRNP</b></a>: a dynamic analysis tool for automatically detecting and repairing high floating-point errors in numerical programs.
</p>
</LI>
</UL>
<HR>
<b>Publications:</b>   (<a href="http://www.informatik.uni-trier.de/~ley/pers/hd/c/Chen:Liqian">DBLP</a>)
<P>
<UL>
<LI>Jingyu Ke, Hongfei Fu, Hongming Liu, Zhouyue Sun, Liqian Chen and Guoqiang Li.
<b>Affine Disjunctive Invariant Generation with Farkas' Lemma</b>.
In Proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation (<b>VMCAI 2025</b>), Denver, Colorado, United States, Mon 20 - Tue 21 January 2025.
[<a href="VMCAI25_InvGen.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Xin Yi, Hengbiao Yu, Liqian Chen, Xiaoguang Mao, and Ji Wang.
<b>FPCC: Detecting Floating-Point Errors via Chain Conditions</b>.
In Proceedings of the ACM on Programming Languages 8, OOPSLA2 (<b>OOPSLA 2024</b>), Article 324 (October 2024), 28 pages.
[<a href="OOPSLA24_FPCC.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Shifu Yang, Liqian Chen, Banghu Yin, Minghao Li, Yuan Zhou and Ji Wang.
<b>Sound Floating-Point Neural Network Verification with MILP</b>.
In Proceedings of the 31st Asia-Pacific Software Engineering Conference (<b>APSEC 2024</b>), December 3-6, 2024, Chongqing, China.
[<a href="APSEC24_FPNN.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Bo Lin, Shangwen Wang, Ming Wen, Liqian Chen, and Xiaoguang Mao.
<b>One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair</b>. In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (<b>ISSTA 2024</b>), September 16–20, 2024, Vienna, Austria. ACM, New York, NY, USA, 13 pages.   (<span style="color:red"><b>ACM SIGSOFT Distinguished Paper Award</b></span>)  
[<a href="ISSTA24_repair.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Zengyu Liu, Liqian Chen, Wanwei Liu, and Ji Wang.
<b>Synthesizing Boxes Preconditions for Deep Neural Networks</b>.
In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (<b>ISSTA 2024</b>), September 16–20, 2024, Vienna, Austria. ACM, New York, NY, USA, 12 pages.
[<a href="ISSTA24_preBox.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Cheng Weng, Yihao Qin, Bo Lin, Pei Liu and Liqian Chen.
<b>MatsVD: Boosting Statement-Level Vulnerability Detection via Dependency-Based Attention</b>.
In Proceedings of the 15th Asia-Pacific Symposium on Internetware (<b>Internetware 2024</b>), ACM, New York, NY, USA, Pages 115 - 124, July 24–26, 2024, Macau, China.
[<a href="Internetware24_MatsVD.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Pei Liu, Bo Lin, Yihao Qin, Cheng Weng, and Liqian Chen.
<b> T-RAP: A Template-guided Retrieval-Augmented Vulnerability Patch Generation Approach. </b>.
In Proceedings of the 15th Asia-Pacific Symposium on Internetware (<b>Internetware 2024</b>), ACM, New York, NY, USA, Pages 105 - 114, July 24–26, 2024, Macau, China.
[<a href="Internetware24_TRAP.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Jifeng Xuan, Qi Xin, Liqian Chen and Xiaoguang Mao.
<b>Potential Solutions to Challenges in C Program Repair: A Practical Perspective</b>.
In Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering (<b>ASE 2023</b>), IEEE, pages 1963--1968, Luxembourg, September 11-15, 2023.
[<a href="ASE23_CRepair.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Han Xu, Liqian Chen, Guangsheng Fan, Banghu Yin and Ji Wang.
<b>An Abstract Domain of Linear Templates with Disjunctive Right-hand-side Intervals</b>.
In Proceedings of the 9th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (<b>SETTA 2023</b>), volume 14464 of LNCS, pages 314-330, Nanjing, China, November 27-29, 2023.
[<a href="SETTA23_ItvTmp.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Liqian Chen, Guangsheng Fan, Banghu Yin, Ji Wang.
<b>Research Progress on Abstract Interpretation and Its Application</b>.
<b>Journal of Computer Research and Development</b>, 2023, 60(2): 227-247. (In Chinese)  
[<a href="JCRAD23_absint.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Liqian Chen, Dengping Wei, Banghu Yin, Ji Wang.
<b>Static analysis of linear absolute value equalities among variables of a program</b>.
<b>Science of Computer Programming</b>. Volume 225, January 2023.  
[<a href="SCP23_AVE.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang.
<b>Efficient Complete Verification of Neural Networks via Layer-wised Splitting and Refinement</b>.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (<b>TCAD</b>), Volume 41, Issue 11, Pages 3898 - 3909, November 2022.  
[<a href="TCAD22_LayerSAR.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Chenghu Ma, Liqian Chen, Xin Yi, Guangsheng Fan, Ji Wang.
<b>NUMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs</b>.
In Proc. of the 29th Asia-Pacific Software Engineering Conference (<b>APSEC 2022</b>), Virtual, December 06-09, 2022.  
[<a href="APSEC22_NFuzz.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Deheng Yang, Xiaoguang Mao, Liqian Chen, Xuezheng Xu, Yan Lei, David Lo, Jiayu He.
<b>TransplantFix: Graph Differencing-based Code Transplantation for Automated Program Repair</b>.
In Proc. of the 37th IEEE/ACM International Conference on Automated Software Engineering (<b>ASE 2022</b>), Oakland Center, Michigan, United States, Oct 10-14, 2022.  
[<a href="ASE22_TFix.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Liqian Chen, Renjie Huang, Dan Luo, Chenghu Ma, Dengping Wei, Ji Wang.
<b>Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing</b>.
In Proc. of the 25th International Conference on Fundamental Approaches to Software Engineering (<b>FASE 2022</b>), volume 13241 of LNCS, pages 92-101, Springer, Munich, Germany, April 2-7, 2022.  
[<a href="FASE22_RFuzz.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang.
<b>Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation</b>.
<b>Formal Aspects of Computing</b>, 33(3): 407-435 (2021).  
[<a href="FAOC21_dnn.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Guangsheng Fan, Taoqing Chen, Banghu Yin, Liqian Chen, Tengbin Wang, Ji Wang.
<b>Static Bound Analysis of Dynamically Allocated Resources for C Programs</b>.
In Proc. of the 32nd International Symposium on Software Reliability Engineering (<b>ISSRE 2021</b>), Wuhan, China.  
[<a href="ISSRE21_res.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Tengbin Wang, Liqian Chen, Taoqing Chen, Guangsheng Fan, Ji Wang.
<b>Making Rigorous Linear Programming Practical for Program Analysis</b>.
In Proc. of the 27th International Conference on Principles and Practice of Constraint Programming (<b>CP 2021</b>), Article No. 22; pp. 22:1–22:17, Leibniz International Proceedings in Informatics Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany.  
[<a href="CP21_rlp.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Liqian Chen, Banghu Yin, Dengping Wei, Ji Wang.
<b>An Abstract Domain to Infer Linear Absolute Value Equalities</b>.
In Proc. of the 15th International Symposium on Theoretical Aspects of Software Engineering (<b>TASE 2021</b>), pages 47-54, IEEE, August 25-27, 2021, Shanghai, China.  
[<a href="TASE21_ave.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, Tao Xie.
<b>Detecting Numerical Bugs in Neural Network Architectures</b>.
In Proc. of the 2020 ACM Joint European Software Engineering Conference and Symposium
on the Foundations of Software Engineering (<b>ESEC/FSE 2020</b>), pages 826-837, ACM,
Sacramento, California, United States, November 8-13, 2020.  
(<span style="color:red"><b>ACM SIGSOFT Distinguished Paper Award</b></span>)  
[<a href="FSE20_NNBugs.pdf">PDF</a>] [<a href="https://www.youtube.com/watch?v=I73na_Au5qw">VIDEO</a>] [<a href="https://github.com/ForeverZyh/DEBAR">TOOL:DEBAR</a>]
</p>
</LI>
</UL>
<UL>
<LI>Tao Ji, Liqian Chen, Xin Yi and Xiaoguang Mao.
<b>Understanding Merge Conflicts and Resolutions in Git Rebases</b>.
In Proc. of the 31st IEEE International Symposium on Software Reliability Engineering (<b>ISSRE 2020</b>),
pages 70-80, IEEE, Coimbra, Portugal, October 12-15, 2020.  
[<a href="ISSRE20_Merge.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Banghu Yin, Liqian Chen, Jiangchao Liu and Ji Wang.
<b>Hierarchical analysis of loops with relaxed abstract transformers</b>.
<b>IEEE Transactions on Reliability</b>, 69(1): 203-215, 2020.   [<a href="TR20_Hierarch.pdf">PDF</a>] </p>
</LI>
</UL>
<UL>
<LI>Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang and Patrick Cousot.
<b>Verifying Numerical Programs via Iterative Abstract Testing</b>.
In Proc. of the 26th Static Analysis Symposium (<b>SAS 2019</b>), volume 11822 of LNCS, pages 247--267, Springer, Porto, Portugal, October 9-11, 2019.   [<a href="SAS19_b_AbsTesting.pdf">PDF</a>] </p>
</LI>
</UL>
<UL>
<LI>Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang and Lijun Zhang.
<b>Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification</b>.
In Proc. of the 26th Static Analysis Symposium (<b>SAS 2019</b>), volume 11822 of LNCS, pages 296--319, Springer, Porto, Portugal, October 9-11, 2019.   [<a href="SAS19_a_NN.pdf">PDF</a>] </p>
</LI>
</UL>
<UL>
<LI>Shangwen Wang, Ming Wen, Liqian Chen, Xin Yi and Xiaoguang Mao.
<b>How Different Is It Between Machine-Generated and Developer-Provided Patches? An Empirical Study on The Correct Patches Generated by Automated Program Repair Techniques</b>.
In Proc. of the 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (<b>ESEM 2019</b>), Porto de Galinhas-PE, Brazil, September 19-20, 2019.   [<a href="ESEM19_empirical.pdf">PDF</a>] </p>
</LI>
</UL>
<UL>
<LI>Xin Yi, Liqian Chen, Xiaoguang Mao and Tao Ji.
<b>Efficient Automated Repair of High Floating-Point Errors in Numerical Libraries</b>.
In Proc. of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (<b>POPL 2019</b>), Proceedings of the ACM on Programming Languages (<b>PACMPL</b>),
Vol. 3, No. POPL, Article 56, 29 pages, Cascais, Lisbon, Portugal, January 13 - 19, 2019.   [<a href="POPL19_FPrepair.pdf">PDF</a>] [<a href="https://github.com/yixin-09/AutoRNP">TOOL:AutoRNP</a>]
</p>
</LI>
</UL>
<UL>
<LI>Jiangchao Liu, Liqian Chen and Xavier Rival.
<b>Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions</b>.
In Proc. of the 18th ACM SIGBED International Conference on Embedded Software (<b>EMSOFT 2018</b>), IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (<b>TCAD</b>) special issue, September 30 - October 5, 2018, Torino, Italy.   [<a href="EMSOFT18_TCAD_array.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Tao Ji, Jinkun Pan, Liqian Chen, Xiaoguang Mao.
<b>Identifying Supplementary Bug-fix Commits</b>.
In Proc. of the 42nd IEEE Computer Society International Conference on Computers, Software & Applications (<b>COMPSAC 2018</b>), IEEE Computer Society, Volume 1, pp. 184-193, July 23-27, 2018, Tokyo, Japan.   [<a href="COMPSAC18_commits.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Xin Yi, Liqian Chen, Xiaoguang Mao and Tao Ji.
<b>Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies</b>.
In Proc. of the 24th Asia-Pacific Software Engineering Conference (<b>APSEC 2017</b>), IEEE Computer Society, pp. 11-20, December 4-8, 2017, Nanjing, China. (<span style="color:red"><b>Best Paper Award</b></span>)   [<a href="APSEC17_triggering.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Xin Yi, Liqian Chen, Xiaoguang Mao and Tao Ji.
<b> Automated Repair of High Inaccuracies in Numerical Programs</b>.
In Proc. of the 33rd IEEE International Conference on Software Maintenance and Evolution (<b>ICSME 2017</b>), IEEE Computer Society, pp. 514-518, September 17-24, 2017, Shanghai, China.   [<a href="ICSME17_repair.pdf">PDF</a>]   [<a href="ICSME17_slides_yi.pdf">Slides</a>]
</p>
</LI>
</UL>
<UL>
<LI>Jiahong Jiang, Liqian Chen, Xueguang Wu and Ji Wang.
<b> Block-wise abstract interpretation by combining abstract domains with SMT </b>.
The 18th International Conference on Verification, Model Checking, and Abstract Interpretation (<b>VMCAI 2017</b>), volume 10145 of <em>LNCS</em>, pages 310-329, Springer, Paris, France, January 15-17, 2017.   [<a href="VMCAI17_blockAI.pdf">PDF</a>]   [<a href="VMCAI17_slides_jiang.pdf">Slides</a>]
</p>
</LI>
</UL>
<UL>
<LI>Xueguang Wu, Liqian Chen, <a href="https://www-apr.lip6.fr/~mine/">Antoine Miné</a>, Wei Dong and Ji Wang.
<b> Static Analysis of Run-Time Errors in Interrupt-Driven Programs via Sequentialization</b>.
ACM Transactions on Embedded Computing Systems (<b>TECS</b>) , Volume 15, Issue 4, Article No.70, pages 1-26, August 2016.   [<a href="TECS16_interrupt.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Tao Ji, Liqian Chen, Xiaoguang Mao and Xin Yi.
<b> Automated Program Repair by Using Similar Code Containing Fix Ingredients</b>.
In Proc. of the 40th IEEE Computer Society International Conference on Computers, Software & Applications (<b>COMPSAC 2016</b>), IEEE Computer Society, pp. 197-202, June 10-14, 2016, Atlanta, Georgia, USA.   [<a href="COMPSAC16_repair.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Xueguang Wu, Liqian Chen, <a href="https://www-apr.lip6.fr/~mine/">Antoine Miné</a>, Wei Dong and Ji Wang.
<b> Numerical Static Analysis of Interrupt-driven Programs via Sequentialization</b>.
In Proc. of the 15th ACM SIGBED International Conference on Embedded Software (<b>EMSOFT 2015</b>), ACM press, October 4-9, 2015, Amsterdam, The Netherlands. (<span style="color:red"><b>Best Paper Award Nomination</b></span>)   [<a href="EMSOFT15_interrupt.pdf">PDF</a>]   [<a href="EMSOFT15_slides_wu.pdf">Slides</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Liqian Chen, Jiangchao Liu, <a href="https://www-apr.lip6.fr/~mine/">Antoine Miné</a>, <a href="http://www.cs.unm.edu/~kapur">Deepak Kapur</a> and Ji Wang.
<b> An Abstract Domain to Infer Octagonal Constraints with Absolute Value</b>.
In Proc. of the 21st International Static Analysis Symposium (<b>SAS 2014</b>), volume 8723 of <em>LNCS</em>, pages 156-175, Springer, Munich, Germany, Setpember 11-13, 2014.   [<a href="SAS14_AVO.pdf">PDF</a>]   [<a href="SAS14_slides_chen.pdf">Slides</a>]
</p>
</LI>
</UL>
<UL>
<LI>Xueguang Wu, Liqian Chen and Ji Wang.
<b> An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters</b>.
In Proc. of the <a>5th International Workshop on Numerical and Symbolic Abstract Domains (<b>NSAD 2014</b>), volume 307 of <em>ENTCS</em>, pages 33-45, Munich, Germany, Setpember 10, 2014.   [<a href="NSAD14_PaRa.pdf">PDF</a>]   [<a href="NSAD14_slides_chen.pdf">Slides</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Liqian Chen, Renjian Li, Xueguang Wu and Ji Wang.
<b>Static Analysis of Lists by combining shape and numerical abstractions </b>.
Science of Computer Programming (2014), http://dx.doi.org/10.1016/j.scico.2014.06.004.   [<a href="SCP14.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Liqian Chen, Jiahong Jiang, Banghu Yin, Wei Dong and Ji Wang.
<b>Robustness Analysis of Floating-Point Programs by Self-Composition</b>.
Journal of Applied Mathematics, vol. 2014, Article ID 789213, 12 pages, 2014.   [<a href="JAM14_robust.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Ziying Dai, Xiaoguang Mao, Liqian Chen and Yan Lei.
<b>Automatic recovery from resource exhaustion exceptions by collecting leaked resources</b>. Journal of Zhejiang University - SCIENCE C (Computers & Electronics), 15(8): 622-635 (2014).   [<a href="JZUSC14_recovery.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Ziying Dai, Xiaoguang Mao, Liqian Chen, Yan Lei and Yi Zhang.
<b>Finding Related Events for Specification Mining</b>.
In Proc. of the 24th IEEE International Symposium on Software Reliability Engineering (<b>ISSRE 2013</b>)(Supplemental Proceedings), IEEE Computer Society, pp.1-2, Pasadena, CA, USA, November 4-7, 2013.   [<a href="ISSRE13_mining.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Ziying Dai, Xiaoguang Mao, Yan Lei, and Liqian Chen.
<b> Leveraging Specifications of Subcomponents to Mine Precise Specifications of Composite Components</b>.
In Proc. of the 20th Working Conference on Reverse Engineering (<b>WCRE 2013</b>), IEEE Computer Society, pp. 162-171, Koblenz, Germany, October 14-17, 2013.   [<a href="WCRE13_mining.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Xueguang Wu, Yanjun Wen, Liqian Chen, Wei Dong, Ji Wang.
<b>Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking</b>.
In Proc. of the 7th International Conference on Software Security and Reliability (<b>SERE 2013</b>) (Companion), IEEE Computer Society, pp. 204-210, Washington, D.C., USA, 18-20, June, 2013.   [<a href="SSCPS13_interrupt.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Liqian Chen, Renjian Li, Xueguang Wu and Ji Wang.
<b>Static Analysis of List-Manipulating Programs via Bit-Vectors and Numerical Abstractions</b>.
In Proc. of the 28th Symposium On Applied Computing (<b>SAC 2013</b>), pages 1204-1210, ACM, Coimbra, Portugal, March 18-22, 2013.   [<a href="SAC13_list.pdf">PDF</a>]   [<a href="SAC13_slides_chen.pdf">Slides</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Longming Dong, Ji Wang and Liqian Chen.
<b> Modular Heap Abstraction-based Memory Leak Detection for Heap-manipulating Programs</b>.
In Proc. of the 19th Asia-Pacific Software Engineering Conference (<b>APSEC 2012</b>), pages 20-29, IEEE, Hongkong, December 4-7, 2012.   [<a href="APSEC12_leak.pdf">PDF</a>]   [<a href="APSEC12_slides_chen.pdf">Slides</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Liqian Chen, <a href="https://www-apr.lip6.fr/~mine/">Antoine Miné</a>, Ji Wang and <a href="http://cs.nyu.edu/~pcousot/">Patrick Cousot</a>.
<b>Linear Absolute Value Relation Analysis</b>.
In Proc. of the 20th European Symposium on Programming(<b>ESOP 2011</b>),
volume 6602 of <em>LNCS</em>, pages 156-175, Springer, Saarbrucken, Germany, Mar 30-Apr 1, 2011.   [<a href="ESOP11_avi.pdf">PDF</a>]   [<a href="ESOP11_slides_chen.pdf">Slides</a>]
</p>
</LI>
</UL>
<UL>
<LI><p><a href="http://www2.in.tum.de/hp/Main?nid=130">Axel Simon</a> and Liqian Chen.
<b>Simple and Precise Widenings for H-Polyhedra</b>.
In Proc. of the 8th Asian Symposium on Programming Languages
and Systems (<b>APLAS 2010</b>),
volume 6461 of <em>LNCS</em>, pages 139-155, Springer, Shanghai, China, Nov 28-Dec 1, 2010.
  [<a href="APLAS10_widening.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Liqian Chen, <a href="https://www-apr.lip6.fr/~mine/">Antoine Miné</a>, Ji Wang and <a href="http://cs.nyu.edu/~pcousot/">Patrick Cousot</a>.
<b>An Abstract Domain to Discover Interval Linear Equalities</b>.
In Proc. of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation (<b>VMCAI 2010</b>),
volume 5944 of <em>LNCS</em>, pages 112-128, Springer, Madrid, Spain, Jan 17-19, 2010.
  [<a href="VMCAI10_itvLinEqs.pdf">PDF</a>]   [<a href="VMCAI10_slides_chen.pdf">Slides</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Liqian Chen, <a href="https://www-apr.lip6.fr/~mine/">Antoine Miné</a>, Ji Wang and <a href="http://cs.nyu.edu/~pcousot/">Patrick Cousot</a>. <b>Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships</b>.
In Proc. of the 16th International Static Analysis Symposium (<b>SAS 2009</b>),
volume 5673 of <em>LNCS</em>, pages 309-325, Springer, Los Angeles, CA, USA, Aug 9-11, 2009.
  [<a href="SAS09_itvPol.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Liqian Chen, <a href="https://www-apr.lip6.fr/~mine/">Antoine Miné</a> and <a href="http://cs.nyu.edu/~pcousot/">Patrick Cousot</a>. <b>A Sound Floating-Point Polyhedra Abstract Domain</b>.
In Proc. of the 6th Asian Symposium on Programming Languages and Systems (<b>APLAS 2008</b>),
volume 5356 of <em>LNCS</em>, pages 3-18, Springer, Bangalore, India, Dec 9-11, 2008.   [<a href="APLAS08_fppol.pdf">PDF</a>]
</p>
</LI>
</UL>
<TITLE> Liqian Chen </TITLE>
<H1> Liqian Chen </H1>
I am a Full Professor in the College of Computer Science and Technology at the National University of Defense Technology (NUDT), Changsha, China.
<P>
<ADDRESS>
<b>E-mail:</b> lqchen AT nudt.edu.cn <BR>
</ADDRESS>
<P>
<HR>
<b>Research Interests:</b>
<P>
<UL>
My research interests include program analysis/verification, abstract interpretation, automated program repair.
</UL>
<HR>
<b>Service:</b>
<P>
<UL>
<LI><p> <a href="https://setta2024.cs.cityu.edu.hk/"><b>SETTA 2024</b></a>: The 10th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2024), Hong Kong, China, Nov. 26-28, 2024. <em>Program Co-chair.</em>
</p>
</LI>
<LI><p><a href="https://conf.researchr.org/home/sas-2024"><b>SAS 2024</b></a>/<a href="https://conf.researchr.org/home/sas-2023"><b>2023</b></a>/<a href="https://conf.researchr.org/home/sas-2022"><b>2022</b></a>/<a href="http://staticanalysis.org/sas2018/"><b>2018</b></a>/<a href="http://staticanalysis.org/sas2017/index.html"><b>2017</b></a>/<a href="http://sas2015.inria.fr/"><b>2015</b></a> 
<a href="https://tase2024.github.io/"><b>TASE 2024</b></a>/<a href="https://bristolpl.github.io/tase2023/"><b>2023</b></a>/<a href="https://www.cs.ubbcluj.ro/tase2022/index.html"><b>2022</b></a>/<a href="https://tase2021.github.io/"><b>2021</b></a>/<a href="http://www.se.gxnu.edu.cn/tase2019/"><b>2019</b></a> 
<a href="https://lcs.ios.ac.cn/setta2023/"><b>SETTA 2023</b></a>/<a href="https://lcs.ios.ac.cn/setta2022/"><b>2022</b></a>/<a href="https://lcs.ios.ac.cn/setta2021"><b>2021</b></a> 
<a href="https://internetware2022.github.io/"><b>Internetware 2022</b></a>/<a href="https://internetware2020.github.io/"><b>2020</b></a> 
<a href="https://2020.splashcon.org/home/nsad-2020"><b>NSAD 2020</b></a>/<a href="http://nsad16.di.univr.it/"><b>2016</b></a>/<a href="http://www2.in.tum.de/nsad2014/"><b>2014</b></a> 
<a href="https://www.fm24.polimi.it/?page_id=60"><b>FM 2024 Embedded Systems Track</b></a> 
<a href="https://conf.researchr.org/track/apsec-2024/apsec-2024-early-research-achievements"><b>APSEC 2024 ERA Track</b></a>. 
<em>Program/ArtifactEvaluation committee member. </em>
</p>
</LI>
</UL>
<HR>
<b>Software:</b>
<P>
<UL>
<LI><p><a href="https://github.com/antoinemine/apron"><b>Apron</b></a>: a library for Numerical Abstract Domains.
</p>
</LI>
<LI><p><a href="https://github.com/yixin-09/AutoRNP"><b>AutoRNP</b></a>: a dynamic analysis tool for automatically detecting and repairing high floating-point errors in numerical programs.
</p>
</LI>
</UL>
<HR>
<b>Publications:</b>   (<a href="http://www.informatik.uni-trier.de/~ley/pers/hd/c/Chen:Liqian">DBLP</a>)
<P>
<UL>
<LI>Jingyu Ke, Hongfei Fu, Hongming Liu, Zhouyue Sun, Liqian Chen and Guoqiang Li.
<b>Affine Disjunctive Invariant Generation with Farkas' Lemma</b>.
In Proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation (<b>VMCAI 2025</b>), Denver, Colorado, United States, Mon 20 - Tue 21 January 2025.
[<a href="VMCAI25_InvGen.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Xin Yi, Hengbiao Yu, Liqian Chen, Xiaoguang Mao, and Ji Wang.
<b>FPCC: Detecting Floating-Point Errors via Chain Conditions</b>.
In Proceedings of the ACM on Programming Languages 8, OOPSLA2 (<b>OOPSLA 2024</b>), Article 324 (October 2024), 28 pages.
[<a href="OOPSLA24_FPCC.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Shifu Yang, Liqian Chen, Banghu Yin, Minghao Li, Yuan Zhou and Ji Wang.
<b>Sound Floating-Point Neural Network Verification with MILP</b>.
In Proceedings of the 31st Asia-Pacific Software Engineering Conference (<b>APSEC 2024</b>), December 3-6, 2024, Chongqing, China.
[<a href="APSEC24_FPNN.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Bo Lin, Shangwen Wang, Ming Wen, Liqian Chen, and Xiaoguang Mao.
<b>One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair</b>. In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (<b>ISSTA 2024</b>), September 16–20, 2024, Vienna, Austria. ACM, New York, NY, USA, 13 pages.   (<span style="color:red"><b>ACM SIGSOFT Distinguished Paper Award</b></span>)  
[<a href="ISSTA24_repair.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Zengyu Liu, Liqian Chen, Wanwei Liu, and Ji Wang.
<b>Synthesizing Boxes Preconditions for Deep Neural Networks</b>.
In Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (<b>ISSTA 2024</b>), September 16–20, 2024, Vienna, Austria. ACM, New York, NY, USA, 12 pages.
[<a href="ISSTA24_preBox.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Cheng Weng, Yihao Qin, Bo Lin, Pei Liu and Liqian Chen.
<b>MatsVD: Boosting Statement-Level Vulnerability Detection via Dependency-Based Attention</b>.
In Proceedings of the 15th Asia-Pacific Symposium on Internetware (<b>Internetware 2024</b>), ACM, New York, NY, USA, Pages 115 - 124, July 24–26, 2024, Macau, China.
[<a href="Internetware24_MatsVD.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Pei Liu, Bo Lin, Yihao Qin, Cheng Weng, and Liqian Chen.
<b> T-RAP: A Template-guided Retrieval-Augmented Vulnerability Patch Generation Approach. </b>.
In Proceedings of the 15th Asia-Pacific Symposium on Internetware (<b>Internetware 2024</b>), ACM, New York, NY, USA, Pages 105 - 114, July 24–26, 2024, Macau, China.
[<a href="Internetware24_TRAP.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Jifeng Xuan, Qi Xin, Liqian Chen and Xiaoguang Mao.
<b>Potential Solutions to Challenges in C Program Repair: A Practical Perspective</b>.
In Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering (<b>ASE 2023</b>), IEEE, pages 1963--1968, Luxembourg, September 11-15, 2023.
[<a href="ASE23_CRepair.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Han Xu, Liqian Chen, Guangsheng Fan, Banghu Yin and Ji Wang.
<b>An Abstract Domain of Linear Templates with Disjunctive Right-hand-side Intervals</b>.
In Proceedings of the 9th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (<b>SETTA 2023</b>), volume 14464 of LNCS, pages 314-330, Nanjing, China, November 27-29, 2023.
[<a href="SETTA23_ItvTmp.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Liqian Chen, Guangsheng Fan, Banghu Yin, Ji Wang.
<b>Research Progress on Abstract Interpretation and Its Application</b>.
<b>Journal of Computer Research and Development</b>, 2023, 60(2): 227-247. (In Chinese)  
[<a href="JCRAD23_absint.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Liqian Chen, Dengping Wei, Banghu Yin, Ji Wang.
<b>Static analysis of linear absolute value equalities among variables of a program</b>.
<b>Science of Computer Programming</b>. Volume 225, January 2023.  
[<a href="SCP23_AVE.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang.
<b>Efficient Complete Verification of Neural Networks via Layer-wised Splitting and Refinement</b>.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (<b>TCAD</b>), Volume 41, Issue 11, Pages 3898 - 3909, November 2022.  
[<a href="TCAD22_LayerSAR.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Chenghu Ma, Liqian Chen, Xin Yi, Guangsheng Fan, Ji Wang.
<b>NUMFUZZ: A Floating-Point Format Aware Fuzzer for Numerical Programs</b>.
In Proc. of the 29th Asia-Pacific Software Engineering Conference (<b>APSEC 2022</b>), Virtual, December 06-09, 2022.  
[<a href="APSEC22_NFuzz.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Deheng Yang, Xiaoguang Mao, Liqian Chen, Xuezheng Xu, Yan Lei, David Lo, Jiayu He.
<b>TransplantFix: Graph Differencing-based Code Transplantation for Automated Program Repair</b>.
In Proc. of the 37th IEEE/ACM International Conference on Automated Software Engineering (<b>ASE 2022</b>), Oakland Center, Michigan, United States, Oct 10-14, 2022.  
[<a href="ASE22_TFix.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Liqian Chen, Renjie Huang, Dan Luo, Chenghu Ma, Dengping Wei, Ji Wang.
<b>Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing</b>.
In Proc. of the 25th International Conference on Fundamental Approaches to Software Engineering (<b>FASE 2022</b>), volume 13241 of LNCS, pages 92-101, Springer, Munich, Germany, April 2-7, 2022.  
[<a href="FASE22_RFuzz.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang.
<b>Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation</b>.
<b>Formal Aspects of Computing</b>, 33(3): 407-435 (2021).  
[<a href="FAOC21_dnn.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Guangsheng Fan, Taoqing Chen, Banghu Yin, Liqian Chen, Tengbin Wang, Ji Wang.
<b>Static Bound Analysis of Dynamically Allocated Resources for C Programs</b>.
In Proc. of the 32nd International Symposium on Software Reliability Engineering (<b>ISSRE 2021</b>), Wuhan, China.  
[<a href="ISSRE21_res.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Tengbin Wang, Liqian Chen, Taoqing Chen, Guangsheng Fan, Ji Wang.
<b>Making Rigorous Linear Programming Practical for Program Analysis</b>.
In Proc. of the 27th International Conference on Principles and Practice of Constraint Programming (<b>CP 2021</b>), Article No. 22; pp. 22:1–22:17, Leibniz International Proceedings in Informatics Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany.  
[<a href="CP21_rlp.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Liqian Chen, Banghu Yin, Dengping Wei, Ji Wang.
<b>An Abstract Domain to Infer Linear Absolute Value Equalities</b>.
In Proc. of the 15th International Symposium on Theoretical Aspects of Software Engineering (<b>TASE 2021</b>), pages 47-54, IEEE, August 25-27, 2021, Shanghai, China.  
[<a href="TASE21_ave.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, Tao Xie.
<b>Detecting Numerical Bugs in Neural Network Architectures</b>.
In Proc. of the 2020 ACM Joint European Software Engineering Conference and Symposium
on the Foundations of Software Engineering (<b>ESEC/FSE 2020</b>), pages 826-837, ACM,
Sacramento, California, United States, November 8-13, 2020.  
(<span style="color:red"><b>ACM SIGSOFT Distinguished Paper Award</b></span>)  
[<a href="FSE20_NNBugs.pdf">PDF</a>] [<a href="https://www.youtube.com/watch?v=I73na_Au5qw">VIDEO</a>] [<a href="https://github.com/ForeverZyh/DEBAR">TOOL:DEBAR</a>]
</p>
</LI>
</UL>
<UL>
<LI>Tao Ji, Liqian Chen, Xin Yi and Xiaoguang Mao.
<b>Understanding Merge Conflicts and Resolutions in Git Rebases</b>.
In Proc. of the 31st IEEE International Symposium on Software Reliability Engineering (<b>ISSRE 2020</b>),
pages 70-80, IEEE, Coimbra, Portugal, October 12-15, 2020.  
[<a href="ISSRE20_Merge.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Banghu Yin, Liqian Chen, Jiangchao Liu and Ji Wang.
<b>Hierarchical analysis of loops with relaxed abstract transformers</b>.
<b>IEEE Transactions on Reliability</b>, 69(1): 203-215, 2020.   [<a href="TR20_Hierarch.pdf">PDF</a>] </p>
</LI>
</UL>
<UL>
<LI>Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang and Patrick Cousot.
<b>Verifying Numerical Programs via Iterative Abstract Testing</b>.
In Proc. of the 26th Static Analysis Symposium (<b>SAS 2019</b>), volume 11822 of LNCS, pages 247--267, Springer, Porto, Portugal, October 9-11, 2019.   [<a href="SAS19_b_AbsTesting.pdf">PDF</a>] </p>
</LI>
</UL>
<UL>
<LI>Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang and Lijun Zhang.
<b>Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification</b>.
In Proc. of the 26th Static Analysis Symposium (<b>SAS 2019</b>), volume 11822 of LNCS, pages 296--319, Springer, Porto, Portugal, October 9-11, 2019.   [<a href="SAS19_a_NN.pdf">PDF</a>] </p>
</LI>
</UL>
<UL>
<LI>Shangwen Wang, Ming Wen, Liqian Chen, Xin Yi and Xiaoguang Mao.
<b>How Different Is It Between Machine-Generated and Developer-Provided Patches? An Empirical Study on The Correct Patches Generated by Automated Program Repair Techniques</b>.
In Proc. of the 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (<b>ESEM 2019</b>), Porto de Galinhas-PE, Brazil, September 19-20, 2019.   [<a href="ESEM19_empirical.pdf">PDF</a>] </p>
</LI>
</UL>
<UL>
<LI>Xin Yi, Liqian Chen, Xiaoguang Mao and Tao Ji.
<b>Efficient Automated Repair of High Floating-Point Errors in Numerical Libraries</b>.
In Proc. of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (<b>POPL 2019</b>), Proceedings of the ACM on Programming Languages (<b>PACMPL</b>),
Vol. 3, No. POPL, Article 56, 29 pages, Cascais, Lisbon, Portugal, January 13 - 19, 2019.   [<a href="POPL19_FPrepair.pdf">PDF</a>] [<a href="https://github.com/yixin-09/AutoRNP">TOOL:AutoRNP</a>]
</p>
</LI>
</UL>
<UL>
<LI>Jiangchao Liu, Liqian Chen and Xavier Rival.
<b>Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions</b>.
In Proc. of the 18th ACM SIGBED International Conference on Embedded Software (<b>EMSOFT 2018</b>), IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (<b>TCAD</b>) special issue, September 30 - October 5, 2018, Torino, Italy.   [<a href="EMSOFT18_TCAD_array.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Tao Ji, Jinkun Pan, Liqian Chen, Xiaoguang Mao.
<b>Identifying Supplementary Bug-fix Commits</b>.
In Proc. of the 42nd IEEE Computer Society International Conference on Computers, Software & Applications (<b>COMPSAC 2018</b>), IEEE Computer Society, Volume 1, pp. 184-193, July 23-27, 2018, Tokyo, Japan.   [<a href="COMPSAC18_commits.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Xin Yi, Liqian Chen, Xiaoguang Mao and Tao Ji.
<b>Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies</b>.
In Proc. of the 24th Asia-Pacific Software Engineering Conference (<b>APSEC 2017</b>), IEEE Computer Society, pp. 11-20, December 4-8, 2017, Nanjing, China. (<span style="color:red"><b>Best Paper Award</b></span>)   [<a href="APSEC17_triggering.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Xin Yi, Liqian Chen, Xiaoguang Mao and Tao Ji.
<b> Automated Repair of High Inaccuracies in Numerical Programs</b>.
In Proc. of the 33rd IEEE International Conference on Software Maintenance and Evolution (<b>ICSME 2017</b>), IEEE Computer Society, pp. 514-518, September 17-24, 2017, Shanghai, China.   [<a href="ICSME17_repair.pdf">PDF</a>]   [<a href="ICSME17_slides_yi.pdf">Slides</a>]
</p>
</LI>
</UL>
<UL>
<LI>Jiahong Jiang, Liqian Chen, Xueguang Wu and Ji Wang.
<b> Block-wise abstract interpretation by combining abstract domains with SMT </b>.
The 18th International Conference on Verification, Model Checking, and Abstract Interpretation (<b>VMCAI 2017</b>), volume 10145 of <em>LNCS</em>, pages 310-329, Springer, Paris, France, January 15-17, 2017.   [<a href="VMCAI17_blockAI.pdf">PDF</a>]   [<a href="VMCAI17_slides_jiang.pdf">Slides</a>]
</p>
</LI>
</UL>
<UL>
<LI>Xueguang Wu, Liqian Chen, <a href="https://www-apr.lip6.fr/~mine/">Antoine Miné</a>, Wei Dong and Ji Wang.
<b> Static Analysis of Run-Time Errors in Interrupt-Driven Programs via Sequentialization</b>.
ACM Transactions on Embedded Computing Systems (<b>TECS</b>) , Volume 15, Issue 4, Article No.70, pages 1-26, August 2016.   [<a href="TECS16_interrupt.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI>Tao Ji, Liqian Chen, Xiaoguang Mao and Xin Yi.
<b> Automated Program Repair by Using Similar Code Containing Fix Ingredients</b>.
In Proc. of the 40th IEEE Computer Society International Conference on Computers, Software & Applications (<b>COMPSAC 2016</b>), IEEE Computer Society, pp. 197-202, June 10-14, 2016, Atlanta, Georgia, USA.   [<a href="COMPSAC16_repair.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Xueguang Wu, Liqian Chen, <a href="https://www-apr.lip6.fr/~mine/">Antoine Miné</a>, Wei Dong and Ji Wang.
<b> Numerical Static Analysis of Interrupt-driven Programs via Sequentialization</b>.
In Proc. of the 15th ACM SIGBED International Conference on Embedded Software (<b>EMSOFT 2015</b>), ACM press, October 4-9, 2015, Amsterdam, The Netherlands. (<span style="color:red"><b>Best Paper Award Nomination</b></span>)   [<a href="EMSOFT15_interrupt.pdf">PDF</a>]   [<a href="EMSOFT15_slides_wu.pdf">Slides</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Liqian Chen, Jiangchao Liu, <a href="https://www-apr.lip6.fr/~mine/">Antoine Miné</a>, <a href="http://www.cs.unm.edu/~kapur">Deepak Kapur</a> and Ji Wang.
<b> An Abstract Domain to Infer Octagonal Constraints with Absolute Value</b>.
In Proc. of the 21st International Static Analysis Symposium (<b>SAS 2014</b>), volume 8723 of <em>LNCS</em>, pages 156-175, Springer, Munich, Germany, Setpember 11-13, 2014.   [<a href="SAS14_AVO.pdf">PDF</a>]   [<a href="SAS14_slides_chen.pdf">Slides</a>]
</p>
</LI>
</UL>
<UL>
<LI>Xueguang Wu, Liqian Chen and Ji Wang.
<b> An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters</b>.
In Proc. of the <a>5th International Workshop on Numerical and Symbolic Abstract Domains (<b>NSAD 2014</b>), volume 307 of <em>ENTCS</em>, pages 33-45, Munich, Germany, Setpember 10, 2014.   [<a href="NSAD14_PaRa.pdf">PDF</a>]   [<a href="NSAD14_slides_chen.pdf">Slides</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Liqian Chen, Renjian Li, Xueguang Wu and Ji Wang.
<b>Static Analysis of Lists by combining shape and numerical abstractions </b>.
Science of Computer Programming (2014), http://dx.doi.org/10.1016/j.scico.2014.06.004.   [<a href="SCP14.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Liqian Chen, Jiahong Jiang, Banghu Yin, Wei Dong and Ji Wang.
<b>Robustness Analysis of Floating-Point Programs by Self-Composition</b>.
Journal of Applied Mathematics, vol. 2014, Article ID 789213, 12 pages, 2014.   [<a href="JAM14_robust.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Ziying Dai, Xiaoguang Mao, Liqian Chen and Yan Lei.
<b>Automatic recovery from resource exhaustion exceptions by collecting leaked resources</b>. Journal of Zhejiang University - SCIENCE C (Computers & Electronics), 15(8): 622-635 (2014).   [<a href="JZUSC14_recovery.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Ziying Dai, Xiaoguang Mao, Liqian Chen, Yan Lei and Yi Zhang.
<b>Finding Related Events for Specification Mining</b>.
In Proc. of the 24th IEEE International Symposium on Software Reliability Engineering (<b>ISSRE 2013</b>)(Supplemental Proceedings), IEEE Computer Society, pp.1-2, Pasadena, CA, USA, November 4-7, 2013.   [<a href="ISSRE13_mining.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Ziying Dai, Xiaoguang Mao, Yan Lei, and Liqian Chen.
<b> Leveraging Specifications of Subcomponents to Mine Precise Specifications of Composite Components</b>.
In Proc. of the 20th Working Conference on Reverse Engineering (<b>WCRE 2013</b>), IEEE Computer Society, pp. 162-171, Koblenz, Germany, October 14-17, 2013.   [<a href="WCRE13_mining.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Xueguang Wu, Yanjun Wen, Liqian Chen, Wei Dong, Ji Wang.
<b>Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking</b>.
In Proc. of the 7th International Conference on Software Security and Reliability (<b>SERE 2013</b>) (Companion), IEEE Computer Society, pp. 204-210, Washington, D.C., USA, 18-20, June, 2013.   [<a href="SSCPS13_interrupt.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Liqian Chen, Renjian Li, Xueguang Wu and Ji Wang.
<b>Static Analysis of List-Manipulating Programs via Bit-Vectors and Numerical Abstractions</b>.
In Proc. of the 28th Symposium On Applied Computing (<b>SAC 2013</b>), pages 1204-1210, ACM, Coimbra, Portugal, March 18-22, 2013.   [<a href="SAC13_list.pdf">PDF</a>]   [<a href="SAC13_slides_chen.pdf">Slides</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Longming Dong, Ji Wang and Liqian Chen.
<b> Modular Heap Abstraction-based Memory Leak Detection for Heap-manipulating Programs</b>.
In Proc. of the 19th Asia-Pacific Software Engineering Conference (<b>APSEC 2012</b>), pages 20-29, IEEE, Hongkong, December 4-7, 2012.   [<a href="APSEC12_leak.pdf">PDF</a>]   [<a href="APSEC12_slides_chen.pdf">Slides</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Liqian Chen, <a href="https://www-apr.lip6.fr/~mine/">Antoine Miné</a>, Ji Wang and <a href="http://cs.nyu.edu/~pcousot/">Patrick Cousot</a>.
<b>Linear Absolute Value Relation Analysis</b>.
In Proc. of the 20th European Symposium on Programming(<b>ESOP 2011</b>),
volume 6602 of <em>LNCS</em>, pages 156-175, Springer, Saarbrucken, Germany, Mar 30-Apr 1, 2011.   [<a href="ESOP11_avi.pdf">PDF</a>]   [<a href="ESOP11_slides_chen.pdf">Slides</a>]
</p>
</LI>
</UL>
<UL>
<LI><p><a href="http://www2.in.tum.de/hp/Main?nid=130">Axel Simon</a> and Liqian Chen.
<b>Simple and Precise Widenings for H-Polyhedra</b>.
In Proc. of the 8th Asian Symposium on Programming Languages
and Systems (<b>APLAS 2010</b>),
volume 6461 of <em>LNCS</em>, pages 139-155, Springer, Shanghai, China, Nov 28-Dec 1, 2010.
  [<a href="APLAS10_widening.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Liqian Chen, <a href="https://www-apr.lip6.fr/~mine/">Antoine Miné</a>, Ji Wang and <a href="http://cs.nyu.edu/~pcousot/">Patrick Cousot</a>.
<b>An Abstract Domain to Discover Interval Linear Equalities</b>.
In Proc. of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation (<b>VMCAI 2010</b>),
volume 5944 of <em>LNCS</em>, pages 112-128, Springer, Madrid, Spain, Jan 17-19, 2010.
  [<a href="VMCAI10_itvLinEqs.pdf">PDF</a>]   [<a href="VMCAI10_slides_chen.pdf">Slides</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Liqian Chen, <a href="https://www-apr.lip6.fr/~mine/">Antoine Miné</a>, Ji Wang and <a href="http://cs.nyu.edu/~pcousot/">Patrick Cousot</a>. <b>Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships</b>.
In Proc. of the 16th International Static Analysis Symposium (<b>SAS 2009</b>),
volume 5673 of <em>LNCS</em>, pages 309-325, Springer, Los Angeles, CA, USA, Aug 9-11, 2009.
  [<a href="SAS09_itvPol.pdf">PDF</a>]
</p>
</LI>
</UL>
<UL>
<LI><p>Liqian Chen, <a href="https://www-apr.lip6.fr/~mine/">Antoine Miné</a> and <a href="http://cs.nyu.edu/~pcousot/">Patrick Cousot</a>. <b>A Sound Floating-Point Polyhedra Abstract Domain</b>.
In Proc. of the 6th Asian Symposium on Programming Languages and Systems (<b>APLAS 2008</b>),
volume 5356 of <em>LNCS</em>, pages 3-18, Springer, Bangalore, India, Dec 9-11, 2008.   [<a href="APLAS08_fppol.pdf">PDF</a>]
</p>
</LI>
</UL>
18/01/2025 06:11:33: delta titre foireuxLiqian Chen
Recherche META Description de la page
Recherche META Keywords de la page
UPDATE DOMAINES SET server='GitHub.com',redirection='',Status='200',err='',[TITRE]=N'Liqian Chen',[DESCRIPTION]=N'',[KEYWORDS]=N'' WHERE id=28135255
0 Liqian Chen
0. Liqian (6)--------->0
1. Chen (4)--------->0
INSERT INTO KEYWORDS (keyword,id_domaine) VALUES (N'Liqian',28135255),(N'Chen',28135255)