Rohit Singh
Rohit Singh
MIT, Uber AI, Facebook
Verified email at csail.mit.edu - Homepage
TitleCited byYear
Quantitative synthesis for concurrent programs
P Černý, K Chatterjee, TA Henzinger, A Radhakrishna, R Singh
International Conference on Computer Aided Verification, 243-259, 2011
862011
Automatically generating algebra problems
R Singh, S Gulwani, S Rajamani
Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
692012
Pyro: Deep universal probabilistic programming
E Bingham, JP Chen, M Jankowiak, F Obermeyer, N Pradhan, ...
The Journal of Machine Learning Research 20 (1), 973-978, 2019
662019
Measuring and synthesizing systems in probabilistic environments
K Chatterjee, TA Henzinger, B Jobstmann, R Singh
Computer Aided Verification, 380-395, 2010
58*2010
Synthesizing entity matching rules by examples
R Singh, VV Meduri, A Elmagarmid, S Madden, P Papotti, JA Quiané-Ruiz, ...
Proceedings of the VLDB Endowment 11 (2), 189-202, 2017
202017
Measuring and synthesizing systems in probabilistic environments
K Chatterjee, TA Henzinger, B Jobstmann, R Singh
Journal of the ACM (JACM) 62 (1), 9, 2015
182015
QUASY: Quantitative synthesis tool
K Chatterjee, TA Henzinger, B Jobstmann, R Singh
International Conference on Tools and Algorithms for the Construction and …, 2011
182011
Modular synthesis of sketches using models
R Singh, R Singh, Z Xu, R Krosnick, A Solar-Lezama
International Conference on Verification, Model Checking, and Abstract …, 2014
152014
Synthesis of domain specific CNF encoders for bit-vector solvers
JP Inala, R Singh, A Solar-Lezama
International Conference on Theory and Applications of Satisfiability …, 2016
92016
SWAPPER: A framework for automatic generation of formula simplifiers based on conditional rewrite rules
R Singh, A Solar-Lezama
2016 Formal Methods in Computer-Aided Design (FMCAD), 185-192, 2016
82016
On memoryless quantitative objectives
K Chatterjee, L Doyen, R Singh
International Symposium on Fundamentals of Computation Theory, 148-159, 2011
72011
Automatic generation of formula simplifiers based on conditional rewrite rules
R Singh, A Solar-Lezama
arXiv preprint arXiv:1602.07285, 2016
12016
Synthesizing a synthesis tool
R Singh
Massachusetts Institute of Technology, 2013
12013
Termination of Initialized Rational Linear Programs
R Singh
Indian Institute of Technology, Bombay Mumbai, 2011
12011
Automatically learning optimal formula simplifiers and database entity matching rules
R Singh
Massachusetts Institute of Technology, 2017
2017
Quantitative synthesis for concurrent programs
K Chatterjee, P Cerny, TA Henzinger, A Radhakrishna, R Singh
2010
A new approach to building solvers
R Singh, A Solar-Lezama
The system can't perform the operation now. Try again later.
Articles 1–17