Program synthesis - PDFSEARCH.IO - Document Search Engine

Program synthesis
Results: 338

#	Item
1	Program Synthesis Program Synthesis Sumit Gulwani Microsoft Research Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Software engineering Computing Computer programming Notation Programming language Benjamin C. Pierce P Oz
2	Solving (Quantified) Horn Constraints for Program Verification and Synthesis Andrey Rybalchenko (Microsoft Research) September 30, 2015 Add to Reading List Source URL: www.avacs.org Language: English - Date: 2015-10-01 02:29:41
3	Synthetic Datasets for Neural Program Synthesis Richard Shin 1 Neel Kant 1 2 Kavi Gupta 1 Christopher Bender 1 2 Brandon Trabucco 1 2 Rishabh Singh 3 Dawn SongIntroduction Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Machine learning Training test and validation sets Validity Probability distribution Artificial intelligence Cognition Cognitive science Computational neuroscience
4	Programming Languages and Machine Learning Martin Vechev DeepCode.ai and ETH Zurich PL Research: Last 10 years (sample) • (Semi-) Automated Program Synthesis Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:57:48 Probabilistic programming language Machine learning Information retrieval Cognition Cognitive science
5	Improving Neural Program Synthesis with Inferred Execution Traces Richard Shin 1 * Illia Polosukhin 2 Dawn Song 1 1. Introduction Add to Reading List Source URL: uclmr.github.io Language: English - Date: 2018-08-06 06:17:49 Computational neuroscience Artificial neural networks Applied mathematics Cybernetics Neuroscience Convolutional neural network Feature learning Deep learning Karel Neural network Long short-term memory Machine learning
6	Program Synthesis for Forth Forth Day 2012 Computer Science UC Berkeley Add to Reading List Source URL: www.forth.org Language: English - Date: 2012-11-30 12:06:23 Data types Software engineering Mathematics Computing Const Transpose Matrix Programming language syntax ELLA
7	©Copyright 2015 Daniel Perelman Program Synthesis Without Full Specifications for Novel Applications Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2015-06-16 13:45:52 Software engineering Computing Computer programming Algorithm Mathematical logic Theoretical computer science JavaScript Eval Futures and promises
8	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 Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Theoretical computer science Metaphysics Mathematical logic Temporal logic Computability theory Model theory Formal languages Finite-state machine Computation tree logic Abstraction Abstract interpretation IP
9	Compilation using Correct-by-Construction Program Synthesis by Clément Pit-Claudel Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2018-02-11 06:46:49
10	Scaling Program Synthesis by Exploiting Existing Code James Bornholt Emina Torlak University of Washington Add to Reading List Source URL: homes.cs.washington.edu - Date: 2016-11-23 00:38:16