PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Gopalakrishnan, Ganesh"

Author of the publication

copydeleteadd this publication to your clipboard
Towards providing low-overhead data race detection for large OpenMP applications.

, , , , , , , , and . LLVM@SC, page 40-47. IEEE Computer Society, (2014)

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.

Ganesh Deepak Rupakula University of Stuttgart

 

Other publications of authors with the same name

towards A formal Model of Shared Memory Consistency for Intel ItaniumTM., and . ICCD, page 515-518. IEEE Computer Society, (2001)Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models., , , and . IPDPS, IEEE Computer Society, (2004)Asynchronous Microengines for Efficient High-level Control., and . ARVLSI, page 201-218. IEEE Computer Society, (1997)Hierarchical cache coherence protocol verification one level at a time through assume guarantee., , , , and . HLDVT, page 107-114. IEEE Computer Society, (2007)A correctness criterion for asynchronous circuit validation and optimization., , , and . IEEE Trans. on CAD of Integrated Circuits and Systems, 13 (11): 1309-1318 (1994)Synthesizing Synchronous Digital VLSI Controllers Using Petri Nets.. PNPM, page 94-103. IEEE Computer Society, (1987)Towards Resiliency Evaluation of Vector Programs., , and . IPDPS Workshops, page 1319-1328. IEEE Computer Society, (2016)Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification., , and . CHARME, volume 3725 of Lecture Notes in Computer Science, page 317-331. Springer, (2005)An Operational Semantic Basis for Building an OpenMP Data Race Checker., and . IPDPS Workshops, page 395-404. IEEE Computer Society, (2018)Verification Methods for Weaker Shared Memory Consistency Models., and . IPDPS Workshops, volume 1800 of Lecture Notes in Computer Science, page 985-992. Springer, (2000)