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: 2015-04-14 05:42:43 Computing Artificial intelligence Machine learning Graphical models Structured prediction Computational statistics Statistical classification Conditional random field Probabilistic programming language Inference Artificial neural network 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: www.srl.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