David Y. W. Park

According to our database, David Y. W. Park authored at least 5 papers between 1998 and 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2003

Uprooting Software Defects at the Source.

Seth Hallem, David Y. W. Park, Dawson R. Engler

ACM Queue, 2003

2002

CMC: A Pragmatic Approach to Model Checking Real Code.

Madanlal Musuvathi, David Y. W. Park, Andy Chou, Dawson R. Engler, David L. Dill

Proceedings of the 5th Symposium on Operating System Design and Implementation (OSDI 2002), 2002

2000

Java Model Checking.

David Y. W. Park, Ulrich Stern, Jens U. Skakkebæk, David L. Dill

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

1998

Static Analysis to Identify Invariants in RSML Specifications.

David Y. W. Park, Jens U. Skakkebæk, David L. Dill

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Checking properties of safety critical specifications using efficient decision procedures.

David Y. W. Park, Jens U. Skakkebæk, Mats Per Erik Heimdahl, Barbara J. Czerny, David L. Dill

Proceedings of the Second Workshop on Formal Methods in Software Practice, 1998