Author of the publication

DRFx: An Understandable, High Performance, and Flexible Memory Model for Concurrent Languages.

, , , , and . ACM Trans. Program. Lang. Syst., 38 (4): 16 (2016)

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

The Silently Shifting Semicolon., , , , and . SNAPL, volume 32 of LIPIcs, page 177-189. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2015)A Safety-First Approach to Memory Models., , , , and . IEEE Micro, 33 (3): 96-104 (2013)zFENCE: Data-less Coherence for Efficient Fences., , and . ICS, page 295-305. ACM, (2015)End-to-end sequential consistency., , , , and . ISCA, page 524-535. IEEE Computer Society, (2012)DRFx: An Understandable, High Performance, and Flexible Memory Model for Concurrent Languages., , , , and . ACM Trans. Program. Lang. Syst., 38 (4): 16 (2016)Assessing transition-based test selection algorithms at Google., , , , and . ICSE (SEIP), page 101-110. IEEE / ACM, (2019)DRFX: a simple and efficient memory model for concurrent programming languages., , , , and . PLDI, page 351-362. ACM, (2010)A case for an SC-preserving compiler., , , , and . PLDI, page 199-210. ACM, (2011)Efficiently enforcing strong memory ordering in GPUs., , and . MICRO, page 699-712. ACM, (2015)Efficient processor support for DRFx, a memory model with exceptions., , , , and . ASPLOS, page 53-66. ACM, (2011)