Author of the publication

Hybridizing and Relaxing Dependence Tracking for Efficient Parallel Runtime Support.

, , , , and . ACM Trans. Parallel Comput., 4 (2): 9:1-9:42 (2017)

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

OCTET: capturing and controlling cross-thread dependences efficiently., , , , , , , and . OOPSLA, page 693-712. ACM, (2013)DoubleChecker: efficient sound and precise atomicity checking., , , and . PLDI, page 28-39. ACM, (2014)Drinking from both glasses: combining pessimistic and optimistic tracking of cross-thread dependences., , , and . PPoPP, page 20:1-20:13. ACM, (2016)Prescient memory: exposing weak memory model behavior by looking into the future., , , and . ISMM, page 99-110. ACM, (2016)Transactuations: Where Transactions Meet the Physical World., , , and . USENIX ATC, page 91-106. USENIX Association, (2019)Input splitting for cloud-based static application security testing platforms., , , , , , , , , and . ESEC/SIGSOFT FSE, page 1367-1378. ACM, (2022)Hybridizing and Relaxing Dependence Tracking for Efficient Parallel Runtime Support., , , , and . ACM Trans. Parallel Comput., 4 (2): 9:1-9:42 (2017)Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization., , , and . PPPJ, page 65-75. ACM, (2015)Legato: end-to-end bounded region serializability using commodity hardware transactional memory., , , and . CGO, page 1-13. ACM, (2017)Efficient support for strong semantics in transactional and non-transactional programs.. SPLASH (Companion Volume), page 67-68. ACM, (2015)