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
Publications
Publications by Year
-
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
-
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
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
Published by Microsoft
Probabilistic Inference Using Program Analysis
Andy Gordon, Aditya Nori, Sriram Rajamani
January 2013
Publications by Research Area
-
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
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
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
Published by Microsoft
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
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
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
Published by Microsoft
Probabilistic Inference Using Program Analysis
Andy Gordon, Aditya Nori, Sriram Rajamani
January 2013
Publications by Type
-
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
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
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
Published by Microsoft
People
Aditya Nori
Partner Research Manager
Sriram Rajamani
Corporate Vice President, Microsoft Research