Write a Blog >>
VenueHilton St. Petersburg Bayfront
Room nameGrand Bay South
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Wed 20 Jan

POPL-2016-papers
10:30 - 12:10: Research Papers - Track 2: Types and Foundations at Grand Bay South
Chair(s): Bob AtkeyUniversity of Strathclyde
POPL-2016-papers145328220000010:30 - 10:55
Talk
Matt BrownUCLA, Jens PalsbergUniversity of California, Los Angeles
Media Attached File Attached
POPL-2016-papers145328370000010:55 - 11:20
Talk
Thorsten AltenkirchUniversity of Nottingham, Ambrus KaposiUniversity of Nottingham
Media Attached File Attached
POPL-2016-papers145328520000011:20 - 11:45
Talk
Yufei CaiUniversity of Tübingen, Germany, Paolo G. GiarrussoUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany
Media Attached
POPL-2016-papers145328670000011:45 - 12:10
Talk
Pierre-Louis CurienUniv. Paris Diderot and INRIA Paris-Rocquencourt, Marcelo FioreComputer Laboratory, University of Cambridge, Guillaume Munch-MaccagnoniComputer Laboratory, University of Cambridge
POPL-2016-papers
14:20 - 16:00: Research Papers - Track 2: Correct Compilation at Grand Bay South
Chair(s): Jens PalsbergUniversity of California, Los Angeles
POPL-2016-papers145329600000014:20 - 14:45
Talk
Dominique DevrieseiMinds - Distrinet, KU Leuven, Marco PatrignaniKU Leuven, Frank PiessensiMinds - Distrinet, KU Leuven
Pre-print Media Attached
POPL-2016-papers145329750000014:45 - 15:10
Talk
Jeehoon KangSeoul National University, Yoonseung KimSeoul National University (South Korea), Chung-Kil HurSeoul National University, Derek DreyerMPI-SWS, Viktor VafeiadisMPI-SWS, Germany
Media Attached File Attached
POPL-2016-papers145329900000015:10 - 15:35
Talk
Media Attached
POPL-2016-papers145330050000015:35 - 16:00
Talk
Florian LorenzenTU Berlin, Sebastian ErdwegTU Darmstadt, Germany
Pre-print Media Attached File Attached
POPL-2016-papers
16:30 - 17:45: Research Papers - Track 2: Decidability and complexity at Grand Bay South
Chair(s): C.-H. Luke OngUniversity of Oxford, UK
POPL-2016-papers145330380000016:30 - 16:55
Talk
Oded PadonTel Aviv University, Neil ImmermanUniversity of Massachusetts, Amherst, Sharon Shoham, Aleksandr KarbyshevTel Aviv University, Mooly SagivTel Aviv University
Media Attached
POPL-2016-papers145330530000016:55 - 17:20
Talk
Rahman Lavaee, Chen DingUniversity of Rochester
Media Attached
POPL-2016-papers145330680000017:20 - 17:45
Talk
Stéphane GimenezUniversity of Innsbruck, Georg MoserUniversity of Innsbruck
Media Attached

Thu 21 Jan

POPL-2016-papers
10:30 - 12:10: Research Papers - Track 2: Probabilistic and statistical analysis at Grand Bay South
Chair(s): Aditya NoriMicrosoft Research, UK
POPL-2016-papers145336860000010:30 - 10:55
Talk
Fan LongMIT CSAIL, Martin RinardMassachusetts Institute of Technology, USA
Media Attached
POPL-2016-papers145337010000010:55 - 11:20
Talk
Omer KatzTechnion, Israel Institute of Technology, Ran El-YanivTechnion, Israel Institute of Technology, Eran YahavTechnion
Media Attached File Attached
POPL-2016-papers145337160000011:20 - 11:45
Talk
Krishnendu ChatterjeeIST Austria, Hongfei FuIST Austria, Rouzbeh HasheminezhadSharif University, Petr NovotnyIST Austria
Media Attached
POPL-2016-papers145337310000011:45 - 12:10
Talk
Rishabh SinghMicrosoft Research, Sumit GulwaniMicrosoft Research
Media Attached
POPL-2016-papers
14:20 - 16:00: Research Papers - Track 2: Types, Generally or Gradually at Grand Bay South
Chair(s): Tiark RompfPurdue & Oracle Labs
POPL-2016-papers145338240000014:20 - 14:45
Talk
Sheng ChenUniversity of louisiana at Lafayette, Martin ErwigOregon State University
Media Attached
POPL-2016-papers145338390000014:45 - 15:10
Talk
Ronald GarciaUniversity of British Columbia, Alison M. Clark, Éric TanterUniversity of Chile, Chile
Link to publication Media Attached
POPL-2016-papers145338540000015:10 - 15:35
Talk
Matteo CiminiIndiana University, Jeremy G. SiekIndiana University
Media Attached
POPL-2016-papers145338690000015:35 - 16:00
Talk
Asumu TakikawaNortheastern University, Daniel FelteyNortheastern University, Ben GreenmanNortheastern University, Max New, Jan VitekNortheastern University, Matthias FelleisenNortheastern University
Pre-print Media Attached File Attached
POPL-2016-papers
16:30 - 17:45: Research Papers - Track 2: Sessions and processes at Grand Bay South
Chair(s): Matteo MaffeiSaarland University
POPL-2016-papers145339020000016:30 - 16:55
Talk
Dominic OrchardImperial College London, Nobuko YoshidaImperial College London, UK
Pre-print Media Attached
POPL-2016-papers145339170000016:55 - 17:20
Talk
Limin JiaCarnegie Mellon University, Hannah GommerstadtCarnegie Mellon University, Frank PfenningCarnegie Mellon University
Media Attached File Attached
POPL-2016-papers145339320000017:20 - 17:45
Talk
Davide SangiorgiUniversity of Bologna, Valeria VignudelliUniversity of Bologna/INRIA
Media Attached

Fri 22 Jan

POPL-2016-papers
10:30 - 12:10: Research Papers - Track 2: Semantics and memory models at Grand Bay South
Chair(s): Alexey GotsmanIMDEA
POPL-2016-papers145345500000010:30 - 10:55
Talk
Shaked FlurUniversity of Cambridge, Kathryn E. GrayUniversity of Cambridge, Christopher PulteUniversity of Cambridge, Susmit SarkarUniversity of St Andrews, Luc MarangetINRIA Rocquencourt, Ali SezginUniversity of Cambridge, Will DeaconARM Ltd., Peter SewellUniversity of Cambridge
Media Attached File Attached
POPL-2016-papers145345650000010:55 - 11:20
Talk
Jean Pichon-PharabodUniversity of Cambridge, Peter SewellUniversity of Cambridge
File Attached
POPL-2016-papers145345800000011:20 - 11:45
Talk
John WickersonImperial College London, Mark BattyUniversity of Cambridge, Alastair DonaldsonImperial College London
Pre-print File Attached
POPL-2016-papers145345950000011:45 - 12:10
Talk
Ori LahavMPI-SWS, Nick GiannarakisMPI-SWS, Viktor VafeiadisMPI-SWS, Germany
Pre-print Media Attached File Attached
POPL-2016-papers
14:20 - 15:35: Research Papers - Track 2: Foundations of Model Checking at Grand Bay South
Chair(s): Alexandra SilvaRadboud University Nijmegen
POPL-2016-papers145346880000014:20 - 14:45
Talk
Ichiro HasuoUniversity of Tokyo, Shunsuke ShimizuUniversity of Tokyo, Corina CirsteaUniversity of Southampton
Media Attached
POPL-2016-papers145347030000014:45 - 15:10
Talk
Media Attached
POPL-2016-papers145347180000015:10 - 15:35
Talk
Koko MuroyaUniversity of Tokyo, Naohiko HoshinoKyoto University, Ichiro HasuoUniversity of Tokyo
Media Attached

Wed 20 Jan 2016

Fri 22 Jan 2016