skip to main content
10.1145/2429069.2429117acmconferencesArticle/Chapter ViewAbstractPublication PagespoplConference Proceedingsconference-collections
keynote

The principles and practice of probabilistic programming

Published: 23 January 2013 Publication History
First page of PDF

Supplementary Material

JPG File (r1d3_talk2.jpg)
MP4 File (r1d3_talk2.mp4)

References

[1]
N. Ackerman, C. Freer, and D. Roy. Noncomputable conditional distributions. In Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on, pages 107--116. IEEE, 2011.
[2]
M. Frank and N. Goodman. Predicting pragmatic reasoning in language games. Science, 336 (6084): 998--998, 2012.
[3]
C. E. Freer and D. M. Roy. Computable de Finetti measures. Annals of Pure and Applied Logic, 163 (5): 530--546, 2012. 10.1016/j.apal.2011.06.011.% URL% http://www.sciencedirect.com/science/article/pii/S0168007211000868.
[4]
T. Gerstenberg and N. D. Goodman. Ping pong in Church: Productive use of concepts in human probabilistic inference. In Proceedings of the 34th annual conference of the cognitive science society, 2012.
[5]
N. Goodman and A. Stuhlmüller. Knowledge and implicature: Modeling language understanding as social cognition. Topics in Cognitive Science, 2013.
[6]
N. Goodman, V. Mansinghka, D. Roy, K. Bonawitz, and J. Tenenbaum. Church: A language for generative models. In phIn UAI, 2008.
[7]
C. Jones and G. Plotkin. A probabilistic powerdomain of evaluations. In Logic in Computer Science (LICS), 1989 4th Annual IEEE Symposium on, pages 186--195, Jun 1989. 10.1109/LICS.1989.39173.
[8]
A. Kimmig, B. Demoen, L. De Raedt, V. S. Costa, and R. Rocha. On the implementation of the probabilistic logic programming language ProbLog. Theory and Practice of Logic Programming, 11 (2--3): 235--262, 2011.
[9]
O. Kiselyov and C. Shan. Embedded probabilistic programming. In Domain-Specific Languages, pages 360--384, 2009.
[10]
D. Koller and N. Friedman. Probabilistic graphical models: principles and techniques. MIT press, 2009.
[11]
A. McCallum, K. Schultz, and S. Singh. Factorie: Probabilistic programming via imperatively defined factor graphs. In Neural Information Processing Systems Conference (NIPS), 2009.
[12]
B. Milch, B. Marthi, S. Russell, D. Sontag, D. L. Ong, and A. Kolobov. BLOG: Probabilistic models with unknown objects. In International Joint Conference on Artificial Intelligence (IJCAI), pages 1352--1359, 2005.
[13]
A. Pfeffer. IBAL: A probabilistic rational programming language. In International Joint Conference on Artificial Intelligence (IJCAI), pages 733--740. Morgan Kaufmann Publ., 2001.
[14]
A. Pfeffer. Figaro: An object-oriented probabilistic programming language. Charles River Analytics Technical Report, 2009.
[15]
D. Poole. The independent choice logic and beyond. Probabilistic inductive logic programming, pages 222--243, 2008.
[16]
M. Richardson and P. Domingos. Markov logic networks. Machine Learning, 62: 107--136, 2006.
[17]
T. Sato and Y. Kameya. PRISM: A symbolic-statistical modeling language. In International Joint Conference on Artificial Intelligence (IJCAI), 1997.
[18]
A. Stuhlmüller and N. Goodman. A dynamic programming algorithm for inference in recursive probabilistic programs. arXiv preprint arXiv:1206.3555, 2012.
[19]
D. Wingate, N. Goodman, A. Stuhlmueller, and J. Siskind. Nonstandard interpretations of probabilistic programs for efficient inference. In Advances in Neural Information Processing Systems 23, 2011.
[20]
D. Wingate, A. Stuhlmueller, and N. Goodman. Lightweight implementations of probabilistic programming languages via transformational compilation. In pProceedings of the 14th international conference on Artificial Intelligence and Statistics, page 131, 2011.
[21]
L. Yang, P. Hanrahan, and N. Goodman. Incrementalizing mcmc on probabilistic programs through tracing and slicing. Under review.
[22]
Y. Yeh, L. Yang, M. Watson, N. Goodman, and P. Hanrahan. Synthesizing open worlds with constraints using locally annealed reversible jump mcmc. ACM Transactions on Graphics (TOG), 31 (4): 56, 2012.

Cited By

View all

Index Terms

  1. The principles and practice of probabilistic programming

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    POPL '13: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    January 2013
    586 pages
    ISBN:9781450318327
    DOI:10.1145/2429069
    • cover image ACM SIGPLAN Notices
      ACM SIGPLAN Notices  Volume 48, Issue 1
      POPL '13
      January 2013
      561 pages
      ISSN:0362-1340
      EISSN:1558-1160
      DOI:10.1145/2480359
      Issue’s Table of Contents

    Sponsors

    In-Cooperation

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 23 January 2013

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. probabilistic models
    2. probabilistic programs

    Qualifiers

    • Keynote

    Conference

    POPL '13
    Sponsor:

    Acceptance Rates

    Overall Acceptance Rate 860 of 4,328 submissions, 20%

    Upcoming Conference

    POPL '26

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)53
    • Downloads (Last 6 weeks)5
    Reflects downloads up to 19 Feb 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2022)Generative Datalog with Continuous DistributionsJournal of the ACM10.1145/355910269:6(1-52)Online publication date: 30-Aug-2022
    • (2021)VateProceedings of the 1st Workshop on Machine Learning and Systems10.1145/3437984.3458835(62-69)Online publication date: 26-Apr-2021
    • (2020)On Fault Tolerance, Locality, and Optimality in Locally Repairable CodesACM Transactions on Storage10.1145/338183216:2(1-32)Online publication date: 22-May-2020
    • (2020)Generative Datalog with Continuous DistributionsProceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems10.1145/3375395.3387659(347-360)Online publication date: 14-Jun-2020
    • (2019)A 4/3-Approximation Algorithm for the Minimum 2-Edge Connected Subgraph ProblemACM Transactions on Algorithms10.1145/334159915:4(1-28)Online publication date: 4-Oct-2019
    • (2019)HackPPL: a universal probabilistic programming languageProceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages10.1145/3315508.3329974(20-28)Online publication date: 22-Jun-2019
    • (2018)Probabilistic Stable Functions on Discrete Cones are Power SeriesProceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science10.1145/3209108.3209198(275-284)Online publication date: 9-Jul-2018
    • (2018)BotMapACM Transactions on Computer-Human Interaction10.1145/320446025:4(1-42)Online publication date: 7-Sep-2018
    • (2018)Personal Mobile Messaging in ContextACM Transactions on Computer-Human Interaction10.1145/320140425:4(1-33)Online publication date: 20-Aug-2018
    • (2018)Strategic port graph rewriting: an interactive modelling frameworkMathematical Structures in Computer Science10.1017/S0960129518000270(1-48)Online publication date: 2-Aug-2018
    • Show More Cited By

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media