( en | de | ru )

 

Disambiguierung von "Naik, Mayur"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Effective interactive resolution of static analysis alarms.

, , , und . Proc. ACM Program. Lang., 1 (OOPSLA): 57:1-57:30 (2017)

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

Code2Inv: A Deep Learning Framework for Program Verification., , , , und . CAV (2), Volume 12225 von Lecture Notes in Computer Science, Seite 151-164. Springer, (2020)Effective Program Debloating via Reinforcement Learning., , , und . ACM Conference on Computer and Communications Security, Seite 380-394. ACM, (2018)Effective interactive resolution of static analysis alarms., , , und . Proc. ACM Program. Lang., 1 (OOPSLA): 57:1-57:30 (2017)Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities., , , , , und . CoRR, (2023)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)PolyDroid: Learning-Driven Specialization of Mobile Applications., , , und . CoRR, (2019)LASER: Neuro-Symbolic Learning of Semantic Video Representations., , , , und . CoRR, (2023)APISan: Sanitizing API Usages through Semantic Cross-Checking., , , , , und . USENIX Security Symposium, Seite 363-378. USENIX Association, (2016)Accelerating program analyses by cross-program training., , , und . OOPSLA, Seite 359-377. ACM, (2016)