( en | de | ru )

 

Disambiguierung von "Naik, Mayur"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Efficient Message Dispatch in Object-Oriented Systems.

, und . ACM SIGPLAN Notices, 35 (3): 49-58 (2000)

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.

Roshan Naik

Mayur Vadhvani

Azad Naik

Mayur Sarangdhar

Anu Naik

 

Weitere Publikationen von Autoren mit dem selben Namen

Constraint-Based Synthesis of Datalog Programs., , , und . CP, Volume 10416 von Lecture Notes in Computer Science, Seite 689-706. Springer, (2017)Learning Neurosymbolic Generative Models via Program synthesis., , und . DeepRLStructPred@ICLR, OpenReview.net, (2019)Effective Program Debloating via Reinforcement Learning., , , und . ACM Conference on Computer and Communications Security, Seite 380-394. ACM, (2018)Code2Inv: A Deep Learning Framework for Program Verification., , , , und . CAV (2), Volume 12225 von Lecture Notes in Computer Science, Seite 151-164. Springer, (2020)Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities., , , , , und . CoRR, (2023)APISan: Sanitizing API Usages through Semantic Cross-Checking., , , , , und . USENIX Security Symposium, Seite 363-378. USENIX Association, (2016)Hybrid top-down and bottom-up interprocedural analysis., , , und . PLDI, Seite 249-258. ACM, (2014)On abstraction refinement for program analyses in Datalog., , , , und . PLDI, Seite 239-248. ACM, (2014)User-guided program reasoning using Bayesian inference., , , und . PLDI, Seite 722-735. ACM, (2018)Example-guided synthesis of relational queries., , , , , und . PLDI, Seite 1110-1125. ACM, (2021)