David Y. W. Park

Publication Activity (10 Years)

Years Active: 1998-2003
Publications (10 Years): 0

Publications

Seth Hallem, David Y. W. Park, Dawson R. Engler
Uprooting Software Defects at the Source. ACM Queue 1 (8) (2003)
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)
David Y. W. Park, Ulrich Stern, Jens U. Skakkebæk, David L. Dill
Java Model Checking. ASE (2000)
David Y. W. Park, Jens U. Skakkebæk, David L. Dill
Static Analysis to Identify Invariants in RSML Specifications. FTRTFT (1998)
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)