( en | de | ru )

 

Disambiguation of "Sharma, Subodh"

Author of the publication

copydeleteadd this publication to your clipboard
Dynamic Verification of C11 Concurrency over Multi Copy Atomics.

, , and . TASE, page 39-46. IEEE, (2021)

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.

Subodh Mitra

Anuradha Sharma

Tripti Sharma

Krishna Sharma

Rahul Sharma

 

Other publications of authors with the same name

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs., , , and . FM, volume 8442 of Lecture Notes in Computer Science, page 263-278. Springer, (2014)PACKUARIUM: Network Packet Visualization Using Mixed Reality for Detecting Bot IoT Device of DDoS Attack., , , and . EIDWT, volume 47 of Lecture Notes on Data Engineering and Communications Technologies, page 361-372. Springer, (2020)Dynamic Verification with Observational Equivalence of C/C++ Concurrency., , and . CoRR, (2019)Exploiting Epochs and Symmetries in Analysing MPI Programs., , and . ASE, page 42:1-42:12. ACM, (2022)Verifying Exception-Handling Code in Concurrent Libraries., , and . APSEC, page 405-414. IEEE, (2023)A universally verifiable, software independent, bare-handed voting protocol., , , and . CoRR, (2019)An operational architecture for privacy-by-design in public service applications., , , , and . CoRR, (2020)Symbolic Security Verification of Mesh Commissioning Protocol in Thread (extended version)., , and . CoRR, (2023)Predictive Analysis of Message Passing Applications.. University of Utah, USA, (2013)Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks., , and . ICST, page 1-12. IEEE, (2021)