( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Effective race detection for event-driven programs.

, , и . OOPSLA, стр. 151-166. ACM, (2013)

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.

Sridharan Balakrishna

Ramesh Sridharan

Aswinkumar Sridharan

Hrissula Manu

Manu Venugopal

 

Другие публикации лиц с тем же именем

Demanded Abstract Interpretation (Extended Version)., , и . CoRR, (2021)In defense of soundiness: a manifesto., , , , , , , , , и . Commun. ACM, 58 (2): 44-46 (2015)Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Extended Version)., , , и . CoRR, (2022)Refactoring Java programs for flexible locking., , , и . ICSE, стр. 71-80. ACM, (2011)Inference of Resource Management Specifications., , , , , , , и . Proc. ACM Program. Lang., 7 (OOPSLA2): 1705-1728 (октября 2023)Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Artifact)., , , и . Dagstuhl Artifacts Ser., 8 (2): 07:1-07:5 (2022)The Flow-Insensitive Precision of Andersen's Analysis in Practice., , , и . SAS, том 6887 из Lecture Notes in Computer Science, стр. 60-76. Springer, (2011)Automatic Inference of Resource Leak Specifications., , , , , , , и . CoRR, (2023)I¿¿¿: a calculus for internet of things automation., , , , и . Onward!, стр. 119-133. ACM, (2017)Effective race detection for event-driven programs., , и . OOPSLA, стр. 151-166. ACM, (2013)