Cristina David

	2011
11		Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin: Structured Specifications for Better Verification of Heap-Manipulating Programs. FM 2011: 386-401
10		Cristina David, Wei-Ngan Chin: Immutable specifications for more concise and precise verification. OOPSLA 2011: 359-374
9		Wei-Ngan Chin, Cristina David, Cristian Gherghina: A HIP and SLEEK verification system. OOPSLA Companion 2011: 9-10
	2010
8		Soonho Kong, Yungbum Jung, Cristina David, Bow-Yaw Wang, Kwangkeun Yi: Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates. APLAS 2010: 328-343
7		Cristian Gherghina, Cristina David: A Specification Logic for Exceptions and Beyond. ATVA 2010: 173-187
	2009
6		Cristina David, Cristian Gherghina, Wei-Ngan Chin: Translation and optimization for a core calculus with exceptions. PEPM 2009: 41-50
5		Cristian Gherghina, Cristina David: Automated Verification Using Unified Control Flows. TASE 2009: 323-324
	2008
4		Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin: Enhancing modular OO verification with separation logic. POPL 2008: 87-99
	2007
3		Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin: Multiple Pre/Post Specifications for Heap-Manipulating Methods. HASE 2007: 357-364
2		Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin: Automated Verification of Shape, Size and Bag Properties. ICECCS 2007: 307-320
1		Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin: Automated Verification of Shape and Size Properties Via Separation Logic. VMCAI 2007: 251-266

Coauthor Index

1	Wei-Ngan Chin	[1] [2] [3] [4] [6] [9] [10] [11]
2	Cristian Gherghina	[5] [6] [7] [9] [11]
3	Yungbum Jung	[8]
4	Soonho Kong	[8]
5	Huu Hai Nguyen	[1] [2] [3] [4]
6	Shengchao Qin	[1] [2] [3] [4] [11]
7	Bow-Yaw Wang	[8]
8	Kwangkeun Yi	[8]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page