Rishabh Singh

According to our database1, Rishabh Singh authored at least 75 papers between 2009 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Augmented example-based synthesis using relational perturbation properties.
PACMPL, 2020

Towards a Kernel based Physical Interpretation of Model Uncertainty.
CoRR, 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.
PACMPL, 2018

WebRelate: integrating web data with spreadsheets using examples.
PACMPL, 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.
PACMPL, 2017

Program Synthesis.
Foundations and Trends in Programming Languages, 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.
PVLDB, 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.
PVLDB, 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...