I am a Ph.D. candidate in Computer Science Department at New York University. My advisor is Prof. Patrick Cousot. I am interested in program analysis and verification, abstract interpretation and program security.

Education

New York University       Sep 2013 – Present
Ph.D. Candidate in Computer Science
Advisor: Professor Patrick Cousot
Research areas: Abstract Interpretation, Program Analysis and Verification, Security
Currently working on “Program Securization by Responsibility Analysis”
University of Science and Technology of China       Sep 2010 – Jun 2013
Master of Engineering in Computer Science
Advisor: Professor Fanping Zeng
Research areas: Automated Test Case Generation, Program Invariant
Thesis: Program Dynamic Likely Assertion Technique and Its Application in Software Quality Assurance
Harbin Institute of Technology       Sep 2006 – Jun 2010
Bachelor of Engineering in Software Engineering
Graduated with University Honors

Research Experience

Bell Labs       Jun 2016 – Aug 2016
Research Intern, IP Platforms Program
Mentor
: Dr. Kedar Namjoshi
Project: Verifying Network Transformations
Research areas: Network Models, Network Transformation, Verification
Bell Labs       Jun 2015 – Aug 2015
Research Intern, IP Platforms Program
Mentor
: Dr. Kedar Namjoshi
Project: The Correctness and Security of Program Transformations
Research areas: Compiler Optimization, Security, Program Verification, Static Analysis
Microsoft Research Asia       Jan 2010 – May 2010
Research Intern, System Research Group
Mentor: Zhenyu Guo
Project: A Graph Processing System for Diagnosing Distributed Systems
Research areas: Distributed System, Program Diagnosis

Recent Publication

C. Deng, K. S. Namjoshi, “Witnessing Network Transformations,” Accepted by 17th International Conference on Runtime Verification (RV 2017).
C. Deng, K. S. Namjoshi, “Securing The SSA Transform,” in 24th International Static Analysis Symposium (SAS 2017), New York City, USA, August 30 - September 1, 2017.
C. Deng, K. S. Namjoshi, “Securing a Compiler Transformation,” Selected to Be Published in SAS 2016 Special Issue of Formal Methods in System Design.
C. Deng, K. S. Namjoshi, “Securing a Compiler Transformation,” in 23rd International Static Analysis Symposium (SAS 2016), Edinburgh, UK, September 8 - 10, 2016.