Inference Plans for Hybrid Particle Filtering

Authors: Ellie Y. Cheng, Eric Atkinson, Guillaume Baudart, Louis Mandel, Michael Carbin

Contributors: Baudart, Guillaume, Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory

Source: Proceedings of the ACM on Programming Languages. 9:271-299

Subject Terms: FOS: Computer and information sciences, Computer Science - Programming Languages, Artificial Intelligence (cs.AI), Probabilistic programming languages, Computer Science - Artificial Intelligence, Abstract interpretation, Static analysis, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Programming Languages (cs.PL)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2408.11283
https://hal.science/hal-04928774v1
https://doi.org/10.1145/3704846
https://hal.science/hal-04928774v1/document

Modelling Recursion and Probabilistic Choice in Guarded Type Theory

Authors: Philipp Stassen, Rasmus Ejlers Møgelberg, Maaike Annebet Zwart, Alejandro Aguirre, Lars Birkedal

Source: Stassen, P, Møgelberg, R E, Zwart, M A, Aguirre, A & Birkedal, L 2025, 'Modelling Recursion and Probabilistic Choice in Guarded Type Theory', Proceedings of the ACM on Programming Languages, vol. 9, no. POPL, 48, pp. 1417-1445. https://doi.org/10.1145/3704884

Subject Terms: Probabilistic Programming Languages, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Type Theory, F.3.2, Guarded Recursion, F.3.1, Recursive Types, Programming Languages (cs.PL), Logic in Computer Science (cs.LO)

File Description: application/pdf

Access URL: http://arxiv.org/abs/2408.04455

Querying Labeled Time Series Data with Scenario Programs

Authors: Kim, Edward^Aff11, Shanker, Devan^Aff11, Bharadwaj, Varun^Aff11, Park, Hongbeen^Aff12, Kim, Jinkyu^Aff12, Torfah, Hazem^Aff13, Fremont, Daniel J.^Aff14, Seshia, Sanjit A.^Aff11

Contributors: Goos, Gerhard, Series Editor^{Aff1, Aff3}, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff4, Gao, Wen, Editorial Board Member^Aff5, Steffen, Bernhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Dutle, Aaron, editor^Aff8, Humphrey, Laura, editor^Aff9, Titolo, Laura, editor^Aff10

Source: NASA Formal Methods : 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings. 15682:201-226

Probabilistic Programming Languages for Modeling Autonomous Systems

Authors: Mahdi Shamsi, Seyed, Pietro Farina, Gian, Gaboardi, Marco, Napp, Nils

Source: 2020 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI) Multisensor Fusion and Integration for Intelligent Systems (MFI), 2020 IEEE International Conference on. :32-39 Sep, 2020

Relation: 2020 IEEE International Conference on Multisensor Fusion and Integration for Intelligent Systems (MFI)

Integration in Cones

Authors: Ehrhard, Thomas, Geoffroy, Guillaume

Contributors: Ehrhard, Thomas

Source: Logical Methods in Computer Science, Vol Volume 21, Issue 1 (2025)

Subject Terms: Denotational semantics, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], BC1-199, Logic, Integration, Probabilistic coherence spaces, Linear logic, QA75.5-76.95, Measurable spaces, Logic in Computer Science (cs.LO), computer science - logic in computer science, Positive cones, Probabilistic programming languages, Electronic computers. Computer science

File Description: application/pdf

Access URL: http://arxiv.org/abs/2212.02371
https://doaj.org/article/58f24ef735724fb58bcd556560d8bbb8
https://hal.science/hal-03883861v4/document
https://hal.science/hal-03883861v4

Modelling Recursion and Probabilistic Choice in Guarded Type Theory

Authors: Stassen, Philipp, Møgelberg, Rasmus Ejlers, Zwart, Maaike Annebet, Aguirre, Alejandro, Birkedal, Lars

Source: Stassen, P, Møgelberg, R E, Zwart, M A, Aguirre, A & Birkedal, L 2025, 'Modelling Recursion and Probabilistic Choice in Guarded Type Theory', Proceedings of the ACM on Programming Languages, vol. 9, no. POPL. https://doi.org/10.1145/370488

Subject Terms: Probabilistic Programming Languages, Type Theory, Guarded Recursion, Recursive Types

File Description: application/pdf

Availability: https://pure.itu.dk/portal/da/publications/b6ae2ca3-8ed8-4b1c-b7ac-53993a159118
https://doi.org/10.1145/370488
https://pure.itu.dk/ws/files/108679372/popl2025-preprint.pdf
https://arxiv.org/abs/2408.04455

Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference

Authors: Lundén, Daniel, 1993, Öhman, Joey, Kudlicka, Jan, Senderov, Viktor, Ronquist, Fredrik, Broman, David, 1977

Source: Programming Languages and Systems Lecture Notes in Computer Science. :29-56

Subject Terms: Probabilistic Programming Languages, Sequential Monte Carlo, GPU Compilation, Datalogi, Computer Science

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-311254
https://doi.org/10.1007/978-3-030-99336-8_2

Probabilistic (logic) programming concepts

Authors: De Raedt, Luc, 1964, Kimmig, Angelika

Source: Machine Learning. 100(1):5-47

Subject Terms: Probabilistic programming languages, Probabilistic logic programming, Statistical relational learning, Inference in probabilistic languages

File Description: print

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-86351
https://doi.org/10.1007/s10994-015-5494-z

Correct and Efficient Monte Carlo Inference for Universal Probabilistic Programming Languages

Authors: Lundén, Daniel, 1993

Contributors: Broman, David, Professor, 1977, Murray, Lawrence, Doktor, Jaldén, Joakim, Professor, 1976, Staton, Sam, Professor

Source: TRITA-EECS-AVL.

Subject Terms: Probabilistic programming languages, Compilers, Static program analysis, Monte Carlo inference, Operational semantics, Probabilistiska programmeringsspråk, Kompilatorer, Statisk programanalys, Monte Carlo-inferens, Operationell semantik, Informations- och kommunikationsteknik, Information and Communication Technology

File Description: electronic

Access URL: https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-324496
https://kth.diva-portal.org/smash/get/diva2:1741049/FULLTEXT01.pdf

Noncomputable Conditional Distributions

Authors: Ackerman, Nathanael L., Freer, Cameron E., Roy, Daniel M.

Source: 2011 IEEE 26th Annual Symposium on Logic in Computer Science Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on. :107-116 Jun, 2011

Relation: 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011)

Cones as a model of intuitionistic linear logic

Authors: Ehrhard, Thomas

Contributors: Ehrhard, Thomas

Source: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science. :370-383

Subject Terms: Denotational semantics, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], linear logic, 0202 electrical engineering, electronic engineering, information engineering, Categorical semantics Denotational semantics, CCS Concepts: • Theory of computation → Denotational semantics, 02 engineering and technology, probabilistic programming languages

File Description: application/pdf

Access URL: https://hal.archives-ouvertes.fr/hal-02436161v2/file/main.pdf
https://hal.archives-ouvertes.fr/hal-02436161v3
https://doi.org/10.1145/3373718.3394758
https://hal.archives-ouvertes.fr/hal-02436161/document
https://dblp.uni-trier.de/db/conf/lics/lics2020.html#Ehrhard20

A Compositional Bayesian Semantics for Natural Language

Authors: Bernardy, Jean-Philippe, 1978, Blanck, Rasmus, 1982, Chatzikyriakidis, Stergios, 1980, Lappin, Shalom, 1950

Source: Proceedings of the First International Workshop on Language Cognition and Computational Models, COLING 2018, August 20, 2018 Santa Fe, New Mexico, USA / Manjira Sinha, Tirthankar Dasgupta (Editors). :1-10

Subject Terms: Natural Language Processing, Språkbehandling och datorlingvistik, Bayesian models, probabilistic semantics, probabilistic programming languages, Markov Chain Monte Carlo sampling

File Description: electronic

Access URL: https://gup.ub.gu.se/publication/269415
https://gup.ub.gu.se/publication/269415

Storm: program reduction for testing and debugging probabilistic programming systems

Authors: Dutta, Saikat, Zhang, Wenxian, Huang, Zixin, Misailovic, Sasa

Source: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. :729-739

Availability: http://dl.acm.org/doi/10.1145/3338906.3338972

Probabilistic Modeling of Bursts and Gradual Changes of Diversification Rates in Bird Evolution

Authors: Senderov, Viktor, Kudlicka, Jan, Lartillot, Nicolas, Lundén, Daniel, Quintero, Ignacio, Morlon, Hélène, Broman, David, Ronquist, Fredrik

Source: Congress of European Society of Evolutionary Biology

Subject Terms: phylogenetics, diversification, geometric Brownian motion, bird evolution, probabilistic programming languages, C++

Testing probabilistic programming systems

Authors: Dutta, Saikat, Legunsen, Owolabi, Huang, Zixin, Misailovic, Sasa

Source: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. :574-586

Availability: http://dl.acm.org/doi/10.1145/3236024.3236057

Integration in Cones

Authors: Ehrhard, Thomas, Geoffroy, Guillaume

Contributors: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Université Paris Cité (UPCité), IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale, ANR-19-CE48-0014,PPS,Sémantique des programmes probabilistes(2019)

Source: https://hal.science/hal-03883861 ; IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale. 2022.

Subject Terms: denotational semantics, linear logic, positive cones, probabilistic coherence spaces, measurable spaces, integration, probabilistic programming languages, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2212.02371; hal-03883861; https://hal.science/hal-03883861; https://hal.science/hal-03883861v2/document; https://hal.science/hal-03883861v2/file/cones.pdf; ARXIV: 2212.02371

Availability: https://hal.science/hal-03883861
https://hal.science/hal-03883861v2/document
https://hal.science/hal-03883861v2/file/cones.pdf

Proof Techniques for Program Equivalence in Probabilistic Higher-Order Languages (Invited Talk)

Authors: Vignudelli, Valeria

Contributors: Valeria Vignudelli

Subject Terms: Lambda Calculus, Contextual Equivalence, Bisimulation, Probabilistic Programming Languages

File Description: application/pdf

Relation: Is Part Of LIPIcs, Volume 108, 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2018.4

Availability: https://doi.org/10.4230/LIPIcs.FSCD.2018.4
https://nbn-resolving.org/urn:nbn:de:0030-drops-91749
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2018.4

Computable Exchangeable Sequences Have Computable de Finetti Measures

Authors: Freer, Cameron E.^Aff19, Roy, Daniel M.^Aff20

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Ambos-Spies, Klaus, editor^Aff16, Löwe, Benedikt, editor^Aff17, Merkle, Wolfgang, editor^Aff18

Source: Mathematical Theory and Computational Practice : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings. 5635:218-231

Computable de Finetti measures

Authors: Cameron E. Freer, Daniel M. Roy

Source: Annals of Pure and Applied Logic. 163:530-546

Subject Terms: The de Finetti theorem, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, 03D78, 60G09, 68Q10, 03F60, 68N18, Logic, Probability (math.PR), Mathematics - Statistics Theory, Machine Learning (stat.ML), Mathematics - Logic, Statistics Theory (math.ST), 0102 computer and information sciences, 01 natural sciences, Logic in Computer Science (cs.LO), Computable probability theory, Probabilistic programming languages, Statistics - Machine Learning, Exchangeability, Mutation, FOS: Mathematics, 0101 mathematics, Logic (math.LO), Mathematics - Probability, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/0912.1072

Bayesian Inference Semantics: A Modelling System and A Test Suite

Authors: Bernardy, Jean-Philippe, 1978, Blanck, Rasmus, 1982, Chatzikyriakidis, Stergios, 1980, Lappin, Shalom, 1950, Maskharashvili, Aleksandre, 1987

Source: Proceedings of the Eighth Joint Conference on Lexical and Computational Semantics (*SEM), June 2019, Minneapolis, Minnesota, USA / Rada Mihalcea, Ekaterina Shutova, Lun-Wei Ku, Kilian Evang, Soujanya Poria (Editors). :263-272

Subject Terms: Natural Language Processing, Språkbehandling och datorlingvistik, Comparative Language Studies and Linguistics, Jämförande språkvetenskap och allmän lingvistik, Bayesian models, probabilistic semantics, probabilistic programming languages, Markov Chain Monte Carlo sampling, generalised quantifiers, vague predicates, compositionality, inference

Access URL: https://gup.ub.gu.se/publication/281054