Chaoqiang Deng Room 401, 60 Fifth Avenue, New York, NY 10011, USA [email protected] • +1 (212) 998­3294 • http://cs.nyu.edu/∼deng EDUCATION New York University, New York, NY, USA Ph.D. Candidate in Computer Science Sep 2013 – Present • Advisor: Professor Patrick Cousot • Research areas: Abstract Interpretation, Static Analysis and Verification, Program Security • Currently working on “Responsibility Analysis by Abstract Interpretation” University of Science and Technology of China, Hefei, Anhui, China Master of Engineering in Computer Science Sep 2010 – Jun 2013 • Advisor: Professor Fanping Zeng • Research areas: Automated Test Case Generation, Program Invariant Detection • Thesis: Program Dynamic Likely Assertion Technique and Its Application in Software Quality Assurance Harbin Institute of Technology, Harbin, Heilongjiang, China Bachelor of Engineering in Software Engineering Sep 2006 – Jun 2010 • Graduated with University Honors WORK Bell Labs, Murray Hill, NJ, USA EXPERIENCE Research Intern, IP Platforms Group Jun 2015 – Aug 2015 & Jun 2016 – Aug 2016 • Mentor: Kedar Namjoshi • Project: “Compiler Security Verification” & “Network Transformation Verification” • Research areas: Compiler Optimization, Program Verification, Network Transformation Microsoft Research Asia, Beijing, China Research Intern, System Research Group Jan 2010 – May 2010 • Mentor: Zhenyu Guo • Project: “A Graph Processing System for Diagnosing Distributed Systems” • Research areas: Distributed System, Program Diagnosis PUBLICATIONS 9) C. Deng, P. Cousot, “Responsibility Analysis by Abstract Interpretation”, Accepted by the Static Analysis Symposium (SAS 2019). 8) C. Deng, K. S. Namjoshi, “Securing a Compiler Transformation”, Formal Methods in System Design (SAS 2016 Special Issue), pp. 166–188, Oct 2018. 7) C. Deng, K. S. Namjoshi, “Securing The SSA Transform”, in International Static Analysis Symposium (SAS), pp. 88–105, Springer Berlin Heidelberg, Aug 2017. 6) C. Deng, K. S. Namjoshi, “Witnessing Network Transformations”, in International Conference on Runtime Verification (RV), pp. 155–171, Springer International Publishing, Sep 2017. 5) C. Deng, K. S. Namjoshi, “Securing a Compiler Transformation”, in International Static Analysis Symposium (SAS), pp. 170–188, Springer Berlin Heidelberg, Sep 2016. 4) C. Deng, F. Zeng, H. Zhang, Z. Zhang and Q. Dong, “The Application of Assertion and Slicing in Detecting Non­crashing Errors”, Journal of Chinese Computer Systems, vol. 35, no. 8, pp. 1699–1704, Aug 2014. 3) C. Deng, F. Zeng, F. Wu and N. Xiong, “Research and Application of Automatic Conversion from Program Invariant to Assertion” Computer Applications and Software, vol. 29, no. 11, pp. 177–180, Nov 2012. 2) F. Zeng, C. Deng, and Y. Yuan, “Assertion­Directed Test Case Generation”, in Software Engineering (WCSE), 2012 Third World Congress on, pp. 41­45. IEEE, 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 Annual Technical Conference (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 Outstanding Graduate, Harbin Institute of Technology 2010 People’s Scholarship, Harbin Institute of Technology 2007 – 2009 National Encouragement Scholarship, Harbin Institute of Technology 2007 – 2008.