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

First Page		Document Content
Date: 2018-09-05 10:56:02 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		Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland Add to Reading List Source URL: files.sri.inf.ethz.ch Download Document from Source Website File Size: 459,63 KB Share Document on Facebook

	Figaro: An Object-Oriented Probabilistic Programming Language Avi Pfeffer Charles River Analytics DocID: 1tbS8 - View Document
	Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland DocID: 1nTOT - View Document
	Abstract interpretation of probabilistic semantics David Monniaux http://www.di.ens.fr/~monniaux LIENS, 45 rue d’UlmParis cedex 5, France DocID: 1mct0 - View Document
	Picture: A Probabilistic Programming Language for Scene Perception Tejas D Kulkarni MIT Pushmeet Kohli Microsoft Research DocID: 1lUKr - View Document
	Stan: A probabilistic programming language for Bayesian inference and optimization∗ Andrew Gelman† Daniel Lee† DocID: 1lpah - View Document