E-mail: liqianchen AT gmail.com
NSAD 2016: The 6th International Workshop on Numerical and Symbolic Abstract Domains, Edinburgh, Scotland, September 11, 2016. Program committee member.
SAS 2015: The 22nd International Static Analysis Symposium, Saint-Malo, France, Setpember 9-11, 2015. Program committee member.
(Abstract submission deadline: March 9th, 2015)
HASE 2015: The 16th IEEE International Symposium on High Assurance Systems Engineering, Daytona Beach, Florida, USA, January 8-10, 2015. Program committee member.
NSAD 2014: The 5th International Workshop on Numerical and Symbolic Abstract Domains, Munich, Germany, September 10, 2014. Program committee member.
TASE 2014: The 8th International Symposium on Theoretical Aspects of Software Engineering, Changsha, China, September 1-3, 2014. Organizing committee member.
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 Candidate)   [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]