Bitbucket - PDFSEARCH.IO - Document Search Engine

Bitbucket
Results: 212

#	Item
1	LNCSModular Synthesis of Sketches Using Models Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Mathematics Function Computability theory Constraint programming Formal methods Theoretical computer science
2	Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University Add to Reading List Source URL: arieg.bitbucket.io Language: English - Date: 2018-10-19 18:15:18 Computing Software engineering Computer programming Carnegie Mellon University Carnegie Mellon Silicon Valley Abstract interpretation Mellon Scala Refinement
3	Search, Align, and Repair: Data-Driven Feedback Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Software engineering Computing Computer programming Procedural programming languages Programming languages High-level programming languages Functional languages Initialization Variable ALGOL 68 Pure Term
4	Microsoft Word - ConvProgrammersCHI16-CameraReadyFinal.docx Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computing Software engineering Information and communications technology Humancomputer interaction Computer science Computer programmers Technical communication End-user development Software design Programmer Software development Chatbot
5	LNCSSynthesizing Number Transformations from Input-Output Examples Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Formal languages Mathematics Computing Combinatorics Symbol Rounding String
6	002-061_Papers_untitled_01 Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Theoretical computer science Mathematics Logic in computer science Constraint programming Formal methods Electronic design automation NP-complete problems Satisfiability modulo theories Expression Algorithm Concolic testing Program synthesis
7	Predicting a Correct Program in Programming by Example Rishabh Singh(B) and Sumit Gulwani Microsoft Research, Redmond, USA Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computing Software engineering Computer programming Formal languages Scheme Regular expression Eval String Parameter Supervised learning
8	Rishabh Singh Í 1 Microsoft Way Redmond, WA 98052 Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computing Computer science Technology Symposium on Principles of Programming Languages SIGPLAN Actor model Programming Language Design and Implementation Spreadsheet Microsoft Research Microsoft
9	WebRelate: Integrating Web Data with Spreadsheets using Examples JEEVANA PRIYA INALA, MIT, USA RISHABH SINGH, Microsoft Research, USA Data integration between web sources and relational data is a key challenge faced by d Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Computing Software engineering Computer programming Formal languages Spreadsheet Regular expression Domain-specific language Data transformation Web scraping String Computer Scheme
10	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