( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Abstract Transformers for Thread Correlation Analysis.

, , , , и . APLAS, том 5904 из Lecture Notes in Computer Science, стр. 30-46. Springer, (2009)

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.

Kathirvel Ganesan

Jayanthi Ganesan

Nagendran Ramalingam

Srikumar Ramalingam

Sundar Ganesan

 

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

Representation dependence testing using program inversion., , , и . SIGSOFT FSE, стр. 277-286. ACM, (2010)Fault tolerance via idempotence., и . POPL, стр. 249-262. ACM, (2013)Broom: Sweeping Out Garbage Collection from Big Data Systems., , , , , , , , , и . HotOS, USENIX Association, (2015)Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists., , , и . VMCAI, том 3385 из Lecture Notes in Computer Science, стр. 181-198. Springer, (2005)Semantics-based reverse engineering of object-oriented data models., , , и . ICSE, стр. 192-201. ACM, (2006)06302 Summary -- Aspects For Legacy Applications., , и . Aspects For Legacy Applications, том 06302 из Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)Technical forum: Using logical data models for understanding and transforming legacy business applications., , , , , , , , и . IBM Syst. J., 45 (3): 647-655 (2006)Safe programmable speculative parallelism., , и . PLDI, стр. 50-61. ACM, (2010)Heap Decomposition for Concurrent Shape Analysis., , , , и . SAS, том 5079 из Lecture Notes in Computer Science, стр. 363-377. Springer, (2008)Consistency in Distributed Systems (Dagstuhl Seminar 13081)., , , , и . Dagstuhl Reports, 3 (2): 92-126 (2013)