Rishabh Singh

143 papers A* 25A 4B 8C 3Misc 2Journal 76Unranked 23
YearRankTypeTitle / Venue / Authors
2025 J jnl
EdgeFlowNet: 100FPS@1W Dense Optical Flow for Tiny Mobile Robots.
IEEE Robotics Autom. Lett.
Sai Ramana Kiran Pinnama Raju, Rishabh Singh, Manoj Velmurugan, Nitin J. Sanket
2025 J jnl
Reading Between the Lines: The One-Sided Conversation Problem.
CoRR
Victoria Ebert, Rishabh Singh, Tuochao Chen, Noah A. Smith, Shyamnath Gollakota
2025 J jnl
SWE-RL: Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolution.
CoRR
Yuxiang Wei, Olivier Duchenne, Jade Copet, Quentin Carbonneaux, Lingming Zhang, Daniel Fried, Gabriel Synnaeve, Rishabh Singh, Sida I. Wang
2024 J jnl
EdgeFlowNet: 100FPS@1W Dense Optical Flow For Tiny Mobile Robots.
CoRR
Sai Ramana Kiran Pinnama Raju, Rishabh Singh, Manoj Velmurugan, Nitin J. Sanket
2024 B conf
Finding Local Dependent Regions in PDFs using RKHS Uncertainty Moments and Optimal Transport.
IJCNN
Rishabh Singh, Yaxin Ma, José C. Príncipe
2023 J jnl
Measuring The Impact Of Programming Language Distribution.
CoRR
Gabriel Orlanski, Kefan Xiao, Xavier Garcia, Jeffrey Hui, Joshua Howland, Jonathan Malmaud, Jacob Austin, Rishabh Singh, Michele Catasta
2023 A* conf
Measuring the Impact of Programming Language Distribution.
ICML
Gabriel Orlanski, Kefan Xiao, Xavier Garcia, Jeffrey Hui, Joshua Howland, Jonathan Malmaud, Jacob Austin, Rishabh Singh, Michele Catasta
2022 C conf
ECG Fiducial Point Localization Using a Deep Learning Model.
ICMLA
Murtadha D. Hssayeni, Arash Andalib, Rishabh Singh, Diego Pava, Kan Li, Steven Borzak, Robert Chait, Kaustubh Kale
2022 J jnl
MoËT: Mixture of Expert Trees and its application to verifiable reinforcement learning.
Neural Networks
Marko Vasic, Andrija Petrovic, Kaiyuan Wang, Mladen Nikolic, Rishabh Singh, Sarfraz Khurshid
2022 — conf
Platt-Bin: Efficient Posterior Calibrated Training for NLP Classifiers.
ACL (Findings)
Rishabh Singh, Shirin Goshtasbpour
2022 J jnl
Prediction of Stress Level on Indian Working Professionals Using Machine Learning.
Int. J. Hum. Cap. Inf. Technol. Prof.
Kavita Pabreja, Anubhuti Singh, Rishabh Singh, Rishita Agnihotri, Shriam Kaushik, Tanvi Malhotra
2022 J jnl
Quantifying Model Uncertainty for Semantic Segmentation using Operators in the RKHS.
CoRR
Rishabh Singh, José C. Príncipe
2022 J jnl
Robust Dependence Measure using RKHS based Uncertainty Moments and Optimal Transport.
CoRR
Rishabh Singh, José C. Príncipe
2022 J jnl
Solving Program Sketches with Large Integer Values.
ACM Trans. Program. Lang. Syst.
Qinheping Hu, Rishabh Singh, Loris D'Antoni
2022 J jnl
TF-Coder: Program Synthesis for Tensor Manipulations.
ACM Trans. Program. Lang. Syst.
Kensen Shi, David Bieber, Rishabh Singh
2021 J jnl
A Kernel Framework to Quantify a Model's Local Predictive Uncertainty under Data Distributional Shifts.
CoRR
Rishabh Singh, José C. Príncipe
2021 A* conf
BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration.
ICLR
Augustus Odena, Kensen Shi, David Bieber, Rishabh Singh, Charles Sutton, Hanjun Dai
2021 B conf
Bias: Bijective Input And Surjectivity In Zero Shot Learning.
ICIP
Rishabh Singh
2021 C conf
DAWSSM: A plug-and-play Drone Assisted Water Sampling and Sensing Module.
IECON
Digvijay Singh, Rishabh Singh, Rahul Ajmeria, Manik Gupta, R. N. Ponnalagu
2021 J jnl
Deep Geospatial Interpolation Networks.
CoRR
Sumit Kumar Varshney, Jeetu Kumar, Aditya Tiwari, Rishabh Singh, Venkata M. V. Gunturi, Narayanan C. Krishnan
2021 J jnl
Image to Image Translation : Generating maps from satellite images.
CoRR
Vaishali V. Ingale, Rishabh Singh, Pragati Patwal
2021 A* conf
Latent Programmer: Discrete Latent Codes for Program Synthesis.
ICML
Joey Hong, David Dohan, Rishabh Singh, Charles Sutton, Manzil Zaheer
2021 A* conf
Learning Semantic Representations to Verify Hardware Designs.
NeurIPS
Shobha Vasudevan, Wenjie Jiang, David Bieber, Rishabh Singh, Hamid Shojaei, Richard Ho, Charles Sutton
2021 J jnl
Neurosymbolic Programming.
Found. Trends Program. Lang.
Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama, Yisong Yue
2021 J jnl
Quantifying Model Predictive Uncertainty with Perturbation Theory.
CoRR
Rishabh Singh, José C. Príncipe
2021 J jnl
Question paper generation through progressive model and difficulty calculation on the Promexa Mobile Application.
Educ. Inf. Technol.
Rishabh Singh, Devansh Timbadia, Vidhi Kapoor, Rishabh Reddy, Prathamesh P. Churi, Omkar Pimple
2021 A* conf
Scaling Symbolic Methods using Gradients for Neural Model Explanation.
ICLR
Subham Sekhar Sahoo, Subhashini Venugopalan, Li Li, Rishabh Singh, Patrick Riley
2021 J jnl
Special Issue on Syntax-Guided Synthesis Preface.
Formal Methods Syst. Des.
Dana Fisman, Rishabh Singh, Armando Solar-Lezama
2021 A* conf
SpreadsheetCoder: Formula Prediction from Semi-structured Context.
ICML
Xinyun Chen, Petros Maniatis, Rishabh Singh, Charles Sutton, Hanjun Dai, Max Lin, Denny Zhou
2021 J jnl
SpreadsheetCoder: Formula Prediction from Semi-structured Context.
CoRR
Xinyun Chen, Petros Maniatis, Rishabh Singh, Charles Sutton, Hanjun Dai, Max Lin, Denny Zhou
2021 J jnl
Toward a Kernel-Based Uncertainty Decomposition Framework for Data and Models.
Neural Comput.
Rishabh Singh, José C. Príncipe
2021 — conf
Wireless Surveillance Robot for Industrial Application.
MIND
Rishabh Singh, Anjali Kushwah, Preeti Warrier, Shraddha Oza
2020 J jnl
Artificial Intelligence and Machine Learning Empower Advanced Biomedical Material Design to Toxicity Prediction.
Adv. Intell. Syst.
Ajay Vikram Singh, Daniel Rosenkranz, Mohammad Hasan Dad Ansari, Rishabh Singh, Anurag Kanase, Shubham Pratap Singh, Blair Johnston, Jutta Tentschert, Peter Laux, Andreas Luch
2020 J jnl
Artificial Intelligence and Machine Learning Empower Advanced Biomedical Material Design to Toxicity Prediction.
Adv. Intell. Syst.
Ajay Vikram Singh, Daniel Rosenkranz, Mohammad Hasan Dad Ansari, Rishabh Singh, Anurag Kanase, Shubham Pratap Singh, Blair Johnston, Jutta Tentschert, Peter Laux, Andreas Luch
2020 J jnl
Augmented example-based synthesis using relational perturbation properties.
Proc. ACM Program. Lang.
Shengwei An, Rishabh Singh, Sasa Misailovic, Roopsha Samanta
2020 J jnl
BUSTLE: Bottom-up program-Synthesis Through Learning-guided Exploration.
CoRR
Augustus Odena, Kensen Shi, David Bieber, Rishabh Singh, Charles Sutton
2020 Misc conf
Composite Dynamic Texture Synthesis Using Hierarchical Linear Dynamical System.
ICASSP
Rishabh Singh, Shujian Yu, José C. Príncipe
2020 C conf
Cyberbullying and Indian Society: Outcomes from Social Conclave Conference.
ISTAS
Rishabh Reddy, Rishabh Singh, Vidhi Kapoor, Prathamesh P. Churi
2020 J jnl
Deep Learning & Software Engineering: State of Research and Future Directions.
CoRR
Prem Devanbu, Matthew B. Dwyer, Sebastian G. Elbaum, Michael Lowry, Kevin Moran, Denys Poshyvanyk, Baishakhi Ray, Rishabh Singh, Xiangyu Zhang
2020 A* conf
Generating Programmatic Referring Expressions via Program Synthesis.
ICML
Jiani Huang, Calvin Smith, Osbert Bastani, Rishabh Singh, Aws Albarghouthi, Mayur Naik
2020 A* conf
Global Relational Models of Source Code.
ICLR
Vincent J. Hellendoorn, Charles Sutton, Rishabh Singh, Petros Maniatis, David Bieber
2020 J jnl
Joy of Learning Through Internet Memes.
Int. J. Eng. Pedagog.
Rishabh Reddy, Rishabh Singh, Vidhi Kapoor, Prathamesh P. Churi
2020 J jnl
Latent Programmer: Discrete Latent Codes for Program Synthesis.
CoRR
Joey Hong, David Dohan, Rishabh Singh, Charles Sutton, Manzil Zaheer
2020 A* conf
Learning Discrete Energy-based Models via Auxiliary-variable Local Exploration.
NeurIPS
Hanjun Dai, Rishabh Singh, Bo Dai, Charles Sutton, Dale Schuurmans
2020 J jnl
Learning Discrete Energy-based Models via Auxiliary-variable Local Exploration.
CoRR
Hanjun Dai, Rishabh Singh, Bo Dai, Charles Sutton, Dale Schuurmans
2020 J jnl
Neural Program Synthesis with a Differentiable Fixer.
CoRR
Matej Balog, Rishabh Singh, Petros Maniatis, Charles Sutton
2020 J jnl
Scaling Symbolic Methods using Gradients for Neural Model Explanation.
CoRR
Subham Sekhar Sahoo, Subhashini Venugopalan, Li Li, Rishabh Singh, Patrick F. Riley
2020 A conf
Solving Program Sketches with Large Integer Values.
ESOP
Rong Pan, Qinheping Hu, Rishabh Singh, Loris D'Antoni
2020 J jnl
TF-Coder: Program Synthesis for Tensor Manipulations.
CoRR
Kensen Shi, David Bieber, Rishabh Singh
2020 A conf
Time Series Analysis using a Kernel based Multi-Modal Uncertainty Decomposition Framework.
UAI
Rishabh Singh, José C. Príncipe
2020 J jnl
Towards Modular Algorithm Induction.
CoRR
Daniel A. Abolafia, Rishabh Singh, Manzil Zaheer, Charles Sutton
2020 J jnl
Towards a Kernel based Physical Interpretation of Model Uncertainty.
CoRR
Rishabh Singh, José C. Príncipe
2019 B conf
Direct Manipulation for Imperative Programs.
SAS
Qinheping Hu, Roopsha Samanta, Rishabh Singh, Loris D'Antoni
2019 A* conf
Learning Transferable Graph Exploration.
NeurIPS
Hanjun Dai, Yujia Li, Chenglong Wang, Rishabh Singh, Po-Sen Huang, Pushmeet Kohli
2019 J jnl
Learning Transferable Graph Exploration.
CoRR
Hanjun Dai, Yujia Li, Chenglong Wang, Rishabh Singh, Po-Sen Huang, Pushmeet Kohli
2019 J jnl
MoËT: Interpretable and Verifiable Reinforcement Learning via Mixture of Expert Trees.
CoRR
Marko Vasic, Andrija Petrovic, Kaiyuan Wang, Mladen Nikolic, Rishabh Singh, Sarfraz Khurshid
2019 — conf
Neural Program Repair by Jointly Learning to Localize and Repair.
ICLR (Poster)
Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, Rishabh Singh
2019 J jnl
Neural Program Repair by Jointly Learning to Localize and Repair.
CoRR
Marko Vasic, Aditya Kanade, Petros Maniatis, David Bieber, Rishabh Singh
2019 J jnl
Neural-Guided Symbolic Regression with Semantic Prior.
CoRR
Li Li, Minjie Fan, Rishabh Singh, Patrick Riley
2019 J jnl
SyGuS-Comp 2018: Results and Analysis.
CoRR
Rajeev Alur, Dana Fisman, Saswat Padhi, Rishabh Singh, Abhishek Udupa
2019 — conf
Synthetic Datasets for Neural Program Synthesis.
ICLR (Poster)
Richard Shin, Neel Kant, Kavi Gupta, Chris Bender, Brandon Trabucco, Rishabh Singh, Dawn Song
2019 J jnl
Synthetic Datasets for Neural Program Synthesis.
CoRR
Richard Shin, Neel Kant, Kavi Gupta, Christopher Bender, Brandon Trabucco, Rishabh Singh, Dawn Song
2019 A* conf
VPDS: An AI-Based Automated Vehicle Occupancy and Violation Detection System.
AAAI
Abhinav Kumar, Aishwarya Gupta, Bishal Santra, K. S. Lalitha, Manasa Kolla, Mayank Gupta, Rishabh Singh
2018 B conf
Correntropy Based Hierarchical Linear Dynamical System For Speech Recognition.
IJCNN
Rishabh Singh, José C. Príncipe
2018 — conf
Deep Reinforcement Fuzzing.
IEEE Symposium on Security and Privacy Workshops
Konstantin Böttinger, Patrice Godefroid, Rishabh Singh
2018 J jnl
Deep Reinforcement Fuzzing.
CoRR
Konstantin Böttinger, Patrice Godefroid, Rishabh Singh
2018 — conf
Dynamic Neural Program Embeddings for Program Repair.
ICLR (Poster)
Ke Wang, Rishabh Singh, Zhendong Su
2018 J jnl
Execution-Guided Neural Program Decoding.
CoRR
Chenglong Wang, Po-Sen Huang, Alex Polozov, Marc Brockschmidt, Rishabh Singh
2018 A* conf
Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections.
NeurIPS
Xin Zhang, Armando Solar-Lezama, Rishabh Singh
2018 J jnl
Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections.
CoRR
Xin Zhang, Armando Solar-Lezama, Rishabh Singh
2018 — conf
Learning and Analyzing Vector Encoding of Symbolic Representation.
ICLR (Workshop)
Roland Fernandez, Asli Celikyilmaz, Paul Smolensky, Rishabh Singh
2018 J jnl
Learning and analyzing vector encoding of symbolic representations.
CoRR
Roland Fernandez, Asli Celikyilmaz, Rishabh Singh, Paul Smolensky
2018 — conf
Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis.
ICLR (Poster)
Rudy Bunel, Matthew J. Hausknecht, Jacob Devlin, Rishabh Singh, Pushmeet Kohli
2018 J jnl
Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis.
CoRR
Rudy Bunel, Matthew J. Hausknecht, Jacob Devlin, Rishabh Singh, Pushmeet Kohli
2018 — conf
Natural Language to Structured Query Generation via Meta-Learning.
NAACL-HLT (2)
Po-Sen Huang, Chenglong Wang, Rishabh Singh, Wen-tau Yih, Xiaodong He
2018 J jnl
Natural Language to Structured Query Generation via Meta-Learning.
CoRR
Po-Sen Huang, Chenglong Wang, Rishabh Singh, Wen-tau Yih, Xiaodong He
2018 Misc conf
Nearest-Instance-Centroid-Estimation Linear Discriminant Analysis (Nice Lda).
ICASSP
Rishabh Singh, Kan Li, José C. Príncipe
2018 A* conf
Neuro-symbolic program corrector for introductory programming assignments.
ICSE
Sahil Bhatia, Pushmeet Kohli, Rishabh Singh
2018 J jnl
Program Repair via Direct State Manipulation.
CoRR
Qinheping Hu, Isaac Evavold, Roopsha Samanta, Rishabh Singh, Loris D'Antoni
2018 J jnl
Program synthesis using abstraction refinement.
Proc. ACM Program. Lang.
Xinyu Wang, Isil Dillig, Rishabh Singh
2018 A* conf
Programmatically Interpretable Reinforcement Learning.
ICML
Abhinav Verma, Vijayaraghavan Murali, Rishabh Singh, Pushmeet Kohli, Swarat Chaudhuri
2018 J jnl
Programmatically Interpretable Reinforcement Learning.
CoRR
Abhinav Verma, Vijayaraghavan Murali, Rishabh Singh, Pushmeet Kohli, Swarat Chaudhuri
2018 A* conf
Search, align, and repair: data-driven feedback generation for introductory programming exercises.
PLDI
Ke Wang, Rishabh Singh, Zhendong Su
2018 J jnl
Search-based program synthesis.
Commun. ACM
Rajeev Alur, Rishabh Singh, Dana Fisman, Armando Solar-Lezama
2018 J jnl
Towards Mixed Optimization for Reinforcement Learning with Program Synthesis.
CoRR
Surya Bhupatiraju, Kumar Krishna Agrawal, Rishabh Singh
2018 J jnl
WebRelate: integrating web data with spreadsheets using examples.
Proc. ACM Program. Lang.
Jeevana Priya Inala, Rishabh Singh
2018 — conf
gAR-age: A Feedback-Enabled Blended Ecosystem for Vehicle Health Monitoring.
AutomotiveUI
Sitara Shah, Snigdha Petluru, Rishabh Singh, Saurabh Srivastava
2017 A conf
A Vector Quantization Based Feature Descriptor for Online Signature Verification.
ICDAR
Vivek Venugopal, Abhishek Sharma, Rishabh Singh, Abhinav Sharma, Suresh Sundaram
2017 — conf
AP: Artificial Programming.
SNAPL
Rishabh Singh, Pushmeet Kohli
2017 J jnl
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382).
Dagstuhl Reports
Ute Schmid, Stephen H. Muggleton, Rishabh Singh
2017 J jnl
Data-Driven Feedback Generation for Introductory Programming Exercises.
CoRR
Ke Wang, Rishabh Singh, Zhendong Su
2017 B conf
Data-Driven Feedback Generator for Online Programing Courses.
L@S
Ke Wang, Benjamin Lin, Bjorn Rettig, Paul Pardi, Rishabh Singh
2017 J jnl
Deep API Programmer: Learning to Program with APIs.
CoRR
Surya Bhupatiraju, Rishabh Singh, Abdel-rahman Mohamed, Pushmeet Kohli
2017 J jnl
Dynamic Neural Program Embedding for Program Repair.
CoRR
Ke Wang, Rishabh Singh, Zhendong Su
2017 J jnl
Learn&Fuzz: Machine Learning for Input Fuzzing.
CoRR
Patrice Godefroid, Hila Peleg, Rishabh Singh
2017 A* conf
Learn&Fuzz: machine learning for input fuzzing.
ASE
Patrice Godefroid, Hila Peleg, Rishabh Singh
2017 — conf
Neural Program Meta-Induction.
NIPS
Jacob Devlin, Rudy Bunel, Rishabh Singh, Matthew J. Hausknecht, Pushmeet Kohli
2017 J jnl
Neural Program Meta-Induction.
CoRR
Jacob Devlin, Rudy Bunel, Rishabh Singh, Matthew J. Hausknecht, Pushmeet Kohli
2017 — conf
Neuro-Symbolic Program Synthesis.
ICLR (Poster)
Emilio Parisotto, Abdel-rahman Mohamed, Rishabh Singh, Lihong Li, Dengyong Zhou, Pushmeet Kohli
2017 — conf
NoFAQ: synthesizing command repairs from examples.
ESEC/SIGSOFT FSE
Loris D'Antoni, Rishabh Singh, Michael Vaughn
2017 J jnl
Not all bytes are equal: Neural byte sieve for fuzzing.
CoRR
Mohit Rajpal, William Blum, Rishabh Singh
2017 J jnl
Program Synthesis using Abstraction Refinement.
CoRR
Xinyu Wang, Isil Dillig, Rishabh Singh
2017 J jnl
Program Synthesis.
Found. Trends Program. Lang.
Sumit Gulwani, Oleksandr Polozov, Rishabh Singh
2017 A* conf
RobustFill: Neural Program Learning under Noisy I/O.
ICML
Jacob Devlin, Jonathan Uesato, Surya Bhupatiraju, Rishabh Singh, Abdel-rahman Mohamed, Pushmeet Kohli
2017 J jnl
RobustFill: Neural Program Learning under Noisy I/O.
CoRR
Jacob Devlin, Jonathan Uesato, Surya Bhupatiraju, Rishabh Singh, Abdel-rahman Mohamed, Pushmeet Kohli
2017 J jnl
Semantic Code Repair using Neuro-Symbolic Transformation Networks.
CoRR
Jacob Devlin, Jonathan Uesato, Rishabh Singh, Pushmeet Kohli
2017 — conf
SyGuS-Comp 2017: Results and Analysis.
SYNT@CAV
Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
2017 J jnl
Synthesis of Data Completion Scripts using Finite Tree Automata.
CoRR
Xinyu Wang, Isil Dillig, Rishabh Singh
2017 J jnl
Synthesis of data completion scripts using finite tree automata.
Proc. ACM Program. Lang.
Xinyu Wang, Isil Dillig, Rishabh Singh
2017 J jnl
WebRelate: Integrating Web Data with Spreadsheets using Examples.
CoRR
Jeevana Priya Inala, Rishabh Singh
2016 J jnl
Automated Correction for Syntax Errors in Programming Assignments using Recurrent Neural Networks.
CoRR
Sahil Bhatia, Rishabh Singh
2016 J jnl
BlinkFill: Semi-supervised Programming By Example for Syntactic String Transformations.
Proc. VLDB Endow.
Rishabh Singh
2016 A conf
FIDEX: filtering spreadsheet data using examples.
OOPSLA
Xinyu Wang, Sumit Gulwani, Rishabh Singh
2016 J jnl
Neuro-Symbolic Program Synthesis.
CoRR
Emilio Parisotto, Abdel-rahman Mohamed, Rishabh Singh, Lihong Li, Dengyong Zhou, Pushmeet Kohli
2016 J jnl
NoFAQ: Synthesizing Command Repairs from Examples.
CoRR
Loris D'Antoni, Rishabh Singh, Michael Vaughn
2016 — conf
Qlose: Program Repair with Quantitative Objectives.
CAV (2)
Loris D'Antoni, Roopsha Samanta, Rishabh Singh
2016 J jnl
Summary - TerpreT: A Probabilistic Programming Language for Program Induction.
CoRR
Alexander L. Gaunt, Marc Brockschmidt, Rishabh Singh, Nate Kushman, Pushmeet Kohli, Jonathan Taylor, Daniel Tarlow
2016 — conf
SyGuS-Comp 2016: Results and Analysis.
SYNT@CAV
Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
2016 — conf
SyncWorld: A cloud storage/synchronization service using Java and Php.
WOCN
Rishabh Singh, Aman Abidi, Mohammed Abdul Qadeer
2016 J jnl
TerpreT: A Probabilistic Programming Language for Program Induction.
CoRR
Alexander L. Gaunt, Marc Brockschmidt, Rishabh Singh, Nate Kushman, Pushmeet Kohli, Jonathan Taylor, Daniel Tarlow
2016 A* conf
Transforming spreadsheet data types using examples.
POPL
Rishabh Singh, Sumit Gulwani
2016 A* conf
Understanding Conversational Programmers: A Perspective from the Software Industry.
CHI
Parmit K. Chilana, Rishabh Singh, Philip J. Guo
2015 J jnl
OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale.
ACM Trans. Comput. Hum. Interact.
Elena L. Glassman, Jeremy Scott, Rishabh Singh, Philip J. Guo, Robert C. Miller
2015 — conf
Predicting a Correct Program in Programming by Example.
CAV (1)
Rishabh Singh, Sumit Gulwani
2015 — conf
Results and Analysis of SyGuS-Comp'15.
SYNT
Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama
2015 — ch.
Syntax-Guided Synthesis.
Dependable Software Systems Engineering
Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shambwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa
2015 A* conf
User Interaction Models for Disambiguation in Programming by Example.
UIST
Mikaël Mayer, Gustavo Soares, Maxim Grechkin, Vu Le, Mark Marron, Oleksandr Polozov, Rishabh Singh, Benjamin G. Zorn, Sumit Gulwani
2014 — —
Accessible programming using program synthesis.
Rishabh Singh
2014 B conf
Feature engineering for clustering student solutions.
L@S
Elena L. Glassman, Rishabh Singh, Robert C. Miller
2014 B conf
Modular Synthesis of Sketches Using Models.
VMCAI
Rohit Singh, Rishabh Singh, Zhilei Xu, Rebecca Krosnick, Armando Solar-Lezama
2014 — conf
OverCode: visualizing variation in student solutions to programming problems at scale.
UIST (Adjunct Volume)
Elena L. Glassman, Jeremy Scott, Rishabh Singh, Philip J. Guo, Robert C. Miller
2013 A* conf
Automated feedback generation for introductory programming assignments.
PLDI
Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama
2013 B conf
Syntax-guided synthesis.
FMCAD
Rajeev Alur, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa
2012 J jnl
Automated Semantic Grading of Programs
CoRR
Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama
2012 J jnl
Learning Semantic String Transformations from Examples
CoRR
Rishabh Singh, Sumit Gulwani
2012 J jnl
Learning Semantic String Transformations from Examples.
Proc. VLDB Endow.
Rishabh Singh, Sumit Gulwani
2012 A* conf
SPT: Storyboard Programming Tool.
CAV
Rishabh Singh, Armando Solar-Lezama
2012 J jnl
Spreadsheet data manipulation using examples.
Commun. ACM
Sumit Gulwani, William R. Harris, Rishabh Singh
2012 A* conf
Synthesizing Number Transformations from Input-Output Examples.
CAV
Rishabh Singh, Sumit Gulwani
2011 — conf
Synthesizing data structure manipulations from storyboards.
SIGSOFT FSE
Rishabh Singh, Armando Solar-Lezama
2010 A* conf
Learning Component Interfaces with May and Must Abstractions.
CAV
Rishabh Singh, Dimitra Giannakopoulou, Corina S. Pasareanu
2009 A* conf
Equality and hashing for (almost) free: Generating implementations from abstraction functions.
ICSE
Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson
2009 — conf
Subsumer-First: Steering Symbolic Reachability Analysis.
SPIN
Andrey Rybalchenko, Rishabh Singh