( en | de | ru )

 

Disambiguierung von "Naik, Mayur"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
CloneCloud: elastic execution between mobile device and cloud.

, , , , und . EuroSys, Seite 301-314. ACM, (2011)

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

Mayur Sarangdhar

Azad Naik

Anu Naik

 

Weitere Publikationen von Autoren mit dem selben Namen

Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities., , , , , und . CoRR, (2023)Accelerating program analyses by cross-program training., , , und . OOPSLA, Seite 359-377. ACM, (2016)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)APISan: Sanitizing API Usages through Semantic Cross-Checking., , , , , und . USENIX Security Symposium, Seite 363-378. USENIX Association, (2016)CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation., , , , , und . ICLR, OpenReview.net, (2022)Learning Neurosymbolic Generative Models via Program synthesis., , und . DeepRLStructPred@ICLR, OpenReview.net, (2019)Constraint-Based Synthesis of Datalog Programs., , , und . CP, Volume 10416 von Lecture Notes in Computer Science, Seite 689-706. Springer, (2017)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)