Sciweavers

Share
SAS
2015
Springer

A Binary Decision Tree Abstract Domain Functor

4 years 2 months ago
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
Junjie Chen, Patrick Cousot
Added 17 Apr 2016
Updated 17 Apr 2016
Type Journal
Year 2015
Where SAS
Authors Junjie Chen, Patrick Cousot
Comments (0)
books