Suivre
Mukund Raghothaman
Mukund Raghothaman
Adresse e-mail validée de usc.edu - Page d'accueil
Titre
Citée par
Citée par
Année
Syntax-Guided Synthesis
R Alur, R Bodik, G Juniwal, MMK Martin, M Raghothaman, SA Seshia, ...
Formal Methods in Computer-Aided Design (FMCAD), 1-8, 2013
9282013
SWIM: Synthesizing What I Mean (Code Search and Idiomatic Snippet Synthesis)
M Raghothaman, Y Wei, Y Hamadi
38th International Conference on Software Engineering (ICSE), 357-367, 2016
1952016
Learning Loop Invariants for Program Verification
X Si, H Dai, M Raghothaman, M Naik, L Song
Advances in Neural Information Processing Systems 31 (NeurIPS), 7751-7762, 2018
1492018
Regular Functions and Cost Register Automata
R Alur, L DAntoni, J Deshmukh, M Raghothaman, Y Yuan
28th Annual Symposium on Logic in Computer Science (LICS), 13-22, 2013
1062013
Regular Programming for Quantitative Properties of Data Streams
R Alur, D Fisman, M Raghothaman
Programming Languages and Systems: 25th European Symposium on Programming …, 2016
802016
Synthesizing Datalog Programs Using Numerical Relaxation
X Si, M Raghothaman, K Heo, M Naik
28th International Joint Conference on Artificial Intelligence (IJCAI-19), 2019
652019
Regular Combinators for String Transformations
R Alur, A Freilich, M Raghothaman
Joint Meeting of the 23rd Annual Conference on Computer Science Logic (CSL …, 2014
652014
Provenance-Guided Synthesis of Datalog Programs
M Raghothaman, J Mendelson, D Zhao, B Scholz, M Naik
47th Annual Symposium on Principles of Programming Languages (POPL), 2020
642020
User-Guided Program Reasoning Using Bayesian Inference
M Raghothaman, S Kulkarni, K Heo, M Naik
39th Conference on Programming Language Design and Implementation (PLDI …, 2018
622018
StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries Over Streaming Data
K Mamouras, M Raghothaman, R Alur, ZG Ives, S Khanna
38th Conference on Programming Language Design and Implementation (PLDI …, 2017
612017
Synthesizing Finite-State Protocols From Scenarios and Requirements
R Alur, M Martin, M Raghothaman, C Stergiou, S Tripakis, A Udupa
10th Haifa Verification Conference (HVC), 75-91, 2014
472014
DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations
R Alur, L D'Antoni, M Raghothaman
42nd Symposium on Principles of Programming Languages (POPL), 125-137, 2015
402015
Automatic Completion of Distributed Protocols With Symmetry
R Alur, M Raghothaman, C Stergiou, S Tripakis, A Udupa
27th International Conference on Computer Aided Verification (CAV), 395-412, 2015
292015
Language to Specify Syntax-Guided Synthesis Problems
M Raghothaman, A Udupa
arXiv preprint arXiv:1405.5590, 2014
292014
Decision Problems for Additive Regular Functions
R Alur, M Raghothaman
International Colloquium on Automata, Languages, and Programming (ICALP), 37-48, 2013
292013
Continuously Reasoning About Programs Using Differential Bayesian Inference
K Heo, M Raghothaman, X Si, M Naik
40th Conference on Programming Language Design and Implementation (PLDI …, 2019
222019
Streamable Regular Transductions
R Alur, D Fisman, K Mamouras, M Raghothaman, C Stanford
Theoretical Computer Science (TCS) 807, 15-41, 2020
192020
Towards elastic incrementalization for datalog
D Zhao, P Subotic, M Raghothaman, B Scholz
Proceedings of the 23rd International Symposium on Principles and Practice …, 2021
162021
Example-guided synthesis of relational queries
A Thakkar, A Naik, N Sands, R Alur, M Naik, M Raghothaman
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
162021
Gensynth: Synthesizing datalog programs without language bias
J Mendelson, A Naik, M Raghothaman, M Naik
Proceedings of the AAAI Conference on Artificial Intelligence 35 (7), 6444-6453, 2021
142021
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20