Ph.D. Student

School of Computing

National University of Singapore

Email:   cristina at comp.nus.edu.sg

Laboratory:   S15-06-17 (Programming Languages and Systems Lab)

Translation and Optimization for a Core Calculus with Exceptions, Cristina David, Cristian Gherghina, Wei-Ngan Chin PEPM’09, Savannah, USA, January 2009. [pdf]

Enhancing Modular OO Verification with Separation Logic, Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin, 35th Annual Symposium on Principles of Programming Languages (POPL’08), San Francisco, USA, January 2008. [pdf]

Multiple Pre/Post Specifications for Heap-Manipulating Methods, Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin, 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), Dallas, Texas, November 2007. [pdf]

Automated Verification of Shape, Size and Bag Properties, Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin, 12th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'07), Auckland, New Zealand, July 2007. [pdf]

Automated Verification of Shape and Size Properties via Separation Logic, Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin, Eighth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007), Nice, France, January 2007. [pdf]