( en | de | ru )

 

Disambiguation of "Ramalingam, G."

Author of the publication

copydeleteadd this publication to your clipboard
From typestate verification to interpretable deep models (invited talk abstract).

, , , , and . ISSTA, page 4-5. ACM, (2019)

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 Wahl

G Salamo

 

Other publications of authors with the same name

On the Computational Complexity of Dynamic Graph Problems., and . Theor. Comput. Sci., 158 (1&2): 233-277 (1996)Sequential verification of serializability., , and . POPL, page 31-42. ACM, (2010)On loops, dominators, and dominance frontier.. PLDI, page 233-241. ACM, (2000)Deriving Specialized Program Analyses for Certifying Component-Client Conformance., , , , and . PLDI, page 83-94. ACM, (2002)Intel 4 CMOS Technology Featuring Advanced FinFET Transistors optimized for High Density and High-Performance Computing., , , , , , , , , and 73 other author(s). VLSI Technology and Circuits, page 282-283. IEEE, (2022)From typestate verification to interpretable deep models (invited talk abstract)., , , , and . ISSTA, page 4-5. ACM, (2019)Interactive Authoring of Multimedia Documents in a Constraint-Based Authoring System., , , and . Multim. Syst., 7 (5): 424-437 (1999)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)Context-sensitive synchronization-sensitive analysis is undecidable.. ACM Trans. Program. Lang. Syst., 22 (2): 416-430 (2000)