( en | de | ru )

 

Disambiguation of "Sharma, Subodh"

Author of the publication

copydeleteadd this publication to your clipboard
POLLUX: safely upgrading dependent application libraries.

, , , , , and . SIGSOFT FSE, page 290-300. ACM, (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.

Subodh Mitra

Krishna Sharma

Shatrughan Sharma

Rahul Sharma

Monica Sharma

 

Other publications of authors with the same name

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)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)Verifying Exception-Handling Code in Concurrent Libraries., , and . APSEC, page 405-414. IEEE, (2023)Synthesizing Multi-threaded Tests from Sequential Traces to Detect Communication Deadlocks., , and . ICST, page 1-12. IEEE, (2021)ZEUS: Analyzing Safety of Smart Contracts., , , and . NDSS, The Internet Society, (2018)POLLUX: safely upgrading dependent application libraries., , , , , and . SIGSOFT FSE, page 290-300. ACM, (2016)Predictive Analysis of Message Passing Applications.. University of Utah, USA, (2013)Dynamic Verification of C11 Concurrency over Multi Copy Atomics., , and . TASE, page 39-46. IEEE, (2021)