BibTeX records: Rohit Singh 0002

download as .bib file

@article{DBLP:journals/pvldb/SinghMEMPQST17,
  author    = {Rohit Singh and
               Venkata Vamsikrishna Meduri and
               Ahmed K. Elmagarmid and
               Samuel Madden and
               Paolo Papotti and
               Jorge{-}Arnulfo Quian{\'{e}}{-}Ruiz and
               Armando Solar{-}Lezama and
               Nan Tang},
  title     = {Synthesizing Entity Matching Rules by Examples},
  journal   = {{PVLDB}},
  volume    = {11},
  number    = {2},
  pages     = {189--202},
  year      = {2017},
  url       = {http://www.vldb.org/pvldb/vol11/p189-singh.pdf},
  timestamp = {Wed, 29 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/journals/pvldb/SinghMEMPQST17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/0002MEMPQS017,
  author    = {Rohit Singh and
               Venkata Vamsikrishna Meduri and
               Ahmed K. Elmagarmid and
               Samuel Madden and
               Paolo Papotti and
               Jorge{-}Arnulfo Quian{\'{e}}{-}Ruiz and
               Armando Solar{-}Lezama and
               Nan Tang},
  title     = {Generating Concise Entity Matching Rules},
  booktitle = {Proceedings of the 2017 {ACM} International Conference on Management
               of Data, {SIGMOD} Conference 2017, Chicago, IL, USA, May 14-19, 2017},
  pages     = {1635--1638},
  year      = {2017},
  crossref  = {DBLP:conf/sigmod/2017},
  url       = {http://doi.acm.org/10.1145/3035918.3058739},
  doi       = {10.1145/3035918.3058739},
  timestamp = {Wed, 29 Nov 2017 00:00:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/sigmod/0002MEMPQS017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/0002S16,
  author    = {Rohit Singh and
               Armando Solar{-}Lezama},
  title     = {{SWAPPER:} {A} framework for automatic generation of formula simplifiers
               based on conditional rewrite rules},
  booktitle = {2016 Formal Methods in Computer-Aided Design, {FMCAD} 2016, Mountain
               View, CA, USA, October 3-6, 2016},
  pages     = {185--192},
  year      = {2016},
  crossref  = {DBLP:conf/fmcad/2016},
  url       = {https://doi.org/10.1109/FMCAD.2016.7886678},
  doi       = {10.1109/FMCAD.2016.7886678},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fmcad/0002S16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Itzhaky0SYLLC16,
  author    = {Shachar Itzhaky and
               Rohit Singh and
               Armando Solar{-}Lezama and
               Kuat Yessenov and
               Yongquan Lu and
               Charles E. Leiserson and
               Rezaul Alam Chowdhury},
  title     = {Deriving divide-and-conquer dynamic programming algorithms using solver-aided
               transformations},
  booktitle = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
               Object-Oriented Programming, Systems, Languages, and Applications,
               {OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
               October 30 - November 4, 2016},
  pages     = {145--164},
  year      = {2016},
  crossref  = {DBLP:conf/oopsla/2016},
  url       = {http://doi.acm.org/10.1145/2983990.2983993},
  doi       = {10.1145/2983990.2983993},
  timestamp = {Tue, 25 Oct 2016 15:06:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/Itzhaky0SYLLC16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sat/Inala0S16,
  author    = {Jeevana Priya Inala and
               Rohit Singh and
               Armando Solar{-}Lezama},
  title     = {Synthesis of Domain Specific {CNF} Encoders for Bit-Vector Solvers},
  booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2016 - 19th
               International Conference, Bordeaux, France, July 5-8, 2016, Proceedings},
  pages     = {302--320},
  year      = {2016},
  crossref  = {DBLP:conf/sat/2016},
  url       = {https://doi.org/10.1007/978-3-319-40970-2_19},
  doi       = {10.1007/978-3-319-40970-2_19},
  timestamp = {Tue, 23 May 2017 01:08:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sat/Inala0S16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/0002S16,
  author    = {Rohit Singh and
               Armando Solar{-}Lezama},
  title     = {Automatic Generation of Formula Simplifiers based on Conditional Rewrite
               Rules},
  journal   = {CoRR},
  volume    = {abs/1602.07285},
  year      = {2016},
  url       = {http://arxiv.org/abs/1602.07285},
  archivePrefix = {arXiv},
  eprint    = {1602.07285},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/0002S16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jacm/ChatterjeeHJ015,
  author    = {Krishnendu Chatterjee and
               Thomas A. Henzinger and
               Barbara Jobstmann and
               Rohit Singh},
  title     = {Measuring and Synthesizing Systems in Probabilistic Environments},
  journal   = {J. {ACM}},
  volume    = {62},
  number    = {1},
  pages     = {9:1--9:34},
  year      = {2015},
  url       = {http://doi.acm.org/10.1145/2699430},
  doi       = {10.1145/2699430},
  timestamp = {Fri, 17 Apr 2015 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jacm/ChatterjeeHJ015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SinghSXKS14,
  author    = {Rohit Singh and
               Rishabh Singh and
               Zhilei Xu and
               Rebecca Krosnick and
               Armando Solar{-}Lezama},
  title     = {Modular Synthesis of Sketches Using Models},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 15th International
               Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014,
               Proceedings},
  pages     = {395--414},
  year      = {2014},
  crossref  = {DBLP:conf/vmcai/2014},
  url       = {https://doi.org/10.1007/978-3-642-54013-4_22},
  doi       = {10.1007/978-3-642-54013-4_22},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vmcai/SinghSXKS14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SinghGR12,
  author    = {Rohit Singh and
               Sumit Gulwani and
               Sriram K. Rajamani},
  title     = {Automatically Generating Algebra Problems},
  booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
               July 22-26, 2012, Toronto, Ontario, Canada.},
  year      = {2012},
  crossref  = {DBLP:conf/aaai/2012},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/5133},
  timestamp = {Thu, 31 Jul 2014 11:17:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/SinghGR12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/CernyCHRS11,
  author    = {Pavol Cern{\'{y}} and
               Krishnendu Chatterjee and
               Thomas A. Henzinger and
               Arjun Radhakrishna and
               Rohit Singh},
  title     = {Quantitative Synthesis for Concurrent Programs},
  booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
               2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
  pages     = {243--259},
  year      = {2011},
  crossref  = {DBLP:conf/cav/2011},
  url       = {https://doi.org/10.1007/978-3-642-22110-1_20},
  doi       = {10.1007/978-3-642-22110-1_20},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/CernyCHRS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fct/ChatterjeeDS11,
  author    = {Krishnendu Chatterjee and
               Laurent Doyen and
               Rohit Singh},
  title     = {On Memoryless Quantitative Objectives},
  booktitle = {Fundamentals of Computation Theory - 18th International Symposium,
               {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  pages     = {148--159},
  year      = {2011},
  crossref  = {DBLP:conf/fct/2011},
  url       = {https://doi.org/10.1007/978-3-642-22953-4_13},
  doi       = {10.1007/978-3-642-22953-4_13},
  timestamp = {Thu, 15 Jun 2017 21:40:42 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fct/ChatterjeeDS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChatterjeeHJS11,
  author    = {Krishnendu Chatterjee and
               Thomas A. Henzinger and
               Barbara Jobstmann and
               Rohit Singh},
  title     = {{QUASY:} Quantitative Synthesis Tool},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 17th International Conference, {TACAS} 2011, Held as Part of the
               Joint European Conferences on Theory and Practice of Software, {ETAPS}
               2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
  pages     = {267--271},
  year      = {2011},
  crossref  = {DBLP:conf/tacas/2011},
  url       = {https://doi.org/10.1007/978-3-642-19835-9_24},
  doi       = {10.1007/978-3-642-19835-9_24},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/ChatterjeeHJS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-3211,
  author    = {Krishnendu Chatterjee and
               Laurent Doyen and
               Rohit Singh},
  title     = {On Memoryless Quantitative Objectives},
  journal   = {CoRR},
  volume    = {abs/1104.3211},
  year      = {2011},
  url       = {http://arxiv.org/abs/1104.3211},
  archivePrefix = {arXiv},
  eprint    = {1104.3211},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1104-3211},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-4306,
  author    = {Pavol Cern{\'{y}} and
               Krishnendu Chatterjee and
               Thomas A. Henzinger and
               Arjun Radhakrishna and
               Rohit Singh},
  title     = {Quantitative Synthesis for Concurrent Programs},
  journal   = {CoRR},
  volume    = {abs/1104.4306},
  year      = {2011},
  url       = {http://arxiv.org/abs/1104.4306},
  archivePrefix = {arXiv},
  eprint    = {1104.4306},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1104-4306},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChatterjeeHJS10,
  author    = {Krishnendu Chatterjee and
               Thomas A. Henzinger and
               Barbara Jobstmann and
               Rohit Singh},
  title     = {Measuring and Synthesizing Systems in Probabilistic Environments},
  booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
               2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  pages     = {380--395},
  year      = {2010},
  crossref  = {DBLP:conf/cav/2010},
  url       = {https://doi.org/10.1007/978-3-642-14295-6_34},
  doi       = {10.1007/978-3-642-14295-6_34},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/ChatterjeeHJS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-0739,
  author    = {Krishnendu Chatterjee and
               Thomas A. Henzinger and
               Barbara Jobstmann and
               Rohit Singh},
  title     = {Measuring and Synthesizing Systems in Probabilistic Environments},
  journal   = {CoRR},
  volume    = {abs/1004.0739},
  year      = {2010},
  url       = {http://arxiv.org/abs/1004.0739},
  archivePrefix = {arXiv},
  eprint    = {1004.0739},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1004-0739},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sigmod/2017,
  editor    = {Semih Salihoglu and
               Wenchao Zhou and
               Rada Chirkova and
               Jun Yang and
               Dan Suciu},
  title     = {Proceedings of the 2017 {ACM} International Conference on Management
               of Data, {SIGMOD} Conference 2017, Chicago, IL, USA, May 14-19, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3035918},
  isbn      = {978-1-4503-4197-4},
  timestamp = {Wed, 10 May 2017 22:12:12 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sigmod/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2016,
  editor    = {Ruzica Piskac and
               Muralidhar Talupur},
  title     = {2016 Formal Methods in Computer-Aided Design, {FMCAD} 2016, Mountain
               View, CA, USA, October 3-6, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7879555},
  isbn      = {978-0-9835678-6-8},
  timestamp = {Fri, 31 Mar 2017 11:38:24 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fmcad/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2016,
  editor    = {Eelco Visser and
               Yannis Smaragdakis},
  title     = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
               Object-Oriented Programming, Systems, Languages, and Applications,
               {OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
               October 30 - November 4, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2983990},
  doi       = {10.1145/2983990},
  isbn      = {978-1-4503-4444-9},
  timestamp = {Tue, 25 Oct 2016 15:06:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sat/2016,
  editor    = {Nadia Creignou and
               Daniel Le Berre},
  title     = {Theory and Applications of Satisfiability Testing - {SAT} 2016 - 19th
               International Conference, Bordeaux, France, July 5-8, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9710},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-40970-2},
  doi       = {10.1007/978-3-319-40970-2},
  isbn      = {978-3-319-40969-6},
  timestamp = {Tue, 23 May 2017 01:08:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sat/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2014,
  editor    = {Kenneth L. McMillan and
               Xavier Rival},
  title     = {Verification, Model Checking, and Abstract Interpretation - 15th International
               Conference, {VMCAI} 2014, San Diego, CA, USA, January 19-21, 2014,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8318},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-642-54013-4},
  doi       = {10.1007/978-3-642-54013-4},
  isbn      = {978-3-642-54012-7},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/vmcai/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aaai/2012,
  editor    = {J{\"{o}}rg Hoffmann and
               Bart Selman},
  title     = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
               July 22-26, 2012, Toronto, Ontario, Canada},
  publisher = {{AAAI} Press},
  year      = {2012},
  timestamp = {Thu, 31 Jul 2014 11:17:14 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/aaai/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cav/2011,
  editor    = {Ganesh Gopalakrishnan and
               Shaz Qadeer},
  title     = {Computer Aided Verification - 23rd International Conference, {CAV}
               2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6806},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22110-1},
  doi       = {10.1007/978-3-642-22110-1},
  isbn      = {978-3-642-22109-5},
  timestamp = {Thu, 25 May 2017 00:39:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fct/2011,
  editor    = {Olaf Owe and
               Martin Steffen and
               Jan Arne Telle},
  title     = {Fundamentals of Computation Theory - 18th International Symposium,
               {FCT} 2011, Oslo, Norway, August 22-25, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6914},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22953-4},
  doi       = {10.1007/978-3-642-22953-4},
  isbn      = {978-3-642-22952-7},
  timestamp = {Thu, 15 Jun 2017 21:40:42 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fct/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tacas/2011,
  editor    = {Parosh Aziz Abdulla and
               K. Rustan M. Leino},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 17th International Conference, {TACAS} 2011, Held as Part of the
               Joint European Conferences on Theory and Practice of Software, {ETAPS}
               2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6605},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-19835-9},
  doi       = {10.1007/978-3-642-19835-9},
  isbn      = {978-3-642-19834-2},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/tacas/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cav/2010,
  editor    = {Tayssir Touili and
               Byron Cook and
               Paul B. Jackson},
  title     = {Computer Aided Verification, 22nd International Conference, {CAV}
               2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6174},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14295-6},
  doi       = {10.1007/978-3-642-14295-6},
  isbn      = {978-3-642-14294-9},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier