[Session 3] Insights from *Gen: Correct-by-construction Coherence Protocols

[zsisco]

Authors: Vijay Nagarajan (University of Edinburgh); Dan Sorin (Duke University); Nicolai Oswald (University of Edinburgh/NVIDIA)

[vijay-nagarajan]

Hello,

Relevant links

• HeteroGen paper Code
• HieraGen paper Code
• ProtoGen paper Code