Predicting a Correct Program in Programming by Example Rishabh Singh(B) and Sumit Gulwani Microsoft Research, Redmond, USA

Source URL: rishabhmit.bitbucket.io

• Computing
• Software engineering
• Computer programming
• Formal languages
• Scheme
• Regular expression
• Eval
• String
• Parameter
• Supervised learning

Program Synthesis Program Synthesis Sumit Gulwani Microsoft Research

Source URL: rishabhmit.bitbucket.io

• Software engineering
• Computing
• Computer programming
• Notation
• Programming language
• Benjamin C. Pierce
• P
• Oz

Learning Semantic String Transformations from Examples ∗ Rishabh Singh Sumit Gulwani

Source URL: rishabhmit.bitbucket.io

• Computer programming
• Computing
• Software engineering
• Formal languages
• Comparison of programming languages
• Regular expression
• Natural transformation
• Recursion
• Scheme
• String
• Lookup table
• Conditional

Transforming Spreadsheet Data Types using Examples Rishabh Singh Sumit Gulwani Microsoft Research, Redmond, USA

Source URL: rishabhmit.bitbucket.io

Automated Feedback Generation for Introductory Programming Assignments Rishabh Singh Sumit Gulwani

Source URL: rishabhmit.bitbucket.io

• Theoretical computer science
• Mathematics
• Mathematical logic
• Logic in computer science
• Computability theory
• Logic programming
• operator
• Python syntax and semantics
• Unification
• Dynamic programming
• Derivative
• Rewriting

FIDEX: Filtering Spreadsheet Data using Examples Xinyu Wang Sumit Gulwani UT Austin, USA

Source URL: rishabhmit.bitbucket.io

• Computer programming
• Software engineering
• Formal languages
• Theoretical computer science
• Computing
• Directed acyclic graph
• Filter
• Regular expression
• Recursion
• Finite-state machine

Programming by Examples: Logical Reasoning meets Machine Learning NAMPI Workshop July 2018 Sumit Gulwani

Source URL: uclmr.github.io

• SUMIT
• Spreadsheet
• Computing
• Framework
• Symposium on Principles of Programming Languages
• Computer science
• Electrical engineering

doi:Spreadsheet Data Manipulation Using Examples By Sumit Gulwani, William R. Harris, and Rishabh Singh

Source URL: rishabhmit.bitbucket.io

• Computing
• Software engineering
• Computer programming
• Formal languages
• Comparison of programming languages
• Expr
• String
• Spreadsheet
• Regular expression
• Parsing
• AWK
• Scheme

1 Design and Analysis of Optimal Random Access Policies in Cognitive Radio Networks Gang Uk Hwang, Member, IEEE, and Sumit Roy, Fellow, IEEE

Source URL: queue.kaist.ac.kr

Prof. Sumit Agarwal Colorado School of Mines, U.S.A. Sumit Agarwal is a Professor of Chemical and Biological Engineering at the Colorado School of Mines. He received his B.S. in Chemical Engineering from the Indian Insti

Source URL: icmap-2018.org