I am a Ph.D. candidate in Computer Science Department (Courant Institute of Mathematical Sciences) at New York University. My advisor is Prof. Patrick Cousot. My research interests include program analysis and verification, abstract interpretation and program security.

Currently, I am looking for a full-time position in the industry.


New York University       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       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 Application in Software Quality Assurance
Harbin Institute of Technology       Sep 2006 – Jun 2010
Bachelor of Engineering in Software Engineering
Graduated with University Honors

Work Experience

Research Intern, Bell Labs, Murray Hill, NJ, USA       Jun 2016 – Aug 2016
Mentor: Kedar Namjoshi
Project: Run­time Certification of Network Transformations in NOS by Witnessing
Research areas: Network Models, Network Transformation, Verification
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 areas: Compiler Optimization, Security, Program Verification, Static Analysis
Research Intern, Microsoft Research Asia, Beijing, China        Jan 2010 – May 2010
Mentor: Zhenyu Guo
Project: Run­time Diagnosing Distributed Systems by a Graph Processing System
Research areas: Distributed System, Program Diagnosis

Recent Publications

C. Deng, P. Cousot, “Responsibility Analysis by Abstract Interpretation,” to be appeared in 26th International Static Analysis Symposium (SAS 2019), Porto, Portugal, October 8 - 11, 2019.
C. Deng, K. S. Namjoshi, “Securing a Compiler Transformation,” in Formal Methods in System Design (SAS 2016 Special Issue), October, 2018.
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,” in 23rd International Static Analysis Symposium (SAS 2016), Edinburgh, UK, September 8 - 10, 2016. Slides