David Y. W. Park

	2003
5		Seth Hallem, David Y. W. Park, Dawson R. Engler: Uprooting Software Defects at the Source. ACM Queue 1(8): 64-71 (2003)
	2002
4		Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill: CMC: A Pragmatic Approach to Model Checking Real Code. OSDI 2002
	2000
3		David Y. W. Park, Ulrich Stern, Jens U. Skakkebæk, David L. Dill: Java Model Checking. ASE 2000: 253-256
	1998
2		David Y. W. Park, Jens U. Skakkebæk, Mats Per Erik Heimdahl, Barbara J. Czerny, David L. Dill: Checking properties of safety critical specifications using efficient decision procedures. FMSP 1998: 34-43
1		David Y. W. Park, Jens U. Skakkebæk, David L. Dill: Static Analysis to Identify Invariants in RSML Specifications. FTRTFT 1998: 133-142

Coauthor Index

1	Andy Chou	[4]
2	Barbara J. Czerny	[2]
3	David L. Dill	[1] [2] [3] [4]
4	Dawson R. Engler	[4] [5]
5	Seth Hallem	[5]
6	Mats Per Erik Heimdahl	[2]
7	Madanlal Musuvathi	[4]
8	Jens U. Skakkebæk	[1] [2] [3]
9	Ulrich Stern	[3]