Rishabh Singh

Orcid: 0000-0002-8950-4277

According to our database1, Rishabh Singh authored at least 113 papers between 2009 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Finding Local Dependent Regions in PDFs using RKHS Uncertainty Moments and Optimal Transport.
Proceedings of the International Joint Conference on Neural Networks, 2024

2023
Measuring the Impact of Programming Language Distribution.
Proceedings of the International Conference on Machine Learning, 2023

2022
TF-Coder: Program Synthesis for Tensor Manipulations.
ACM Trans. Program. Lang. Syst., 2022

Solving Program Sketches with Large Integer Values.
ACM Trans. Program. Lang. Syst., 2022

MoËT: Mixture of Expert Trees and its application to verifiable reinforcement learning.
Neural Networks, 2022

Prediction of Stress Level on Indian Working Professionals Using Machine Learning.
Int. J. Hum. Cap. Inf. Technol. Prof., 2022

Robust Dependence Measure using RKHS based Uncertainty Moments and Optimal Transport.
CoRR, 2022

Quantifying Model Uncertainty for Semantic Segmentation using Operators in the RKHS.
CoRR, 2022

ECG Fiducial Point Localization Using a Deep Learning Model.
Proceedings of the 21st IEEE International Conference on Machine Learning and Applications, 2022

Platt-Bin: Efficient Posterior Calibrated Training for NLP Classifiers.
Proceedings of the Findings of the Association for Computational Linguistics: ACL 2022, 2022

2021
Toward a Kernel-Based Uncertainty Decomposition Framework for Data and Models.
Neural Comput., 2021

Neurosymbolic Programming.
Found. Trends Program. Lang., 2021

Special Issue on Syntax-Guided Synthesis Preface.
Formal Methods Syst. Des., 2021

Question paper generation through progressive model and difficulty calculation on the Promexa Mobile Application.
Educ. Inf. Technol., 2021

Quantifying Model Predictive Uncertainty with Perturbation Theory.
CoRR, 2021

Deep Geospatial Interpolation Networks.
CoRR, 2021

Image to Image Translation : Generating maps from satellite images.
CoRR, 2021

A Kernel Framework to Quantify a Model's Local Predictive Uncertainty under Data Distributional Shifts.
CoRR, 2021

Learning Semantic Representations to Verify Hardware Designs.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

DAWSSM: A plug-and-play Drone Assisted Water Sampling and Sensing Module.
Proceedings of the IECON 2021, 2021

Latent Programmer: Discrete Latent Codes for Program Synthesis.
Proceedings of the 38th International Conference on Machine Learning, 2021

SpreadsheetCoder: Formula Prediction from Semi-structured Context.
Proceedings of the 38th International Conference on Machine Learning, 2021

Scaling Symbolic Methods using Gradients for Neural Model Explanation.
Proceedings of the 9th International Conference on Learning Representations, 2021

BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Exploration.
Proceedings of the 9th International Conference on Learning Representations, 2021

Bias: Bijective Input And Surjectivity In Zero Shot Learning.
Proceedings of the 2021 IEEE International Conference on Image Processing, 2021

2020
Augmented example-based synthesis using relational perturbation properties.
Proc. ACM Program. Lang., 2020

Joy of Learning Through Internet Memes.
Int. J. Eng. Pedagog., 2020

Deep Learning & Software Engineering: State of Research and Future Directions.
CoRR, 2020

BUSTLE: Bottom-up program-Synthesis Through Learning-guided Exploration.
CoRR, 2020

Neural Program Synthesis with a Differentiable Fixer.
CoRR, 2020

Towards Modular Algorithm Induction.
CoRR, 2020

Towards a Kernel based Physical Interpretation of Model Uncertainty.
CoRR, 2020

Artificial Intelligence and Machine Learning Empower Advanced Biomedical Material Design to Toxicity Prediction.
Adv. Intell. Syst., 2020

Time Series Analysis using a Kernel based Multi-Modal Uncertainty Decomposition Framework.
Proceedings of the Thirty-Sixth Conference on Uncertainty in Artificial Intelligence, 2020

Learning Discrete Energy-based Models via Auxiliary-variable Local Exploration.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Cyberbullying and Indian Society: Outcomes from Social Conclave Conference.
Proceedings of the IEEE International Symposium on Technology and Society, 2020

Generating Programmatic Referring Expressions via Program Synthesis.
Proceedings of the 37th International Conference on Machine Learning, 2020

Global Relational Models of Source Code.
Proceedings of the 8th International Conference on Learning Representations, 2020

Composite Dynamic Texture Synthesis Using Hierarchical Linear Dynamical System.
Proceedings of the 2020 IEEE International Conference on Acoustics, 2020

Solving Program Sketches with Large Integer Values.
Proceedings of the Programming Languages and Systems, 2020

2019
MoËT: Interpretable and Verifiable Reinforcement Learning via Mixture of Expert Trees.
CoRR, 2019

SyGuS-Comp 2018: Results and Analysis.
CoRR, 2019

Neural-Guided Symbolic Regression with Semantic Prior.
CoRR, 2019

Direct Manipulation for Imperative Programs.
Proceedings of the Static Analysis - 26th International Symposium, 2019

Learning Transferable Graph Exploration.
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Neural Program Repair by Jointly Learning to Localize and Repair.
Proceedings of the 7th International Conference on Learning Representations, 2019

Synthetic Datasets for Neural Program Synthesis.
Proceedings of the 7th International Conference on Learning Representations, 2019

VPDS: An AI-Based Automated Vehicle Occupancy and Violation Detection System.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Program synthesis using abstraction refinement.
Proc. ACM Program. Lang., 2018

WebRelate: integrating web data with spreadsheets using examples.
Proc. ACM Program. Lang., 2018

Execution-Guided Neural Program Decoding.
CoRR, 2018

Towards Mixed Optimization for Reinforcement Learning with Program Synthesis.
CoRR, 2018

Program Repair via Direct State Manipulation.
CoRR, 2018

Learning and analyzing vector encoding of symbolic representations.
CoRR, 2018

Search-based program synthesis.
Commun. ACM, 2018

Deep Reinforcement Fuzzing.
Proceedings of the 2018 IEEE Security and Privacy Workshops, 2018

Search, align, and repair: data-driven feedback generation for introductory programming exercises.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Interpreting Neural Network Judgments via Minimal, Stable, and Symbolic Corrections.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Natural Language to Structured Query Generation via Meta-Learning.
Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2018

Correntropy Based Hierarchical Linear Dynamical System For Speech Recognition.
Proceedings of the 2018 International Joint Conference on Neural Networks, 2018

Neuro-symbolic program corrector for introductory programming assignments.
Proceedings of the 40th International Conference on Software Engineering, 2018

Programmatically Interpretable Reinforcement Learning.
Proceedings of the 35th International Conference on Machine Learning, 2018

Dynamic Neural Program Embeddings for Program Repair.
Proceedings of the 6th International Conference on Learning Representations, 2018

Learning and Analyzing Vector Encoding of Symbolic Representation.
Proceedings of the 6th International Conference on Learning Representations, 2018

Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis.
Proceedings of the 6th International Conference on Learning Representations, 2018

Nearest-Instance-Centroid-Estimation Linear Discriminant Analysis (Nice Lda).
Proceedings of the 2018 IEEE International Conference on Acoustics, 2018

gAR-age: A Feedback-Enabled Blended Ecosystem for Vehicle Health Monitoring.
Proceedings of the 10th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, 2018

2017
Synthesis of data completion scripts using finite tree automata.
Proc. ACM Program. Lang., 2017

Program Synthesis.
Found. Trends Program. Lang., 2017

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382).
Dagstuhl Reports, 2017

SyGuS-Comp 2017: Results and Analysis.
Proceedings of the Proceedings Sixth Workshop on Synthesis, 2017

Dynamic Neural Program Embedding for Program Repair.
CoRR, 2017

Data-Driven Feedback Generation for Introductory Programming Exercises.
CoRR, 2017

Not all bytes are equal: Neural byte sieve for fuzzing.
CoRR, 2017

Semantic Code Repair using Neuro-Symbolic Transformation Networks.
CoRR, 2017

Deep API Programmer: Learning to Program with APIs.
CoRR, 2017

AP: Artificial Programming.
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

NoFAQ: synthesizing command repairs from examples.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Neural Program Meta-Induction.
Proceedings of the Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 2017

Data-Driven Feedback Generator for Online Programing Courses.
Proceedings of the Fourth ACM Conference on Learning @ Scale, 2017

Learn&Fuzz: machine learning for input fuzzing.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

RobustFill: Neural Program Learning under Noisy I/O.
Proceedings of the 34th International Conference on Machine Learning, 2017

Neuro-Symbolic Program Synthesis.
Proceedings of the 5th International Conference on Learning Representations, 2017

A Vector Quantization Based Feature Descriptor for Online Signature Verification.
Proceedings of the 14th IAPR International Conference on Document Analysis and Recognition, 2017

2016
BlinkFill: Semi-supervised Programming By Example for Syntactic String Transformations.
Proc. VLDB Endow., 2016

Summary - TerpreT: A Probabilistic Programming Language for Program Induction.
CoRR, 2016

TerpreT: A Probabilistic Programming Language for Program Induction.
CoRR, 2016

Automated Correction for Syntax Errors in Programming Assignments using Recurrent Neural Networks.
CoRR, 2016

SyGuS-Comp 2016: Results and Analysis.
Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

SyncWorld: A cloud storage/synchronization service using Java and Php.
Proceedings of the Thirteenth International Conference on Wireless and Optical Communications Networks, 2016

Transforming spreadsheet data types using examples.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

FIDEX: filtering spreadsheet data using examples.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Understanding Conversational Programmers: A Perspective from the Software Industry.
Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems, 2016

Qlose: Program Repair with Quantitative Objectives.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

OverCode: Visualizing Variation in Student Solutions to Programming Problems at Scale.
ACM Trans. Comput. Hum. Interact., 2015

Results and Analysis of SyGuS-Comp'15.
Proceedings of the Proceedings Fourth Workshop on Synthesis, 2015

User Interaction Models for Disambiguation in Programming by Example.
Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology, 2015

Predicting a Correct Program in Programming by Example.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Accessible programming using program synthesis.
PhD thesis, 2014

Modular Synthesis of Sketches Using Models.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

Feature engineering for clustering student solutions.
Proceedings of the First (2014) ACM Conference on Learning @ Scale, 2014

2013
Automated feedback generation for introductory programming assignments.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Syntax-guided synthesis.
Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012
Learning Semantic String Transformations from Examples.
Proc. VLDB Endow., 2012

Automated Semantic Grading of Programs
CoRR, 2012

Spreadsheet data manipulation using examples.
Commun. ACM, 2012

SPT: Storyboard Programming Tool.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

Synthesizing Number Transformations from Input-Output Examples.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011
Synthesizing data structure manipulations from storyboards.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

2010
Learning Component Interfaces with May and Must Abstractions.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
Subsumer-First: Steering Symbolic Reachability Analysis.
Proceedings of the Model Checking Software, 2009

Equality and hashing for (almost) free: Generating implementations from abstraction functions.
Proceedings of the 31st International Conference on Software Engineering, 2009


  Loading...