From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Synthesizing Datalog Programs using Numerical Relaxation.

X. Si, M. Raghothaman, K. Heo, и M. Naik. IJCAI, стр. 6117-6124. ijcai.org, (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.

No persons found for author name Raghothaman, Mukund

add a person with the name Raghothaman, Mukund

Другие публикации лиц с тем же именем

Superflows: A New Tool for Forensic Network Flow Analysis.M. Collins, J. Deshmukh, D. Dinesh, M. Raghothaman, S. Ravi, и Y. Xia. CoRR, (2024)Sporq: An Interactive Environment for Exploring Code using Query-by-Example.A. Naik, J. Mendelson, N. Sands, Y. Wang, M. Naik, и M. Raghothaman. UIST, стр. 84-99. ACM, (2021)Decision Problems for Additive Regular Functions.R. Alur, и M. Raghothaman. ICALP (2), том 7966 из Lecture Notes in Computer Science, стр. 37-48. Springer, (2013)Data-Driven Template-Free Invariant Generation.Y. Xia, J. Deshmukh, M. Raghothaman, и S. Ravi. CoRR, (2023)Streamable Regular Transductions.R. Alur, D. Fisman, K. Mamouras, M. Raghothaman, и C. Stanford. CoRR, (2018)Learning Probabilistic Models for Static Analysis Alarms.H. Kim, M. Raghothaman, и K. Heo. ICSE, стр. 1282-1293. ACM, (2022)Provenance-guided synthesis of Datalog programs.M. Raghothaman, J. Mendelson, D. Zhao, M. Naik, и B. Scholz. Proc. ACM Program. Lang., 4 (POPL): 62:1-62:27 (2020)Regular Functions, Cost Register Automata, and Generalized Min-Cost ProblemsR. Alur, L. D'Antoni, J. Deshmukh, M. Raghothaman, и Y. Yuan. CoRR, (2011)Generative Explanations for Program Synthesizers.A. Nazari, S. Chattopadhyay, S. Swayamdipta, и M. Raghothaman. CoRR, (2024)Regular Programming for Quantitative Properties of Data Streams.R. Alur, D. Fisman, и M. Raghothaman. ESOP, том 9632 из Lecture Notes in Computer Science, стр. 15-40. Springer, (2016)

BibSonomy

Disambiguation

Please choose a person to relate this publication to

Другие публикации лиц с тем же именем

Disambiguation

BibSonomy

Disambiguation

копироватьудалитьдобавить публикацию в буферЗапись сообществапосмотреть историю данной записиURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML Synthesizing Datalog Programs using Numerical Relaxation.

Please choose a person to relate this publication to

Другие публикации лиц с тем же именем

Disambiguation