S
Seungjoon Park
Researcher at Stanford University
Publications - 11
Citations - 2087
Seungjoon Park is an academic researcher from Stanford University. The author has contributed to research in topics: Correctness & Model checking. The author has an hindex of 9, co-authored 11 publications receiving 2051 citations. Previous affiliations of Seungjoon Park include Ames Research Center & Research Institute for Advanced Computer Science.
Papers
More filters
Journal ArticleDOI
Model checking programs
TL;DR: A verification and testing environment for Java, called Java PathFinder (JPF), which integrates model checking, program analysis and testing, and uses state compression to handle big states and partial order and symmetry reduction, slicing, abstraction, and runtime analysis techniques to reduce the state space.
Book ChapterDOI
Experience with Predicate Abstraction
TL;DR: This reports some experiences with a recently-implemented prototype system for verification using predicate abstraction, based on the method of Graf and Saidi, applied successfully to two nontrivial examples: the Flash multiprocessor cache coherence protocol, and a concurrent garbage collection algorithm.
Proceedings ArticleDOI
Verification of FLASH cache coherence protocol by aggregation of distributed transactions
Seungjoon Park,David L. Dill +1 more
TL;DR: This paper presents a method to verify the correctness of protocols and distributed algorithms by comparing a state graph of the implementation with a specification which is a stategraph representing the desired abstract behavior.
Proceedings ArticleDOI
An executable specification, analyzer and verifier for RMO (relaxed memory order)
Seungjoon Park,David L. Dill +1 more
TL;DR: The justification that the memory model specz~ed by ordering rules and its operational description are equivalent is discussed and howsynchroniza tion routines can be verijied and how finite state programs can reanalyzed is described.