( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Fluxo: a system for internet service programming by non-expert developers.

, , , и . SoCC, стр. 107-118. ACM, (2010)

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.

No persons found for author name Musuvathi, Madanlal
add a person with the name Musuvathi, Madanlal
 

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

CHET: Compiler and Runtime for Homomorphic Evaluation of Tensor Programs., , , , , , , и . CoRR, (2018)Preemption Sealing for Efficient Concurrency Testing., , , , и . TACAS, том 6015 из Lecture Notes in Computer Science, стр. 420-434. Springer, (2010)Zap: Automated Theorem Proving for Software Analysis., , и . LPAR, том 3835 из Lecture Notes in Computer Science, стр. 2-22. Springer, (2005)Show No Weakness: Sequentially Consistent Specifications of TSO Libraries., , и . DISC, том 7611 из Lecture Notes in Computer Science, стр. 31-45. Springer, (2012)CHET: an optimizing compiler for fully-homomorphic neural-network inferencing., , , , , , , и . PLDI, стр. 142-156. ACM, (2019)Effective Data-Race Detection for the Kernel., , , и . OSDI, стр. 151-162. USENIX Association, (2010)A Combination Method for Generating Interpolants., и . CADE, том 3632 из Lecture Notes in Computer Science, стр. 353-368. Springer, (2005)Synthesizing optimal collective algorithms., , , , , , и . PPoPP, стр. 62-75. ACM, (2021)SherLock: unsupervised synchronization-operation inference., , , , и . ASPLOS, стр. 314-328. ACM, (2021)An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals., и . PDPAR@CAV, том 144 из Electronic Notes in Theoretical Computer Science, стр. 27-41. Elsevier, (2005)