Bitbucket - PDFSEARCH.IO - Document Search Engine

Bitbucket
Results: 212

#	Item
21	Subsumer-First: Steering Symbolic Reachability Analysis Andrey Rybalchenko1 and Rishabh Singh2 1 Max Planck Institute for Software Systems (MPI-SWS) Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Metaphysics Data types Search algorithms Mathematics Model checking Tree Information science Abstraction B-tree Breadth-first search Reachability FO
22	Synthesizing Data-structure Manipulations from Storyboards Rishabh Singh Armando Solar-Lezama Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computer programming Software engineering Computing Recursion Binary trees Data types Category theory Theoretical computer science Tree Linked list Predicate Anamorphism
23	Arie Gurfinkel Department of Electrical and Computer Engineering University of Waterloo 200 University Ave. W., Waterloo, ON, N2L 3G1 Canada Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Theoretical computer science Computer science Formal methods Computing Logic in computer science European Joint Conferences on Theory and Practice of Software Computer Aided Verification Software verification Formal verification Edmund M. Clarke Satisfiability modulo theories Verification
24	BlinkFill: Semi-supervised Programming By Example for Syntactic String Transformations Rishabh Singh Microsoft Research, Redmond, USA Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computing Formal languages Computer programming Mathematics String Substring Regular expression Rope Expr Hash function Recursion Longest common substring problem
25	Published as a conference paper at ICLRL EVERAGING G RAMMAR AND R EINFORCEMENT L EARNING FOR N EURAL P ROGRAM S YNTHESIS arXiv:1805.04276v1 [cs.LG] 11 May 2018 Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computational neuroscience Computing Artificial intelligence Machine learning Artificial neural networks Learning Convolutional neural network Long short-term memory Syntax Training test and validation sets Supervised learning Object Process Methodology
26	Automated Feedback Generation for Introductory Programming Assignments Rishabh Singh Sumit Gulwani Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Theoretical computer science Mathematics Mathematical logic Logic in computer science Computability theory Logic programming operator Python syntax and semantics Unification Dynamic programming Derivative Rewriting
27	Qlose: Program Repair with Quantitative Objectives⋆ Loris D’Antoni1 , Roopsha Samanta2 , and Rishabh Singh3 1 University of Wisconsin-Madison Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computing Computer programming Software engineering Source code Syntax Dependency grammar Expr NC For loop Term
28	LNCSSPT: Storyboard Programming Tool Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computer programming Software engineering Computing Data types Recursion Binary trees Theoretical computer science Subroutines Linked list Tree Binary search tree ALGOL 68
29	RobustFill: Neural Program Learning under Noisy I/O Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computational neuroscience Artificial neural networks Applied mathematics Cognitive science Neuroscience Computational statistics Market research Mathematical psychology Neural network Machine learning Recurrent neural network Memory
30	Results and Analysis of SyGuS-Comp’15 Rajeev Alur Dana Fisman University of Pennsylvania Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Theoretical computer science Mathematical software Computing Logic in computer science Electronic design automation Formal methods NP-complete problems Constraint programming Satisfiability modulo theories Solver Benchmark Nl

UPDATE