Quantitative Synthesis for Concurrent Programs. - Pavol Cerný; Krishnendu Chatterjee; Thomas A. Henzinger; Arjun Radhakrishna; Rohit Singh 002 (CAV, 2011)

On Memoryless Quantitative Objectives. - Krishnendu Chatterjee; Laurent Doyen 001; Rohit Singh 002 (FCT, 2011)

QUASY: Quantitative Synthesis Tool. - Krishnendu Chatterjee; Thomas A. Henzinger; Barbara Jobstmann; Rohit Singh 002 (TACAS, 2011)

Automatically Generating Algebra Problems. - Rohit Singh 002; Sumit Gulwani; Sriram K. Rajamani (AAAI, 2012)

Modular Synthesis of Sketches Using Models. - Rohit Singh 002; Rishabh Singh; Zhilei Xu; Rebecca Krosnick; Armando Solar-Lezama (VMCAI, 2014)

Measuring and Synthesizing Systems in Probabilistic Environments. - Krishnendu Chatterjee; Thomas A. Henzinger; Barbara Jobstmann; Rohit Singh 002 (J. ACM, 2015)

SWAPPER: A framework for automatic generation of formula simplifiers based on conditional rewrite rules. - Rohit Singh 002; Armando Solar-Lezama (FMCAD, 2016)

Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations. - Shachar Itzhaky; Rohit Singh 002; Armando Solar-Lezama; Kuat Yessenov; Yongquan Lu; Charles E. Leiserson; Rezaul Alam Chowdhury (OOPSLA, 2016)

Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers. - Jeevana Priya Inala; Rohit Singh 002; Armando Solar-Lezama (SAT, 2016)

Automatic Generation of Formula Simplifiers based on Conditional Rewrite Rules. - Rohit Singh 002; Armando Solar-Lezama (CoRR, 2016)

Generating Concise Entity Matching Rules. - Rohit Singh 002; Venkata Vamsikrishna Meduri; Ahmed K. Elmagarmid; Samuel Madden 001; Paolo Papotti; Jorge-Arnulfo Quiané-Ruiz; Armando Solar-Lezama; Nan Tang 001 (SIGMOD Conference, 2017)

Synthesizing Entity Matching Rules by Examples. - Rohit Singh 002; Venkata Vamsikrishna Meduri; Ahmed K. Elmagarmid; Samuel Madden 001; Paolo Papotti; Jorge-Arnulfo Quiané-Ruiz; Armando Solar-Lezama; Nan Tang 001 (Proc. VLDB Endow., 2017)

Automatically learning optimal formula simplifiers and database entity matching rules. - Rohit Singh 002 (2017)