Rohit Singh

According to our database, Rohit Singh authored at least 13 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Automatically learning optimal formula simplifiers and database entity matching rules.

Rohit Singh

PhD thesis, 2017

Synthesizing Entity Matching Rules by Examples.

Rohit Singh, Venkata Vamsikrishna Meduri, Ahmed K. Elmagarmid, Samuel Madden, Paolo Papotti, Jorge-Arnulfo Quiané-Ruiz, Armando Solar-Lezama, Nan Tang

Proc. VLDB Endow., 2017

Generating Concise Entity Matching Rules.

Rohit Singh, Venkata Vamsikrishna Meduri, Ahmed K. Elmagarmid, Samuel Madden, Paolo Papotti, Jorge-Arnulfo Quiané-Ruiz, Armando Solar-Lezama, Nan Tang

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

2016

Automatic Generation of Formula Simplifiers based on Conditional Rewrite Rules.

Rohit Singh, Armando Solar-Lezama

CoRR, 2016

Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers.

Jeevana Priya Inala, Rohit Singh, Armando Solar-Lezama

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations.

Shachar Itzhaky, Rohit Singh, Armando Solar-Lezama, Kuat Yessenov, Yongquan Lu, Charles E. Leiserson, Rezaul Alam Chowdhury

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

SWAPPER: A framework for automatic generation of formula simplifiers based on conditional rewrite rules.

Rohit Singh, Armando Solar-Lezama

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015

Measuring and Synthesizing Systems in Probabilistic Environments.

Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh

J. ACM, 2015

2014

Modular Synthesis of Sketches Using Models.

Rohit Singh, Rishabh Singh, Zhilei Xu, Rebecca Krosnick, Armando Solar-Lezama

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

2012

Automatically Generating Algebra Problems.

Rohit Singh, Sumit Gulwani, Sriram K. Rajamani

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

QUASY: Quantitative Synthesis Tool.

Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

On Memoryless Quantitative Objectives.

Krishnendu Chatterjee, Laurent Doyen, Rohit Singh

Proceedings of the Fundamentals of Computation Theory - 18th International Symposium, 2011

Quantitative Synthesis for Concurrent Programs.

Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011