( en | de | ru )

 

Disambiguation of "Bond, Michael D."

Author of the publication

copydeleteadd this publication to your clipboard
Laminar: practical fine-grained decentralized information flow control.

, , , , and . PLDI, page 63-74. ACM, (2009)

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.

Michael Harris Bond

Philip Bond

Niall Bond

Michael D Segeritz

Michael D Swartz

 

Other publications of authors with the same name

Dependence-aware, unbounded sound predictive race detection., , , and . Proc. ACM Program. Lang., 3 (OOPSLA): 179:1-179:30 (2019)Instrumentation bias for dynamic data race detection., , , and . Proc. ACM Program. Lang., 1 (OOPSLA): 69:1-69:31 (2017)High-coverage, Unbounded Sound Predictive Race Detection, , and . Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, page 374--389. ACM, (2018)Correcting the Dynamic Call Graph Using Control-Flow Constraints., , , and . CC, volume 4420 of Lecture Notes in Computer Science, page 80-95. Springer, (2007)Neat: Low-Complexity, Efficient On-Chip Cache Coherence., , , , and . CoRR, (2021)Hybridizing and Relaxing Dependence Tracking for Efficient Parallel Runtime Support., , , , and . ACM Trans. Parallel Comput., 4 (2): 9:1-9:42 (2017)Developer's Responsibility or Database's Responsibility? Rethinking Concurrency Control in Databases., , , , , and . CIDR, www.cidrdb.org, (2023)Finding heterogeneous-unsafe configuration parameters in cloud systems., , , and . EuroSys, page 410-425. ACM, (2021)Legato: end-to-end bounded region serializability using commodity hardware transactional memory., , , and . CGO, page 1-13. ACM, (2017)Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization., , , and . PPPJ, page 65-75. ACM, (2015)