Rohit Singh

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 6

Top Venues

Proc. VLDB Endow.

VMCAI

SAT

CoRR

Massachusetts Institute of Technology, Cambridge, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, USA

PHD

Publications

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

Rohit Singh.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rohit Singh