PPS 2017 Contributors -

Filter

Role Type

Contributing to

Number of Roles

Country

Results (60)

A Nathanael L. AckermanAckerman, Nathanael L. Harvard University On computable representations of exchangeable data Exchangeable random process and data abstraction
Jeremy AvigadAvigad, Jeremy Carnegie Mellon University On computable representations of exchangeable data
B Pierre BessièreBessière, Pierre CNRS/ISIR The semantics of subroutines and iteration in the Bayesian programming language ProBT
Nathan BowlerBowler, Nathan Universität Hamburg Commutativity logic for probabilistic trace equivalence: complete or not?
C Yufei CaiCai, Yufei University of Tübingen, Germany Building inference algorithms from monad transformers
Michael CarbinCarbin, Michael MITUnited States Committee Member in Program Committee within the PPS-track
Florence ClercClerc, Florence McGill University Mathematical structures of probabilistic programming
Ernie CohenCohen, Ernie Amazon Web Services Reducing probabilistic choice to nondeterministic choice
Nathan CollinsCollins, Nathan Galois, Inc. GraPPa: spanning the expressivity vs. efficiency continuum
Robert CornishCornish, Robert University of Oxford Efficient exact inference in discrete Anglican programs
Marco Cusumano-TownerCusumano-Towner, Marco MIT-CSAIL Encapsulating models and approximate inference programs in probabilistic modules
D Fredrik DahlqvistDahlqvist, Fredrik University College London Mathematical structures of probabilistic programming
Vincent DanosDanos, Vincent ENS Paris/CNRS Mathematical structures of probabilistic programming
Luc De RaedtDe Raedt, Luc KU Leuven Probabilistic logic programs: unifying program trace and possible world semantics
F Florian FaissoleFaissole, Florian Synthetic topology in homotopy type theory for probabilistic programming
Cameron FreerFreer, Cameron Gamalon and BorelianUnited States Session Chair of Session 1 (part of PPS) On computable representations of exchangeable data Exchangeable random process and data abstraction Chair in Program Committee within the PPS-track
G Ilias GarnierGarnier, Ilias University of Edinburgh Mathematical structures of probabilistic programming
Zoubin GhahramaniGhahramani, Zoubin University of Cambridge Building inference algorithms from monad transformers
Dan GrossmanGrossman, Dan University of WashingtonUnited States Reasoning about inference in probabilistic programs
H Nicholas HayHay, Nicholas Vicarious The extended semantics for probabilistic programming languages
Daniel HuangHuang, Daniel Harvard University An application of computable distributions to the semantics of probabilistic programs: part 2
Johannes HölzlHölzl, Johannes Technische Universität MünchenGermany Committee Member in Program Committee within the PPS-track
K Benjamin Lucien KaminskiKaminski, Benjamin Lucien RWTH Aachen University A weakest pre-expectation semantics for mixed-sign expectations
Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen University A weakest pre-expectation semantics for mixed-sign expectations
Angelika KimmigKimmig, Angelika KU Leuven Probabilistic logic programs: unifying program trace and possible world semantics
Oleg KiselyovKiselyov, Oleg Metropolis-Hastings for mixtures of conditional distributions
L Raphaël LaurentLaurent, Raphaël ProbaYes The semantics of subroutines and iteration in the Bayesian programming language ProBT
Paul Blain LevyLevy, Paul Blain Commutativity logic for probabilistic trace equivalence: complete or not?
M Vikash MansinghkaMansinghka, Vikash Massachusetts Institute of Technology Encapsulating models and approximate inference programs in probabilistic modules
Emmanuel MazerMazer, Emmanuel CNRS/LIG The semantics of subroutines and iteration in the Bayesian programming language ProBT
Kathryn S McKinleyMcKinley, Kathryn S Microsoft Research Reasoning about inference in probabilistic programs
Kamel MekhnachaMekhnacha, Kamel ProbaYes The semantics of subroutines and iteration in the Bayesian programming language ProBT
Eric MertensMertens, Eric Galois, Inc. GraPPa: spanning the expressivity vs. efficiency continuum
Michael MisloveMislove, Michael Tulane Probabilistic programming and a domain theoretic approach to Skorohod's theorem
Greg MorrisettMorrisett, Greg Cornell University An application of computable distributions to the semantics of probabilistic programs: part 2
Todd MytkowiczMytkowicz, Todd Reasoning about inference in probabilistic programs
N Chandrakana NandiNandi, Chandrakana University of Washington, USAIndia Reasoning about inference in probabilistic programs
O Klaus OstermannOstermann, Klaus University of Tübingen, GermanyGermany Building inference algorithms from monad transformers
Long OuyangOuyang, Long Stanford University Support and influence analysis for visualizing posteriors of probabilistic programs
P Avi PfefferPfeffer, Avi Charles River Analytics Committee Member in Program Committee within the PPS-track
Gordon PlotkinPlotkin, Gordon Towards a metric semantics for probabilistic programming (invited talk) Committee Member in Program Committee within the PPS-track
R Daniel RoyRoy, Daniel On computable representations of exchangeable data Exchangeable random process and data abstraction Committee Member in Program Committee within the PPS-track
Stuart RussellRussell, Stuart University of California, Berkeley The extended semantics for probabilistic programming languages
Jason M. RuteRute, Jason M. Pennsylvania State University On computable representations of exchangeable data
S Adrian SampsonSampson, Adrian Cornell UniversityUnited States Reasoning about inference in probabilistic programs
Chad ScherrerScherrer, Chad Galois, Inc. Session Chair of Session 2 (part of PPS) GraPPa: spanning the expressivity vs. efficiency continuum An exponential family basis for probabilistic programming
Tom SchrijversSchrijvers, Tom KU Leuven ProbLog and applicative probabilistic programming
Chung-chieh ShanShan, Chung-chieh Indiana University, USA Session Chair of Session 5 (part of PPS) Chair in Program Committee within the PPS-track
Alexandra SilvaSilva, Alexandra University College LondonUnited Kingdom Committee Member in Program Committee within the PPS-track
Bas SpittersSpitters, Bas Synthetic topology in homotopy type theory for probabilistic programming
Siddharth SrivastavaSrivastava, Siddharth UTRC Berkeley The extended semantics for probabilistic programming languages
Sam StatonStaton, Sam University of Oxford Session Chair of Session 3 (part of PPS) Exchangeable random process and data abstraction
Guy L. Steele Jr.Steele Jr., Guy L. Oracle LabsUnited States Committee Member in Program Committee within the PPS-track
V Guy Van den BroeckVan den Broeck, Guy University of California, Los Angeles Committee Member in Program Committee within the PPS-track
Alexander VandenbrouckeVandenbroucke, Alexander KU Leuven, Belgium ProbLog and applicative probabilistic programming
W Edwin WestbrookWestbrook, Edwin Galois, Inc. GraPPa: spanning the expressivity vs. efficiency continuum
Frank WoodWood, Frank University of Oxford Efficient exact inference in discrete Anglican programs
Yi WUWU, Yi UC BerkeleyUnited States The extended semantics for probabilistic programming languages
Y Hongseok YangYang, Hongseok University of Oxford Session Chair of Session 6 (part of PPS) Efficient exact inference in discrete Anglican programs Exchangeable random process and data abstraction
Ś Adam ŚcibiorŚcibior, Adam University of Cambridge Building inference algorithms from monad transformers