Chaoqiang Deng Room 401, 60 Fifth Avenue, New York, NY 10011, USA [email protected] • +1 (917) 8349871 • http://cs.nyu.edu/∼deng
EDUCATION New York University, New York, NY, USA Sep 2013 – Present Ph.D. Candidate in Computer Science • Advisor: Prof. Patrick Cousot • Research areas: Abstract Interpretation, Static Analysis and Verification, Formal Methods, Program Security • Ph.D thesis: Responsibility Analysis by Abstract Interpretation University of Science and Technology of China, Hefei, Anhui, China Sep 2010 – Jun 2013 Master of Engineering in Computer Science • Advisor: Prof. Fanping Zeng • Research areas: Automated Test Case Generation, Program Invariant Detection, Program Slicing • Thesis: Program Dynamic Likely Assertion Technique and Its Applications in Software Quality Assurance Harbin Institute of Technology, Harbin, Heilongjiang, China Sep 2006 – Jun 2010 Bachelor of Engineering in Software Engineering • Graduated with University Honors
WORK Research Intern, Bell Labs, Murray Hill, NJ, USA Jun 2016 – Aug 2016 EXPERIENCE • Mentor: Kedar Namjoshi • Project: Runtime Certification of Network Transformations in NOS by Witnessing Research Intern, Bell Labs, Murray Hill, NJ, USA Jun 2015 – Aug 2015 • Mentor: Kedar Namjoshi • Project: Static Analysis and Verification of the Security in Compiler Transformations Research Intern, Microsoft Research Asia, Beijing, China Jan 2010 – May 2010 • Mentor: Zhenyu Guo • Project: Runtime Diagnosing Distributed Systems by a Graph Processing System
PUBLICATIONS 11) C. Deng, P. Cousot, “The Systematic Design of Responsibility Analysis by Abstract & PATENTS Interpretation”, to be submitted. 10) C. Deng, P. Cousot, “Responsibility Analysis by Abstract Interpretation”, in International Static Analysis Symposium (SAS), pp. 368–388, Springer, Oct 2019. 9) C. Deng, K. S. Namjoshi, “Securing a Compiler Transformation”, Formal Methods in System Design (SAS 2016 Special Issue), pp. 166–188, Oct 2018. 8) K. S. Namjoshi, C. Deng, “Validating Routing Decisions”, U.S. Patent Application Publication No. US 2018/0324093 A1, Nov 2018. 7) C. Deng, K. S. Namjoshi, “Securing the SSA Transform”, in International Static Analysis Symposium (SAS), pp. 88–105, Springer, Aug 2017. 6) C. Deng, K. S. Namjoshi, “Witnessing Network Transformations”, in International Conference on Runtime Verification (RV), pp. 155–171, Springer, Sep 2017. 5) C. Deng, K. S. Namjoshi, “Securing a Compiler Transformation”, in International Static Analysis Symposium (SAS), pp. 170–188, Springer, Sep 2016. 4) C. Deng, F. Zeng, H. Zhang, Z. Zhang and Q. Dong, “The Application of Assertion and Slicing in Detecting Noncrashing Errors”, Journal of Chinese Computer Systems, vol. 35, Aug 2014. 3) C. Deng, F. Zeng, F. Wu and N. Xiong, “The Application of Automatic Conversion from Program Invariant to Assertion”, Computer Applications and Software, vol. 29, Nov 2012. 2) F. Zeng, C. Deng, and Y. Yuan, “AssertionDirected Test Case Generation”, in Third World Congress on Software Engineering (WCSE), pp. 4145, 2012. 1) Z. Guo, Z. Dong, H. Lin, M. Yang, F. Long, C. Deng, C. Liu and L. Zhou, “G2: A Graph Processing System for Diagnosing Distributed Systems”, in USENIX ATC, 2011.
ACADEMIC Henry M. MacCracken Fellowship, New York University 2013 – 2014 HONORS Outstanding Freshmen Scholarship, University of Science and Technology of China 2010 & AWARDS People’s Scholarship, Harbin Institute of Technology 2007 – 2009 National Encouragement Scholarship, Harbin Institute of Technology 2007 – 2008
SKILLS Programming Languages: Java, OCaml, C, C++, C#, SQL