Pinned Loading

1. PhD-Thesis PhD-Thesis Public

   PhD Thesis

2. HeteroGen HeteroGen Public

   We solve the two challenges architects face when designing heterogeneous processors with cache coherent shared memory. First, we develop an automated tool, called HeteroGen, for composing clusters …

   Python 16 3

3. HieraGen HieraGen Public

   We present HieraGen, a new tool for automatically generating hierarchical cache coherence protocols. HieraGen's inputs are the simple, atomic, stable state protocols for each level of the hierarchy…

   Python 2 1

4. ProtoGen ProtoGen Public

   Designing directory cache coherence protocols is complicated because coherence transactions are not atomic in modern multicore processors. A coherence transaction comprises multiple messages, and t…

   Python 16 2

5. Dve_Protocol_Model_Check Dve_Protocol_Model_Check Public

   ProtoGen pcc protocol implementations of Dvé: Coherent Replication Protocol

   Objective-C 1

6. Linearization-Protocol Linearization-Protocol Public

   Verification of the Linearization Protocol proposed in: Scale-out CcNUMA: Exploiting Skew with Strongly Consistent Caching

   C++ 2