Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Rohit Singh 0002

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Armando Solar-Lezama

> Home > Persons > Rohit Singh 0002

Publications

2017
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/pvldb/SinghMEMPQST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pvldb/SinghMEMPQST17
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): 189-202 (2017)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/sigmod/0002MEMPQS017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigmod/0002MEMPQS017
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: 1635-1638
2016
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/0002S16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/0002S16
Rohit Singh, Armando Solar-Lezama:
SWAPPER: A framework for automatic generation of formula simplifiers based on conditional rewrite rules. FMCAD 2016: 185-192
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/Itzhaky0SYLLC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/Itzhaky0SYLLC16
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: 145-164
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/Inala0S16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/Inala0S16
Jeevana Priya Inala, Rohit Singh, Armando Solar-Lezama:
Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers. SAT 2016: 302-320
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/0002S16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/0002S16
Rohit Singh, Armando Solar-Lezama:
Automatic Generation of Formula Simplifiers based on Conditional Rewrite Rules. CoRR abs/1602.07285 (2016)
2014
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/SinghSXKS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/SinghSXKS14
Rohit Singh, Rishabh Singh, Zhilei Xu, Rebecca Krosnick, Armando Solar-Lezama:
Modular Synthesis of Sketches Using Models. VMCAI 2014: 395-414

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.