R2: A Probabilistic Programming System

A Provably Correct Sampler for Probabilistic Programs

Chung-Kil Hur, Aditya Nori, Sriram Rajamani

Foundations of Software Technology and Theoretical Computer Science (FSTTCS) | December 2015

출판

Efficient Synthesis of Probabilistic Programs

Aditya Nori, Sherjil Ozair, Sriram Rajamani, Deepak Vijaykeerthy,

Programming Language Design and Implementation (PLDI) | June 2015

출판 출판 출판

R2: An Efficient MCMC Sampler for Probabilistic Programs

Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel

AAAI Conference on Artificial Intelligence (AAAI) | July 2014

출판

Slicing Probabilistic Programs

Chung-Kil Hur, Aditya Nori, Sriram Rajamani, Selva Samuel

Programming Language Design and Implementation (PLDI) | June 2014

출판

Probabilistic Programming

Andy Gordon, Thomas A. Henzinger, Aditya Nori, Sriram Rajamani

International Conference on Software Engineering (ICSE Future of Software Engineering) | May 2014

Publication

Semantics Sensitive Sampling for Probabilistic Programs

Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel

MSR-TR-2013-109 | October 2013

출판

Bayesian Inference Using Data Flow Analysis

Guillaume Claret, Sriram Rajamani, Aditya Nori, Andy Gordon, Johannes Borgström

ESEC/FSE 2013 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering | August 2013

Publication Publication

Efficiently Sampling Probabilistic Programs via Program Analysis

Arun T. Chaganty, Aditya Nori, Sriram Rajamani

Artificial Intelligence and Statistics (AISTATS) | April 2013

출판

A Model-Learner Pattern for Bayesian Reasoning

Andrew D. Gordon, Mihhail Aizatulin, Guillaume Claret, Thore Graepel, Aditya Nori, Sriram Rajamani, Claudio Russo, Johannes Borgstroem, Andy Gordon

MSR-TR-2013-1 | January 2013

글쓴이 Microsoft

Publication Publication 프로젝트

Probabilistic Inference Using Program Analysis

Andy Gordon, Aditya Nori, Sriram Rajamani

January 2013

출판

A Provably Correct Sampler for Probabilistic Programs

Chung-Kil Hur, Aditya Nori, Sriram Rajamani

Foundations of Software Technology and Theoretical Computer Science (FSTTCS) | December 2015

출판

Efficient Synthesis of Probabilistic Programs

Aditya Nori, Sherjil Ozair, Sriram Rajamani, Deepak Vijaykeerthy,

Programming Language Design and Implementation (PLDI) | June 2015

출판 출판 출판

R2: An Efficient MCMC Sampler for Probabilistic Programs

Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel

AAAI Conference on Artificial Intelligence (AAAI) | July 2014

출판

Slicing Probabilistic Programs

Chung-Kil Hur, Aditya Nori, Sriram Rajamani, Selva Samuel

Programming Language Design and Implementation (PLDI) | June 2014

출판

Probabilistic Programming

Andy Gordon, Thomas A. Henzinger, Aditya Nori, Sriram Rajamani

International Conference on Software Engineering (ICSE Future of Software Engineering) | May 2014

Publication

Semantics Sensitive Sampling for Probabilistic Programs

Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel

MSR-TR-2013-109 | October 2013

출판

Bayesian Inference Using Data Flow Analysis

Guillaume Claret, Sriram Rajamani, Aditya Nori, Andy Gordon, Johannes Borgström

ESEC/FSE 2013 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering | August 2013

Publication Publication

Efficiently Sampling Probabilistic Programs via Program Analysis

Arun T. Chaganty, Aditya Nori, Sriram Rajamani

Artificial Intelligence and Statistics (AISTATS) | April 2013

출판

A Model-Learner Pattern for Bayesian Reasoning

Andrew D. Gordon, Mihhail Aizatulin, Guillaume Claret, Thore Graepel, Aditya Nori, Sriram Rajamani, Claudio Russo, Johannes Borgstroem, Andy Gordon

MSR-TR-2013-1 | January 2013

글쓴이 Microsoft

Publication Publication 프로젝트

Probabilistic Inference Using Program Analysis

Andy Gordon, Aditya Nori, Sriram Rajamani

January 2013

출판

A Provably Correct Sampler for Probabilistic Programs

Chung-Kil Hur, Aditya Nori, Sriram Rajamani

Foundations of Software Technology and Theoretical Computer Science (FSTTCS) | December 2015

출판

Efficient Synthesis of Probabilistic Programs

Aditya Nori, Sherjil Ozair, Sriram Rajamani, Deepak Vijaykeerthy,

Programming Language Design and Implementation (PLDI) | June 2015

출판 출판 출판

R2: An Efficient MCMC Sampler for Probabilistic Programs

Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel

AAAI Conference on Artificial Intelligence (AAAI) | July 2014

출판

Slicing Probabilistic Programs

Chung-Kil Hur, Aditya Nori, Sriram Rajamani, Selva Samuel

Programming Language Design and Implementation (PLDI) | June 2014

출판

Probabilistic Programming

Andy Gordon, Thomas A. Henzinger, Aditya Nori, Sriram Rajamani

International Conference on Software Engineering (ICSE Future of Software Engineering) | May 2014

Publication

Semantics Sensitive Sampling for Probabilistic Programs

Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel

MSR-TR-2013-109 | October 2013

출판

Bayesian Inference Using Data Flow Analysis

Guillaume Claret, Sriram Rajamani, Aditya Nori, Andy Gordon, Johannes Borgström

ESEC/FSE 2013 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering | August 2013

Publication Publication

Efficiently Sampling Probabilistic Programs via Program Analysis

Arun T. Chaganty, Aditya Nori, Sriram Rajamani

Artificial Intelligence and Statistics (AISTATS) | April 2013

출판

A Model-Learner Pattern for Bayesian Reasoning

Andrew D. Gordon, Mihhail Aizatulin, Guillaume Claret, Thore Graepel, Aditya Nori, Sriram Rajamani, Claudio Russo, Johannes Borgstroem, Andy Gordon

MSR-TR-2013-1 | January 2013

글쓴이 Microsoft

Publication Publication 프로젝트

Probabilistic Inference Using Program Analysis

Andy Gordon, Aditya Nori, Sriram Rajamani

January 2013

출판

A Provably Correct Sampler for Probabilistic Programs

Chung-Kil Hur, Aditya Nori, Sriram Rajamani

Foundations of Software Technology and Theoretical Computer Science (FSTTCS) | December 2015

출판

Efficient Synthesis of Probabilistic Programs

Aditya Nori, Sherjil Ozair, Sriram Rajamani, Deepak Vijaykeerthy,

Programming Language Design and Implementation (PLDI) | June 2015

출판 출판 출판

R2: An Efficient MCMC Sampler for Probabilistic Programs

Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel

AAAI Conference on Artificial Intelligence (AAAI) | July 2014

출판

Slicing Probabilistic Programs

Chung-Kil Hur, Aditya Nori, Sriram Rajamani, Selva Samuel

Programming Language Design and Implementation (PLDI) | June 2014

출판

Probabilistic Programming

Andy Gordon, Thomas A. Henzinger, Aditya Nori, Sriram Rajamani

International Conference on Software Engineering (ICSE Future of Software Engineering) | May 2014

Publication

Bayesian Inference Using Data Flow Analysis

Guillaume Claret, Sriram Rajamani, Aditya Nori, Andy Gordon, Johannes Borgström

ESEC/FSE 2013 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering | August 2013

Publication Publication

Efficiently Sampling Probabilistic Programs via Program Analysis

Arun T. Chaganty, Aditya Nori, Sriram Rajamani

Artificial Intelligence and Statistics (AISTATS) | April 2013

출판

Probabilistic Inference Using Program Analysis

Andy Gordon, Aditya Nori, Sriram Rajamani

January 2013

출판

Semantics Sensitive Sampling for Probabilistic Programs

Aditya Nori, Chung-Kil Hur, Sriram Rajamani, Selva Samuel

MSR-TR-2013-109 | October 2013

출판

A Model-Learner Pattern for Bayesian Reasoning

Andrew D. Gordon, Mihhail Aizatulin, Guillaume Claret, Thore Graepel, Aditya Nori, Sriram Rajamani, Claudio Russo, Johannes Borgstroem, Andy Gordon

MSR-TR-2013-1 | January 2013

글쓴이 Microsoft

Publication Publication 프로젝트