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

Wed 10 Jan

POPL-2018-papers
10:30 - 12:10: Research Papers - Types and Effects at Watercourt
Chair(s): Neelakantan R. KrishnaswamiComputer Laboratory, University of Cambridge
POPL-2018-papers151557660000010:30 - 10:55
Talk
Jean-Philippe BernardyUniversity of Gothenburg, Mathieu BoespflugTweag I/O, Ryan R. NewtonIndiana University, Simon Peyton JonesMicrosoft Research, Arnaud SpiwackTweag I/O
Pre-print File Attached
POPL-2018-papers151557810000010:55 - 11:20
Talk
POPL-2018-papers151557960000011:20 - 11:45
Talk
Danel AhmanInria Paris
POPL-2018-papers151558110000011:45 - 12:10
Talk
Dariusz BiernackiUniversity of Wrocław, Maciej PirógUniversity of Wrocław, Piotr PolesiukUniversity of Wrocław, Filip SieczkowskiUniversity of Wrocław
POPL-2018-papers
13:40 - 15:20: Research Papers - Interpretation and Evaluation at Watercourt
Chair(s): Atsushi IgarashiKyoto University, Japan
POPL-2018-papers151558800000013:40 - 14:05
Talk
Lionel ParreauxEPFL, Antoine VoizardUniversity of Pennsylvannia, Amir ShaikhhaEPFL, Christoph E. KochEPFL
Pre-print
POPL-2018-papers151558950000014:05 - 14:30
Talk
Matt BrownUCLA, Jens PalsbergUniversity of California, Los Angeles (UCLA)
POPL-2018-papers151559100000014:30 - 14:55
Talk
John Peter CamporaULL Lafayette, Sheng ChenUniversity of Louisiana at Lafayette, Martin ErwigOregon State University, Eric WalkingshawOregon State University
POPL-2018-papers151559250000014:55 - 15:20
Talk
Casper Bach PoulsenDelft University of Technology, Arjen RouvoetDelft University of Technology, Andrew TolmachPortland State University, Robbert KrebbersDelft University of Technology, Eelco VisserDelft University of Technology
DOI Pre-print
POPL-2018-papers
15:50 - 17:30: Research Papers - Types at Watercourt
Chair(s): Thorsten AltenkirchUniversity of Nottingham
POPL-2018-papers151559580000015:50 - 16:15
Talk
POPL-2018-papers151559730000016:15 - 16:40
Talk
William J. BowmanNortheastern University, USA, Youyou CongOchanomizu University, Japan, Nick RiouxNortheastern University, USA, Amal AhmedNortheastern University, USA
Link to publication DOI Pre-print
POPL-2018-papers151559880000016:40 - 17:05
Talk
Ondřej KunčarTechnische Universität München, Germany, Andrei PopescuMiddlesex University, London
POPL-2018-papers151560030000017:05 - 17:30
Talk
Paolo CapriottiUniversity of Nottingham, Nicolai KrausUniversity of Nottingham

Thu 11 Jan

POPL-2018-papers
10:30 - 12:10: Research Papers - Program Analysis I at Watercourt
Chair(s): Tachio TerauchiWaseda University
POPL-2018-papers151566300000010:30 - 10:55
Talk
Pre-print
POPL-2018-papers151566450000010:55 - 11:20
Talk
POPL-2018-papers151566600000011:20 - 11:45
Talk
Marek ChalupaMasaryk University, Krishnendu ChatterjeeIST Austria, Andreas PavlogiannisIST Austria, Kapil VaidyaIIT Bombay, Nishant SinhaIBM Research
POPL-2018-papers151566750000011:45 - 12:10
Talk
Wenlei BaoOhio State University, Sriram KrishnamoorthyPacific Northwest National Laboratories, Louis-Noel PouchetColorado State University, P. SadayappanOhio State University
POPL-2018-papers
13:40 - 15:20: Research Papers - Outside the box at Watercourt
Chair(s): Lars BirkedalAarhus University
POPL-2018-papers151567440000013:40 - 14:05
Talk
Siddharth KrishnaNew York University, Dennis ShashaNew York University, Thomas WiesNew York University
POPL-2018-papers151567590000014:05 - 14:30
Talk
Dominique DevrieseKU Leuven, Marco PatrignaniSaarland University, CISPA, Frank PiessensKU Leuven
POPL-2018-papers151567740000014:30 - 14:55
Talk
Pierre ClairambaultCNRS & ENS Lyon, Charles GrelloisINRIA Sophia Antipolis & Aix-Marseille Université, Andrzej MurawskiUniversity of Oxford
POPL-2018-papers151567890000014:55 - 15:20
Talk
Stephen ChangNortheastern University, Alex KnauthNortheastern University, Emina TorlakUniversity of Washington
POPL-2018-papers
15:50 - 16:40: Research Papers - Dependent Types at Watercourt
Chair(s): Karl CraryCarnegie Mellon University
POPL-2018-papers151568220000015:50 - 16:15
Talk
Nils Anders DanielssonUniversity of Gothenburg, Chalmers University of Technology
POPL-2018-papers151568370000016:15 - 16:40
Talk
Andreas AbelGothenburg University, Joakim ÖhmanIMDEA Software Institute, Andrea VezzosiChalmers University of Technology

Fri 12 Jan

POPL-2018-papers
10:30 - 12:10: Research Papers - Dynamic Languages at Watercourt
Chair(s): Jean YangCarnegie Mellon University
POPL-2018-papers151574940000010:30 - 10:55
Talk
Olivier FlückigerNortheastern University, USA, Gabriel SchererNortheastern University, USA, Ming-Ho YeeNortheastern University, USA, Aviral GoelNortheastern University, Amal AhmedNortheastern University, USA, Jan VitekNortheastern University
DOI Pre-print
POPL-2018-papers151575090000010:55 - 11:20
Talk
José Fragoso SantosImperial College London, Petar MaksimovićImperial College London, Daiva NaudžiūnienėImperial College London, Thomas WoodImperial College London, Philippa GardnerImperial College London
POPL-2018-papers151575240000011:20 - 11:45
Talk
Phúc C. NguyễnUniversity of Maryland, Thomas GilrayUniversity of Maryland, Sam Tobin-HochstadtIndiana University, David Van HornUniversity of Maryland
POPL-2018-papers151575390000011:45 - 12:10
Talk
Nada AminUniversity of Cambridge, Tiark RompfPurdue University
POPL-2018-papers
13:40 - 15:20: Research Papers - Probability at Watercourt
Chair(s): Lars BirkedalAarhus University
POPL-2018-papers151576080000013:40 - 14:05
Talk
Gilles BartheIMDEA Software Institute, Thomas EspitauUniversite Pierre et Marie Curie, Benjamin GregoireINRIA, Justin HsuUniversity College London, Pierre-Yves StrubEcole Polytechnique
POPL-2018-papers151576230000014:05 - 14:30
Talk
Aws AlbarghouthiUniversity of Wisconsin-Madison, Justin HsuUniversity College London
POPL-2018-papers151576380000014:30 - 14:55
Talk
Thomas EhrhardCNRS and University Paris Diderot, Michele PaganiUniversity Paris Diderot, Christine TassonUniversity Paris Diderot
POPL-2018-papers151576530000014:55 - 15:20
Talk
Adam ŚcibiorUniversity of Cambridge and MPI Tuebingen, Ohad KammarUniversity of Oxford, Matthijs VákárUniversity of Oxford, Sam StatonUniversity of Oxford, Hongseok YangUniversity of Oxford, Yufei CaiUniversity of Tuebingen, Klaus OstermannUniversity of Tuebingen, Sean K. MossUniversity of Cambridge, Chris HeunenUniversity of Edinburgh, Zoubin GhahramaniUniversity of Cambridge
POPL-2018-papers
15:50 - 17:05: Research Papers - Types for State at Watercourt
Chair(s): Neelakantan R. KrishnaswamiComputer Laboratory, University of Cambridge
POPL-2018-papers151576860000015:50 - 16:15
Talk
Amin Timanyimec-Distrinet KU-Leuven, Leo StefanescoENS Lyon, Morten Krogh-JespersenAarhus University, Lars BirkedalAarhus University
POPL-2018-papers151577010000016:15 - 16:40
Talk
Danel AhmanInria Paris, Cédric FournetMicrosoft Research, Cătălin HriţcuInria Paris, Kenji MaillardInria Paris and ENS Paris, Aseem RastogiMicrosoft Research, Nikhil SwamyMicrosoft Research
Pre-print
POPL-2018-papers151577160000016:40 - 17:05
Talk
Ralf JungMPI-SWS, Jacques-Henri JourdanCNRS, LRI, Université Paris-Sud, Robbert KrebbersDelft University of Technology, Derek DreyerMPI-SWS

Wed 10 Jan 2018

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Watercourt

Thu 11 Jan 2018

Room10:003011:003012:003013:003014:003015:003016:0030
Watercourt

Fri 12 Jan 2018

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Watercourt