CPP 2016
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
VenueHilton St. Petersburg Bayfront
Room nameRoom St Petersburg II
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Mon 18 Jan

CPP-2016-main
09:00 - 10:00: CPP - Session 1: Invited talk by Harvey Friedman at Room St Petersburg II
CPP-2016-main09:00 - 10:00
Talk
Harvey FriedmanOhio State University
CPP-2016-main
14:00 - 15:30: CPP - Session 3: Design and Implementation of Theorem Provers at Room St Petersburg II
CPP-2016-main14:00 - 14:30
Talk
Evgenii KotelnikovChalmers University of Technology, Laura KovacsChalmers University of Technology, Giles RegerUniversity of Manchester, Andrei VoronkovUniversity of Manchester
CPP-2016-main14:30 - 15:00
Talk
Lukasz CzajkaUniversity of Innsbruck
CPP-2016-main15:00 - 15:30
Talk
Cezary KaliszykUniversity of Innsbruck, Karol PąkUniversity of Bialystok, Institute of Computer Science, Josef Urban
CPP-2016-main
16:00 - 18:00: CPP - Session 4: Mathematics at Room St Petersburg II
CPP-2016-main16:00 - 16:30
Talk
Wenda LiUniversity of Cambridge, Lawrence PaulsonCambridge University
CPP-2016-main16:30 - 17:00
Talk
Sophie BernardINRIA, Yves BertotINRIA, Laurence RideauINRIA, Pierre-Yves StrubIMDEA Software Institute
CPP-2016-main17:00 - 17:30
Talk
René ThiemannUniversity of Innsbruck, Akihisa Yamada
CPP-2016-main17:30 - 18:00
Talk

Tue 19 Jan

CPP-2016-main
09:00 - 10:00: CPP - Session 5: Invited talk by Leonardo de Moura at Room St Petersburg II
CPP-2016-main09:00 - 10:00
Talk
Leonardo De MouraMicrosoft Research, Redmond
CPP-2016-main
10:30 - 12:00: CPP - Session 6: Foundations at Room St Petersburg II
CPP-2016-main10:30 - 11:00
Talk
Nathan FultonCarnegie Mellon University, André Platzer
CPP-2016-main11:00 - 11:30
Talk
Floris van DoornCarnegie Mellon University
CPP-2016-main11:30 - 12:00
Talk
Vincent RahliSnT, Mark BickfordCornell University
CPP-2016-main
14:00 - 15:30: CPP - Session 7: Verification for Concurrent and Distributed Systems at Room St Petersburg II
CPP-2016-main14:00 - 14:30
Talk
Johannes Å. PohjolaUppsala University, Joachim ParrowUppsala University
CPP-2016-main14:30 - 15:00
Talk
Doug WoosUniversity of Washington, James R. WilcoxUniversity of Washington, Steve AntonUniversity of Washington, Zachary TatlockUniversity of Washington, Michael D. ErnstUniversity of Washington, Thomas AndersonUniversity of Washington
Pre-print
CPP-2016-main15:00 - 15:30
Talk
Michel St-MartinUniversity of Ottawa, Amy FeltyUniversity of Ottawa
CPP-2016-main
16:00 - 17:00: CPP - Session 8: Compiler Verification at Room St Petersburg II
CPP-2016-main16:00 - 16:30
Talk
Sandrine BlazyIRISA / University of Rennes 1, Alix TrieuENS Rennes
CPP-2016-main16:30 - 17:00
Talk
Steven Schäfer, Sigurd SchneiderSaarland University, Gert SmolkaSaarland University

Sat 23 Jan

pps-2016
09:00 - 10:00: PPS 2016 - Session 1 at Room St Petersburg II
Chair(s): Cameron FreerGamalon
pps-201609:00 - 09:20
Talk
Pre-print
pps-201609:20 - 09:30
Meeting
pps-201609:30 - 09:50
Talk
Jan-Willem van de MeentUniversity of Oxford, Brooks PaigeUniversity of Oxford, David TolpinUniversity of Oxford, Frank WoodUniversity of Oxford
Pre-print
pps-201609:50 - 10:00
Meeting
pps-2016
10:30 - 12:15: PPS 2016 - Session 2 at Room St Petersburg II
Chair(s): Chad ScherrerGalois, Inc.
pps-201610:30 - 10:50
Talk
Robert RandUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania
Pre-print
pps-201610:50 - 11:00
Meeting
pps-201611:00 - 11:20
Talk
Avi PfefferCharles River Analytics, Brian RuttenbergCharles River Analytics
Pre-print
pps-201611:20 - 11:30
Meeting
pps-201611:30 - 12:15
Meeting
Angelika KimmigKU Leuven, Oleg Kiselyov, Jan-Willem van de MeentUniversity of Oxford, Avi PfefferCharles River Analytics, Frank WoodUniversity of Oxford
pps-2016
14:00 - 15:30: PPS 2016 - Session 3 at Room St Petersburg II
Chair(s): Mitchell WandNortheastern University
pps-201614:00 - 14:20
Talk
Johannes BorgströmUppsala University, Ugo Dal LagoUniversity of Bologna, Andrew D. GordonMicrosoft Research and University of Edinburgh, Marcin SzymczakUniversity of Edinburgh
Pre-print
pps-201614:20 - 14:30
Meeting
pps-201614:30 - 14:50
Talk
Leonidas LampropoulosUniversity of Pennsylvania, Benjamin C. PierceUniversity of Pennsylvania, Cătălin HriţcuINRIA Paris, John HughesChalmers University of Technology, Zoe ParaskevopoulouPrinceton University, Li-yao XiaENS Paris
Pre-print
pps-201614:50 - 15:00
Meeting
pps-201615:00 - 15:20
Talk
Sam StatonUniversity of Oxford, Hongseok YangUniversity of Oxford, UK, Chris HeunenUniversity of Edinburgh, Ohad KammarUniversity of Cambridge, Frank WoodUniversity of Oxford
Pre-print
pps-201615:20 - 15:30
Meeting
pps-2016
15:30 - 16:30: PPS 2016 - Poster Session at Room St Petersburg II
pps-201615:30 - 16:30
Meeting
Aleksey KligerXamarin, Inc., Sean StromstenBAE Systems, Inc.
Pre-print
pps-201615:30 - 16:30
Meeting
Theophilos GiannakopoulosBAE Systems, Inc., Mitchell WandNortheastern University, Andrew CobbNortheastern University
Pre-print
pps-201615:30 - 16:30
Meeting
Larry MossIndiana University, Chung-chieh ShanIndiana University, Alexandra SilvaRadboud University Nijmegen
Pre-print
pps-201615:30 - 16:30
Meeting
Faris Abou-SalehUniversity of Oxford, Kwok-Ho CheungUniversity of Oxford, Jeremy GibbonsUniversity of Oxford, UK
Pre-print
pps-201615:30 - 16:30
Meeting
Johannes HölzlTechnische Universität München
Pre-print
pps-201615:30 - 16:30
Meeting
Yohei MiyamotoGraduate School of Informatics, Kyoto University, Kohei Suenaga, Koji NakazawaGraduate School of Information Science, Nagoya University
Pre-print
pps-201615:30 - 16:30
Meeting
Ryan CulpepperNortheastern University
Pre-print
pps-201615:30 - 16:30
Meeting
Pre-print
pps-201615:30 - 16:30
Meeting
Adam ŚcibiorUniversity of Cambridge, Andrew D. GordonMicrosoft Research and University of Edinburgh
Pre-print
pps-201615:30 - 16:30
Meeting
Adam ŚcibiorUniversity of Cambridge, Bernhard SchölkopfMPI Tuebingen
Pre-print
pps-2016
16:30 - 18:00: PPS 2016 - Session 5 at Room St Petersburg II
Chair(s): Chung-chieh ShanIndiana University
pps-201616:30 - 16:50
Talk
Nathanael L. AckermanHarvard University, Cameron FreerGamalon, Daniel RoyUniversity of Toronto
Pre-print
pps-201616:50 - 17:00
Meeting
pps-201617:00 - 17:20
Talk
Daniel HuangHarvard University, Greg MorrisettCornell University
Pre-print
pps-201617:20 - 17:30
Meeting
pps-201617:30 - 17:50
Talk
Friedrich GretzRWTH Aachen University, Nils JansenRWTH Aachen University, Benjamin Lucien KaminskiRWTH Aachen University, Joost-Pieter KatoenRWTH Aachen University, Federico OlmedoRWTH Aachen University
Pre-print
pps-201617:50 - 18:00
Meeting

Mon 18 Jan 2016

Tue 19 Jan 2016

Sat 23 Jan 2016

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Room St Petersburg II
09:00 - 10:00
10:30 - 12:15
14:00 - 15:30
15:30 - 16:30
16:30 - 18:00

Sat 23 Jan 2016

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Room St Petersburg II
09:20 - 09:30
09:50 - 10:00
10:50 - 11:00
11:20 - 11:30
14:20 - 14:30
14:50 - 15:00
15:20 - 15:30
16:50 - 17:00
17:20 - 17:30
17:50 - 18:00