Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland

Source URL: files.sri.inf.ethz.ch

• Probability and statistics
• Probability theory
• Artificial intelligence
• Machine learning
• Computational statistics
• Graphical models
• Computational linguistics
• Natural language processing
• Conditional random field
• Probabilistic programming language
• Inference
• Support vector machine

Learning a Static Analyzer from Data Pavol Bielik, Veselin Raychev, and Martin Vechev Department of Computer Science, ETH Z¨ urich, Switzerland {pavol.bielik, veselin.raychev, martin.vechev}@inf.ethz.ch

Source URL: files.sri.inf.ethz.ch

• Applied mathematics
• Cognition
• Cybernetics
• Learning
• Machine learning
• Artificial neural network
• Analysis
• Algorithm
• Mathematics

Machine Learning for Programs Martin Vechev Pavol Bielik Department of Computer Science

Source URL: files.sri.inf.ethz.ch

• Computing
• Application software
• Computer science
• Machine learning
• Conditional random field
• Symposium on Principles of Programming Languages
• Programming Language Design and Implementation
• R
• Structured prediction

PHOG: Probabilistic Model for Code Pavol Bielik, Veselin Raychev, Martin Vechev Software Reliability Lab Department of Computer Science ETH Zurich

Source URL: files.sri.inf.ethz.ch

• Async/await
• Control flow
• Stan
• Symposium on Principles of Programming Languages
• Phog
• Machine learning
• Futures and promises
• PL
• Probability and statistics
• Computing
• Software engineering

Published as a conference paper at ICLRP ROGRAM S YNTHESIS FOR C HARACTER L EVEL L ANGUAGE M ODELING Pavol Bielik, Veselin Raychev & Martin Vechev Department of Computer Science, ETH Z¨urich, Switzerland

Source URL: files.sri.inf.ethz.ch

• Artificial neural networks
• Computational neuroscience
• Machine learning
• Artificial intelligence
• Applied mathematics
• Computational linguistics
• Natural language processing
• Speech recognition
• Convolutional neural network
• Language model
• Long short-term memory
• Neural network

Royal Highland Show Cookies Policy Cookies are small text files placed on your computer or device by websites you visit. They are used to improve your experience as a visitor, and make websites function properly or more

Source URL: www.royalhighlandshow.org

Richard Jefferies Society Privacy Statement What are cookies? ‘Cookies’ are small text files that are stored by the browser (e.g. Internet Explorer or Safari) on your computer or mobile phone. They allow websites to

Source URL: richardjefferiessociety.co.uk

CounterTrace II Quick Start Guide Step 1: Installing the CounterTrace software a. Create a new folder called CounterTraceII on your computer. b. Copy the CounterTrace.exe and ctw.chm files to the CounterTraceII folder.

Source URL: www.nucleics.com

A Library to Manage Web Archive Files in Cloud Storage Yinlin Chen1,2 , Zhiwu Xie2 , and Edward A. Fox1 1 Department of Computer Science, 2 University Libraries Virginia Tech, Blacksburg, VA 24061

Source URL: www.ieee-tcdl.org

Cookies in use on the DSC website Our website uses cookies, as almost all websites do, to help provide you with the best experience we can. Cookies are small text files that are placed on your computer or mobile phone wh

Source URL: www.dsc.org.uk