Skip to content

Rafael Lourenco de Lima Chehab

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

2

Venues

2

Active years

2021–2021

Best venue rank

A*

Where they publish

Papers

2 indexed papers, newest first.

YearVenueTitleAuthors
2021ASPLOSVSync: push-button verification and optimization for synchronization primitives on weak memory models.Jonas Oberhauser, Rafael Lourenco de Lima Chehab, Diogo Behrens, Ming Fu, Antonio Paolillo, Lilith Oberhauser, Koustubha Bhat, Yuzhong Wen, Haibo Chen, Jaeho Kim, Viktor Vafeiadis
2021SOSPCLoF: A Compositional Lock Framework for Multi-level NUMA Systems.Rafael Lourenco de Lima Chehab, Antonio Paolillo, Diogo Behrens, Ming Fu, Hermann Hrtig, Haibo Chen