Singh, Rishabh

Syntax-guided synthesis

Alur, R., Bodik, R., Juniwal, G., Martin, M. M. K., Raghothaman, M., Seshia, S. A., Singh, R., Solar-Lezama, A., Torlak, E., & Udupa, A. (2013) · 2013 Formal Methods in Computer-Aided Design

Logic, programming, and type systemsFormal Methods in Verification

Cited by 656

Robust Text-to-SQL Generation with Execution-Guided Decoding

Wang, C., Tatwawadi, K., Brockschmidt, M., Huang, P.-S., Mao, Y., Polozov, O., & Singh, R. (2018) · arXiv

Advanced Database Systems and QueriesNatural Language Processing Techniques

Cited by 64

Synthetic Datasets for Neural Program Synthesis

Shin, R., Kant, N., Gupta, K., Bender, C., Trabucco, B., Singh, R., & Song, D. (2019) · arXiv

Evolutionary Algorithms and ApplicationsTeaching and Learning Programming

Cited by 25

Measuring The Impact Of Programming Language Distribution

Orlanski, G., Xiao, K., Garcia, X., Hui, J., Howland, J., Malmaud, J., Austin, J., Singh, R., & Catasta, M. (2023) · arXiv

Software Engineering ResearchTopic Modeling

Cited by 21