R2: A Probabilistic Programming System

설립: July 16, 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
- 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 프로젝트

인원

Aditya Nori

Partner Research Manager

Sriram Rajamani

Corporate Vice President, Microsoft Research