Rafael Lourenco de Lima Chehab

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 4

Top Topics

Visual Patterns

Optimization Criteria

Response Surface

Technical Report

Top Venues

Publications

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
VSync: Push-Button Verification and Optimization for Synchronization Primitives on Weak Memory Models (Technical Report). CoRR (2021)
Rafael Lourenco de Lima Chehab, Antonio Paolillo, Diogo Behrens, Ming Fu, Hermann Härtig, Haibo Chen
CLoF: A Compositional Lock Framework for Multi-level NUMA Systems. SOSP (2021)
Antonio Paolillo, Diogo Behrens, Rafael Lourenco de Lima Chehab, Ming Fu
Verifying and Optimizing Compact NUMA-Aware Locks on Weak Memory Models. CoRR (2021)
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
VSync: push-button verification and optimization for synchronization primitives on weak memory models. ASPLOS (2021)