Rohit Singh

17 papers A* 3A 3B 3Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2017 — —
Automatically learning optimal formula simplifiers and database entity matching rules.
Rohit Singh
2017 — conf
Generating Concise Entity Matching Rules.
SIGMOD Conference
Rohit Singh, Venkata Vamsikrishna Meduri, Ahmed K. Elmagarmid, Samuel Madden, Paolo Papotti, Jorge-Arnulfo Quiané-Ruiz, Armando Solar-Lezama, Nan Tang
2017 J jnl
Synthesizing Entity Matching Rules by Examples.
Proc. VLDB Endow.
Rohit Singh, Venkata Vamsikrishna Meduri, Ahmed K. Elmagarmid, Samuel Madden, Paolo Papotti, Jorge-Arnulfo Quiané-Ruiz, Armando Solar-Lezama, Nan Tang
2016 J jnl
Automatic Generation of Formula Simplifiers based on Conditional Rewrite Rules.
CoRR
Rohit Singh, Armando Solar-Lezama
2016 A conf
Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations.
OOPSLA
Shachar Itzhaky, Rohit Singh, Armando Solar-Lezama, Kuat Yessenov, Yongquan Lu, Charles E. Leiserson, Rezaul Alam Chowdhury
2016 B conf
SWAPPER: A framework for automatic generation of formula simplifiers based on conditional rewrite rules.
FMCAD
Rohit Singh, Armando Solar-Lezama
2016 A conf
Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers.
SAT
Jeevana Priya Inala, Rohit Singh, Armando Solar-Lezama
2015 J jnl
Measuring and Synthesizing Systems in Probabilistic Environments.
J. ACM
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh
2014 B conf
Modular Synthesis of Sketches Using Models.
VMCAI
Rohit Singh, Rishabh Singh, Zhilei Xu, Rebecca Krosnick, Armando Solar-Lezama
2012 A* conf
Automatically Generating Algebra Problems.
AAAI
Rohit Singh, Sumit Gulwani, Sriram K. Rajamani
2011 J jnl
On Memoryless Quantitative Objectives
CoRR
Krishnendu Chatterjee, Laurent Doyen, Rohit Singh
2011 B conf
On Memoryless Quantitative Objectives.
FCT
Krishnendu Chatterjee, Laurent Doyen, Rohit Singh
2011 A conf
QUASY: Quantitative Synthesis Tool.
TACAS
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh
2011 J jnl
Quantitative Synthesis for Concurrent Programs
CoRR
Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh
2011 A* conf
Quantitative Synthesis for Concurrent Programs.
CAV
Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh
2010 J jnl
Measuring and Synthesizing Systems in Probabilistic Environments
CoRR
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh
2010 A* conf
Measuring and Synthesizing Systems in Probabilistic Environments.
CAV
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh