Reasoning about Probability and Nondeterminism (PPS 2016) - POPL 2016

Write a Blog >>

Wed 20 - Sat 23 January 2016 St. Petersburg, Florida, United States

Who

Faris Abou-Saleh, Kwok-Ho Cheung, Jeremy Gibbons

Track

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Sat 23 Jan 2016 15:30 - 16:30 at Room St Petersburg II - Poster Session

Abstract

Probabilistic and nondeterministic choice are two standard examples of computational effect, and it is important for some problems to be able to use them in combination — for example, to model probabilistic systems that depend on nondeterministic inputs. However, the algebraic properties that characterise their interaction are tricky to get right (and we have ourselves got them wrong in the past).

We outline the problem, and present a technique for diagrammatic reasoning about the properties of probability and nondeterminism combined. It turns out to be a matter of linear algebra. We are curious to know whether others find the diagrammatic notation helpful, and whether there are other applications of it.

Link to Preprint

http://pps2016.soic.indiana.edu/2015/12/11/reasoning-about-probability-and-nondeterminism/

Faris Abou-Saleh

University of Oxford

Kwok-Ho Cheung

University of Oxford

Jeremy Gibbons

University of Oxford, UK

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Sat 23 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

	15:30 - 16:30	Poster SessionPPS at Room St Petersburg II

	15:30 60m Meeting		Insomnia: Types and Modules for Probabilistic Programming PPS Aleksey Kliger Xamarin, Inc., Sean Stromsten BAE Systems, Inc. Pre-print
	15:30 60m Meeting		Finite-depth Higher-order Abstract Syntax Trees for Reasoning about Probabilistic Programs PPS Theophilos Giannakopoulos BAE Systems, Inc., Mitchell Wand Northeastern University, Andrew Cobb Northeastern University Pre-print
	15:30 60m Meeting		Coalgebraic Trace Semantics for Probabilistic Processes: Preliminary Proposal PPS Larry Moss Indiana University, Chung-chieh Shan Indiana University, Alexandra Silva Radboud University Nijmegen Pre-print
	15:30 60m Meeting		Reasoning about Probability and Nondeterminism PPS Faris Abou-Saleh University of Oxford, Kwok-Ho Cheung University of Oxford, Jeremy Gibbons University of Oxford, UK Pre-print
	15:30 60m Meeting		Fixed Points for Markov Decision Processes PPS Johannes Hölzl Technische Universität München Pre-print
	15:30 60m Meeting		A Denotational Semantics of a Probabilistic Stream-Processing Language PPS Yohei Miyamoto Graduate School of Informatics, Kyoto University, Kohei Suenaga , Koji Nakazawa Graduate School of Information Science, Nagoya University Pre-print
	15:30 60m Meeting		Observation Propagation for Importance Sampling with Likelihood Weighting PPS Ryan Culpepper Northeastern University Pre-print
	15:30 60m Meeting		Problems of the Lightweight Implementation of Probabilistic Programming PPS Oleg Kiselyov Pre-print
	15:30 60m Meeting		Parameterized Probability Monad PPS Adam Ścibior University of Cambridge, Andrew D. Gordon Microsoft Research and University of Edinburgh Pre-print
	15:30 60m Meeting		Reproducing Kernel Hilbert Space Semantics for Probabilistic Programs PPS Adam Ścibior University of Cambridge, Bernhard Schölkopf MPI Tuebingen Pre-print