A Binary Decision Tree Abstract Domain Functor

itle: SMT-Based and Disjunctive Relational Abstract Domains for Static Analysis GPA: 3.971 (4.0 scale) Tsinghua University Beijing, China M.E. in Software Engineering September 2005 - July 2009 Advisor: Professor Guiming Luo Thesis title: PLC Model Checking GPA: 83.81 (100 scale) Nanjing University of Posts and Telecommunications Nanjing, Jiangsu, China B.E. in Computer Science September 2001 - July 2005 GPA: 87.97 (100 scale) Nanjing No. 29 High School Nanjing, Jiangsu, China September 1998 - July 2001 IONS [1] Junjie Chen and Patrick Cousot. A Binary Decision Tree Abstract Domain Functor. In Proceedings of the 22nd International Symposium on Static Analysis, Sandrine Blazy and Thomas Jensen (Eds), Saint Malo, France, September 9-11, 2015. LNCS 9291, pp. 36-53, Springer, 2015. [2] Junjie Chen. SMT-Based and Disjunctive Relational Abstract Domains for Static Analysis. Ph.D Thesis, New York University, May 2015. 1 of 4 

• Type: Journal
• Year: 2015
• Where: SAS
• Authors: Junjie Chen, Patrick Cousot
• Keywords: Formal Methods, SAS 2015