Author of the publication

Towards the Synthesis of Coherence/Replication Protocols from Consistency Models via Real-Time Orderings.

, , and . PaPoC@EuroSys, page 5:1-5:10. ACM, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

High-throughput VLSI implementations of iterative decoders and related code construction problems., , , and . GLOBECOM, page 361-365. IEEE, (2004)Solving the task variant allocation problem in distributed robotics., , , , , , and . Auton. Robots, 42 (7): 1477-1495 (2018)Āpta: Fault-tolerant object-granular CXL disaggregated memory for accelerating FaaS., , , and . DSN, page 201-215. IEEE, (2023)HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols., , , , , and . HPCA, page 756-771. IEEE, (2022)Dvé: Improving DRAM Reliability and Performance On-Demand via Coherent Replication., , , and . ISCA, page 526-539. IEEE, (2021)Efficient sequential consistency via conflict ordering., , , and . ASPLOS, page 273-286. ACM, (2012)Fence placement for legacy data-race-free programs via synchronization read detection., , , and . PPoPP, page 249-250. ACM, (2015)Avocado: A Secure In-Memory Distributed Storage System., , , , , and . USENIX ATC, page 65-79. USENIX Association, (2021)ProtoGen: Automatically Generating Directory Cache Coherence Protocols from Atomic Specifications., , and . ISCA, page 247-260. IEEE Computer Society, (2018)Efficient sequential consistency using conditional fences., , and . PACT, page 295-306. ACM, (2010)