AP: Artificial Programming Rishabh Singh1 and Pushmeet Kohli1 1 Cognition Group, Microsoft Research ,

Source URL: rishabhmit.bitbucket.io

• Artificial neural networks
• Computational neuroscience
• Applied mathematics
• Computing
• Artificial intelligence
• Cognitive science
• Computational statistics
• Market research
• Convolutional neural network
• Deep learning
• Recurrent neural network
• Domain-specific language

BOXES: A Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Functions and mappings
• Function
• Graph of a function
• Abstraction
• Structure

Proceedings: Equality and Hashing for (Almost) Free: Generating Implementations from Abstraction Functions

Source URL: rishabhmit.bitbucket.io

• Computing
• Software engineering
• Computer programming
• Object-oriented programming languages
• Abstract data types
• Object
• Java
• Iterator
• Scala
• Abstraction
• Java collections framework
• Object-oriented programming

Program Synthesis using Abstraction Refinement XINYU WANG, University of Texas at Austin, USA ISIL DILLIG, University of Texas at Austin, USA RISHABH SINGH, Microsoft Research, USA We present a new approach to example-gu

Source URL: rishabhmit.bitbucket.io

• Theoretical computer science
• Metaphysics
• Mathematical logic
• Temporal logic
• Computability theory
• Model theory
• Formal languages
• Finite-state machine
• Computation tree logic
• Abstraction
• Abstract interpretation
• IP

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

Learning Component Interfaces with May and Must Abstractions Rishabh Singh1, , Dimitra Giannakopoulou2 , and Corina P˘ as˘areanu2 1

Source URL: rishabhmit.bitbucket.io

• Computing
• Combinatorics
• Formal languages
• Software engineering
• Character encoding
• String
• Abstraction
• Component-based software engineering

UFO: Verification with Interpolants and Abstract Interpretation Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Compilers
• LLVM
• Carnegie Mellon University
• Unidentified flying object
• Mellon
• Carnegie
• Arie
• Software

PDF Document

Source URL: bitbucket.org

PDF Document

Source URL: purelang.bitbucket.io

PDF Document

Source URL: puredocs.bitbucket.io