( en | de | ru )

 

Disambiguation of "Ramalingam, G."

Author of the publication

copydeleteadd this publication to your clipboard
Automatic Scalable Atomicity via Semantic Locking.

, , , and . ACM Trans. Parallel Comput., 3 (4): 21:1-21:29 (2017)

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.

Nagendran Ramalingam

Srikumar Ramalingam

Giuseppe G G Manzardo

G Lüers

G Baumann

 

Other publications of authors with the same name

Modular Heap Analysis for Higher-Order Programs., , and . SAS, volume 7460 of Lecture Notes in Computer Science, page 370-387. Springer, (2012)Bounded Incremental Computation. Lecture Notes in Computer Science Springer, (1996)Effective typestate verification in the presence of aliasing., , , , and . ACM Trans. Softw. Eng. Methodol., 17 (2): 9:1-9:34 (2008)A Categorized Bibliography on Incremental Computation., and . POPL, page 502-510. ACM Press, (1993)Aggregate Structure Identification and Its Application to Program Analysis., , and . POPL, page 119-132. ACM, (1999)Context-sensitive synchronization-sensitive analysis is undecidable.. ACM Trans. Program. Lang. Syst., 22 (2): 416-430 (2000)On loops, dominators, and dominance frontiers.. ACM Trans. Program. Lang. Syst., 24 (5): 455-490 (2002)Bottom-up shape analysis using LISF., , , and . ACM Trans. Program. Lang. Syst., 33 (5): 17:1-17:41 (2011)Interactive Authoring of Multimedia Documents in a Constraint-Based Authoring System., , , and . Multim. Syst., 7 (5): 424-437 (1999)Automatic Scalable Atomicity via Semantic Locking., , , and . ACM Trans. Parallel Comput., 3 (4): 21:1-21:29 (2017)