Checking Pedigree Consistency with PCS
No abstract available.
Related papers
- Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs CAV 1999
- Deterministic parallel random-number generation for dynamic-multithreading platforms PPoPP 2012
- The role of commutativity in constraint propagation algorithms TOPLAS 2000
- pC++/streams: a Library for I/O on Complex Distributed Data Structures PPoPP 1995
- Detecting and Eliminating Potential Violations of Sequential Consistency for Concurrent C/C++ Programs CGO 2009
- Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency ECOOP 2024
- Programming the cloud PPoPP 2011
- Specifying Representations of Machine Instructions TOPLAS 1997