E-mail: lqchen AT nudt.edu.cn
SETTA 2024: The 10th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2024), Hong Kong, China, Nov. 26-28, 2024. Program Co-chair.
SAS 2024/SAS 2023/SAS 2022/2018/2017/2015  TASE 2024/TASE 2023/2022/2021/2019  SETTA 2023/SETTA 2022/2021  Internetware 2022/2020  NSAD 2020/2016/2014  FM 2024 Embedded Systems Track  APSEC 2024 ERA Track.  Program/ArtifactEvaluation committee member.
Apron: a library for Numerical Abstract Domains.
AutoRNP: a dynamic analysis tool for automatically detecting and repairing high floating-point errors in numerical programs.
Xueguang Wu, Liqian Chen, Antoine Miné, Wei Dong and Ji Wang. Numerical Static Analysis of Interrupt-driven Programs via Sequentialization. In Proc. of the 15th ACM SIGBED International Conference on Embedded Software (EMSOFT 2015), ACM press, October 4-9, 2015, Amsterdam, The Netherlands. (Best Paper Award Nomination)   [PDF]   [Slides]
Liqian Chen, Jiangchao Liu, Antoine Miné, Deepak Kapur and Ji Wang. An Abstract Domain to Infer Octagonal Constraints with Absolute Value. In Proc. of the 21st International Static Analysis Symposium (SAS 2014), volume 8723 of LNCS, pages 156-175, Springer, Munich, Germany, Setpember 11-13, 2014.   [PDF]   [Slides]
Liqian Chen, Renjian Li, Xueguang Wu and Ji Wang. Static Analysis of Lists by combining shape and numerical abstractions . Science of Computer Programming (2014), http://dx.doi.org/10.1016/j.scico.2014.06.004.   [PDF]
Liqian Chen, Jiahong Jiang, Banghu Yin, Wei Dong and Ji Wang. Robustness Analysis of Floating-Point Programs by Self-Composition. Journal of Applied Mathematics, vol. 2014, Article ID 789213, 12 pages, 2014.   [PDF]
Ziying Dai, Xiaoguang Mao, Liqian Chen and Yan Lei. Automatic recovery from resource exhaustion exceptions by collecting leaked resources. Journal of Zhejiang University - SCIENCE C (Computers & Electronics), 15(8): 622-635 (2014).   [PDF]
Ziying Dai, Xiaoguang Mao, Liqian Chen, Yan Lei and Yi Zhang. Finding Related Events for Specification Mining. In Proc. of the 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013)(Supplemental Proceedings), IEEE Computer Society, pp.1-2, Pasadena, CA, USA, November 4-7, 2013.   [PDF]
Ziying Dai, Xiaoguang Mao, Yan Lei, and Liqian Chen. Leveraging Specifications of Subcomponents to Mine Precise Specifications of Composite Components. In Proc. of the 20th Working Conference on Reverse Engineering (WCRE 2013), IEEE Computer Society, pp. 162-171, Koblenz, Germany, October 14-17, 2013.   [PDF]
Xueguang Wu, Yanjun Wen, Liqian Chen, Wei Dong, Ji Wang. Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking. In Proc. of the 7th International Conference on Software Security and Reliability (SERE 2013) (Companion), IEEE Computer Society, pp. 204-210, Washington, D.C., USA, 18-20, June, 2013.   [PDF]
Liqian Chen, Renjian Li, Xueguang Wu and Ji Wang. Static Analysis of List-Manipulating Programs via Bit-Vectors and Numerical Abstractions. In Proc. of the 28th Symposium On Applied Computing (SAC 2013), pages 1204-1210, ACM, Coimbra, Portugal, March 18-22, 2013.   [PDF]   [Slides]
Longming Dong, Ji Wang and Liqian Chen. Modular Heap Abstraction-based Memory Leak Detection for Heap-manipulating Programs. In Proc. of the 19th Asia-Pacific Software Engineering Conference (APSEC 2012), pages 20-29, IEEE, Hongkong, December 4-7, 2012.   [PDF]   [Slides]
Liqian Chen, Antoine Miné, Ji Wang and Patrick Cousot. Linear Absolute Value Relation Analysis. In Proc. of the 20th European Symposium on Programming(ESOP 2011), volume 6602 of LNCS, pages 156-175, Springer, Saarbrucken, Germany, Mar 30-Apr 1, 2011.   [PDF]   [Slides]
Axel Simon and Liqian Chen. Simple and Precise Widenings for H-Polyhedra. In Proc. of the 8th Asian Symposium on Programming Languages and Systems (APLAS 2010), volume 6461 of LNCS, pages 139-155, Springer, Shanghai, China, Nov 28-Dec 1, 2010.   [PDF]
Liqian Chen, Antoine Miné, Ji Wang and Patrick Cousot. An Abstract Domain to Discover Interval Linear Equalities. In Proc. of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2010), volume 5944 of LNCS, pages 112-128, Springer, Madrid, Spain, Jan 17-19, 2010.   [PDF]   [Slides]
Liqian Chen, Antoine Miné, Ji Wang and Patrick Cousot. Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. In Proc. of the 16th International Static Analysis Symposium (SAS 2009), volume 5673 of LNCS, pages 309-325, Springer, Los Angeles, CA, USA, Aug 9-11, 2009.   [PDF]
Liqian Chen, Antoine Miné and Patrick Cousot. A Sound Floating-Point Polyhedra Abstract Domain. In Proc. of the 6th Asian Symposium on Programming Languages and Systems (APLAS 2008), volume 5356 of LNCS, pages 3-18, Springer, Bangalore, India, Dec 9-11, 2008.   [PDF]