VenueOmni Hotel
Room nameBradbury
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Mon 8 Jan

POPL-2018-TutorialFest
09:00 - 10:30: TutorialFest - Equational reasoning for probabilistic programming at Bradbury
POPL-2018-TutorialFest09:00 - 10:30
Talk
Chung-chieh ShanIndiana University, USA
Media Attached
POPL-2018-TutorialFest
11:00 - 12:00: TutorialFest - Equational reasoning for probabilistic programming at Bradbury
POPL-2018-TutorialFest11:00 - 12:00
Talk
Chung-chieh ShanIndiana University, USA
Media Attached
POPL-2018-TutorialFest
14:00 - 15:30: TutorialFest - Computational Higher Type Theory at Bradbury
POPL-2018-TutorialFest14:00 - 15:30
Talk
Robert HarperCarnegie Mellon University, Carlo AngiuliCarnegie Mellon University
Media Attached
POPL-2018-TutorialFest
16:00 - 17:00: TutorialFest - Computational Higher Type Theory at Bradbury
POPL-2018-TutorialFest16:00 - 17:00
Talk
Robert HarperCarnegie Mellon University, Carlo AngiuliCarnegie Mellon University
Media Attached

Tue 9 Jan

pps-2018
09:00 - 10:00: PPS 2018 - SESSION I (invited talk) at Bradbury
Chair(s): Andrew D. GordonMicrosoft Research and University of Edinburgh
pps-201809:00 - 10:00
Talk
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
pps-2018
10:30 - 12:00: PPS 2018 - SESSION II (3 talks) at Bradbury
Chair(s): Erik Meijer
pps-201810:30 - 11:00
Talk
Chris HeunenUniversity of Edinburgh, Ohad KammarUniversity of Oxford, Sean K. MossUniversity of Cambridge, Adam ŚcibiorUniversity of Cambridge and MPI Tuebingen, Sam StatonUniversity of Oxford, Matthijs VákárUniversity of Oxford, Hongseok YangUniversity of Oxford
pps-201811:00 - 11:30
Talk
Michele PaganiUniversity Paris Diderot, Thomas EhrhardCNRS and University Paris Diderot, Christine TassonUniversity Paris Diderot
pps-201811:30 - 12:00
Talk
Daniel SelsamStanford University
pps-2018
14:00 - 15:30: PPS 2018 - SESSION III (invited tutorial + 1 talk) at Bradbury
Chair(s): Cameron FreerRemine and Borelian
pps-201814:00 - 15:00
Talk
pps-201815:00 - 15:30
Talk
Praveen NarayananIndiana University, USA, Chung-chieh ShanIndiana University, USA
pps-2018
16:00 - 18:00: PPS 2018 - SESSION IV (4 talks) at Bradbury
Chair(s): Rif A. SaurousGoogle
pps-201816:00 - 16:30
Talk
pps-201816:30 - 17:00
Talk
Steven HoltzenUniversity of California, Los Angeles, Guy Van den BroeckUniversity of California, Los Angeles, Todd MillsteinUniversity of California, Los Angeles
Pre-print
pps-201817:00 - 17:30
Talk
Maria I. GorinovaThe University of Edinburgh, Andrew D. GordonMicrosoft Research and University of Edinburgh, Charles SuttonUniversity of Edinburgh
Pre-print
pps-201817:30 - 18:00
Talk
Mitchell WandNortheastern University, USA, Theophilos GiannakopoulosBAE Systems, Inc., Andrew CobbNortheastern University, Ryan CulpepperNortheastern University

Tue 9 Jan 2018

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Bradbury

Mon 8 Jan 2018

Tue 9 Jan 2018

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Bradbury