Tue 9 Jan 2018 10:15 - 10:17 at Bradbury - POSTER SESSION (14 posters - not talks)

Ideally, a probabilistic programming language should admit a computable semantics. But languages often provide operators that denote uncomputable functions, such as comparison of real numbers. While the use of these uncomputable operators may result in uncomputable programs, a programmer can productively use these operators and still produce a computable program, such as one that compares a real number drawn from a normal distribution with 0.

We propose locale theory, and particularly non-spatial sublocales, as a constructive semantic framework for probabilistic programming. Whereas in measure theory, measurable spaces may not have a smallest probability-1 subspace (for a given probability distribution), some locales have smallest probability-1 sublocales, called random sublocales. Partial functions that almost surely terminate and discontinuous functions that are almost everywhere continuous become terminating and continuous, respectively, when restricted to random sublocales. We present a definition of disintegration and provide an example distribution where in locale theory, a unique continuous disintegration exists using random sublocales, whereas classically the disintegration is discontinuous and is only unique up to null sets.

Tue 9 Jan

pps-2018
10:00 - 10:30: PPS 2018 - POSTER SESSION (14 posters - not talks) at Bradbury
pps-201810:00 - 10:02
Talk
Nils NappSUNY at Buffalo, Marco GaboardiUniversity at Buffalo, SUNY
pps-201810:02 - 10:04
Talk
C.-H. Luke OngUniversity of Oxford, Matthijs VákárUniversity of Oxford
pps-201810:04 - 10:06
Talk
Javier Burroni, Arjun GuhaUniversity of Massachusetts, Amherst, David JensenUniversity of Massachusetts Amherst
Pre-print
pps-201810:06 - 10:08
Talk
pps-201810:08 - 10:10
Talk
Mathias Ruggaard PedersenAalborg University, Nathanaël FijalkowAlan Turing Institute, Giorgio BacciAalborg University, Kim LarsenAalborg University, Radu MardareAalborg University
pps-201810:10 - 10:12
Talk
Avi PfefferCharles River Analytics
pps-201810:12 - 10:15
Talk
Link to publication Pre-print
pps-201810:15 - 10:17
Talk
Benjamin ShermanMassachusetts Institute of Technology, USA, Jared TramontanoMassachusetts Institute of Technology, Michael CarbinMIT
Pre-print
pps-201810:17 - 10:19
Talk
Marco Cusumano-TownerMIT-CSAIL, Vikash MansinghkaMassachusetts Institute of Technology
pps-201810:19 - 10:21
Talk
Steffen SmolkaCornell University, David KahnCornell University, Praveen KumarCornell University, Nate FosterCornell University, Dexter Kozen, Alexandra SilvaUniversity College London
Link to publication File Attached
pps-201810:21 - 10:23
Talk
Tetsuya SatoUniversity at Buffalo, SUNY, USA
pps-201810:23 - 10:25
Talk
Andres Molina-MarkhamThe MITRE Corporation
pps-201810:25 - 10:27
Talk
Avi PfefferCharles River Analytics
pps-201810:27 - 10:30
Talk
Daniel LundénKTH Royal Institute of Technology, David BromanKTH Royal Institute of Technology, Lawrence M. MurrayUppsala University