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

Phrase-Based Statistical Translation of Programming Languages Svetoslav Karaivanov Veselin Raychev

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

• Computing
• Software engineering
• Machine translation
• Linguistics
• Compiler construction
• Computational linguistics
• Applied linguistics
• Statistical natural language processing
• Statistical machine translation
• Parsing
• Translation
• Syntax

Downloading BSB Files from AusPayNet via FTP and FTPS AusPayNet Information Technology March 2018

Source URL: bsb.apca.com.au

• Computing
• Internet Standards
• Internet
• Free software
• Portable software
• Cross-platform software
• FileZilla
• File Transfer Protocol
• Comma-separated values
• Comparison of FTP client software
• Bank state branch
• FTPS

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

PSI: Exact Symbolic Inference for Probabilistic Programs Timon Gehr1 , Sasa Misailovic1,2 , and Martin Vechev1 1 2

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

• Mathematical analysis
• Probability theory
• Statistical theory
• Graphical models
• Normal distribution
• Infinitely divisible probability distributions
• Bayesian statistics
• Bayesian network
• Substitution
• Variational Bayesian methods
• Exponential family
• Dirac delta function

Blind in the Panopticon The decreasing marginal utility of access to information as an aspect of cyber policy The uncertain price of information There is no clear way, in the present, of deciding what information will be

Source URL: files.howtolivewiki.com

• Cybercrime
• Cyberwarfare
• Computer security
• Security
• National security
• Cyberattacks
• Cyberterrorism
• Internet privacy
• Social networking service
• Stuxnet
• Risk
• Strategic management

PDF Document

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

Inferring Crypto API Rules from Code Changes Rumen Paletov∗ Petar Tsankov ETH Zurich, Switzerland

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

Decentralized Application Development Automation Whitepaper Table of Contents Introduction Summary

Source URL: files.buddy.works

• Software development
• Computing
• Software
• Software development process
• Build automation
• Continuous integration
• Agile software development
• DevOps
• Information technology management
• Buddy
• Blockchain
• BuildMaster

Code Completion with Statistical Language Models Veselin Raychev Martin Vechev Eran Yahav

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