( en | de | ru )

 

Disambiguierung von "Balakrishnan, Gogul"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis.

, , , , , , , und . CC, Volume 7210 von Lecture Notes in Computer Science, Seite 144-164. Springer, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Sangeetha Balakrishnan

Balakrishnan Venkatesh

Karthikeyan Balakrishnan

Veeramuthu Balakrishnan

Karthik Balakrishnan

 

Weitere Publikationen von Autoren mit dem selben Namen

Analyzing Memory Accesses in x86 Executables., und . CC, Volume 2985 von Lecture Notes in Computer Science, Seite 5-23. Springer, (2004)Scalable and precise program analysis at NEC., , , , , , , , , und 1 andere Autor(en). FMCAD, Seite 273-274. IEEE, (2010)Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis., , , , , , , und . CC, Volume 7210 von Lecture Notes in Computer Science, Seite 144-164. Springer, (2012)Scalable and scope-bounded software verification in Varvel., , , , , , , und . Autom. Softw. Eng., 22 (4): 517-559 (2015)SETSUDŌ: perturbation-based testing framework for scalable distributed systems., , , , und . TRIOS@SOSP, Seite 7:1-7:14. ACM, (2013)PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes., und . SEFM, Seite 268-278. IEEE Computer Society, (2008)CodeSurfer/x86-A Platform for Analyzing x86 Executables., , , und . CC, Volume 3443 von Lecture Notes in Computer Science, Seite 250-254. Springer, (2005)DIVINE: DIscovering Variables IN Executables., und . VMCAI, Volume 4349 von Lecture Notes in Computer Science, Seite 1-28. Springer, (2007)There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code., , , , und . CAV, Volume 6174 von Lecture Notes in Computer Science, Seite 41-56. Springer, (2010)Learning and Evaluating Contextual Embedding of Source Code., , , und . ICML, Volume 119 von Proceedings of Machine Learning Research, Seite 5110-5121. PMLR, (2020)