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,” in 17th International Conference on Runtime Verification (RV 2017), Seattle, USA, September 13 - 16, 2017. Extended Version and Slides.
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. Slides.
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. Slides