Skip to main navigation
Skip to search
Skip to main content
Princeton University Home
Help & FAQ
Home
Profiles
Research units
Facilities
Projects
Research output
Press/Media
Search by expertise, name or affiliation
Peephole partial order reduction
Chao Wang
, Zijiang Yang
, Vineet Kahlon
,
Aarti Gupta
Computer Science
Research output
:
Chapter in Book/Report/Conference proceeding
›
Conference contribution
61
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Peephole partial order reduction'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Partial Order Reduction
100%
Model Checking
50%
Execution Path
50%
concurrent software
50%
Keyphrases
Persistent Sets
66%
Set-based Methods
33%
Explicit State
33%