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

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Wed 10 Jan
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:10: Types and EffectsResearch Papers at Watercourt
Chair(s): Neel KrishnaswamiComputer Laboratory, University of Cambridge
10:30 - 10:55
Talk
Research Papers
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
10:55 - 11:20
Talk
Research Papers
11:20 - 11:45
Talk
Research Papers
Danel AhmanInria Paris
11:45 - 12:10
Talk
Research Papers
Dariusz BiernackiUniversity of Wrocław, Maciej PirógUniversity of Wrocław, Piotr PolesiukUniversity of Wrocław, Filip SieczkowskiUniversity of Wrocław
13:40 - 15:20: Interpretation and EvaluationResearch Papers at Watercourt
Chair(s): Atsushi IgarashiKyoto University, Japan
13:40 - 14:05
Talk
Research Papers
Lionel ParreauxEPFL, Antoine VoizardUniversity of Pennsylvannia, Amir ShaikhhaEPFL, Christoph E. KochEPFL
Pre-print
14:05 - 14:30
Talk
Research Papers
Matt BrownUCLA, Jens PalsbergUniversity of California, Los Angeles (UCLA)
14:30 - 14:55
Talk
Research Papers
John Peter CamporaULL Lafayette, Sheng ChenUniversity of Louisiana at Lafayette, Martin ErwigOregon State University, Eric WalkingshawOregon State University
14:55 - 15:20
Talk
Research Papers
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
15:50 - 17:30: TypesResearch Papers at Watercourt
Chair(s): Thorsten AltenkirchUniversity of Nottingham
15:50 - 16:15
Talk
Research Papers
16:15 - 16:40
Talk
Research Papers
William J. BowmanNortheastern University, USA, Youyou CongOchanomizu University, Japan, Nick RiouxNortheastern University, USA, Amal AhmedNortheastern University, USA
Link to publication DOI Pre-print
16:40 - 17:05
Talk
Research Papers
Ondřej KunčarTechnische Universität München, Germany, Andrei PopescuMiddlesex University, London
17:05 - 17:30
Talk
Research Papers
Paolo CapriottiUniversity of Nottingham, Nicolai KrausUniversity of Nottingham

Thu 11 Jan
Times are displayed in time zone: Tijuana, Baja California change

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

Fri 12 Jan
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:10: Dynamic LanguagesResearch Papers at Watercourt
Chair(s): Jean YangCarnegie Mellon University
10:30 - 10:55
Talk
Research Papers
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
10:55 - 11:20
Talk
Research Papers
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
11:20 - 11:45
Talk
Research Papers
Phúc C. NguyễnUniversity of Maryland, Thomas GilrayUniversity of Maryland, Sam Tobin-HochstadtIndiana University, David Van HornUniversity of Maryland
11:45 - 12:10
Talk
Research Papers
Nada AminUniversity of Cambridge, Tiark RompfPurdue University
13:40 - 15:20: ProbabilityResearch Papers at Watercourt
Chair(s): Lars BirkedalAarhus University
13:40 - 14:05
Talk
Research Papers
Gilles BartheIMDEA Software Institute, Thomas EspitauUniversite Pierre et Marie Curie, Benjamin GregoireINRIA, Justin HsuUniversity College London, Pierre-Yves StrubEcole Polytechnique
14:05 - 14:30
Talk
Research Papers
Aws AlbarghouthiUniversity of Wisconsin-Madison, Justin HsuUniversity College London
14:30 - 14:55
Talk
Research Papers
Thomas EhrhardCNRS and University Paris Diderot, Michele PaganiUniversity Paris Diderot, Christine TassonUniversity Paris Diderot
14:55 - 15:20
Talk
Research Papers
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
15:50 - 17:05: Types for StateResearch Papers at Watercourt
Chair(s): Neel KrishnaswamiComputer Laboratory, University of Cambridge
15:50 - 16:15
Talk
Research Papers
Amin Timanyimec-Distrinet KU-Leuven, Leo StefanescoENS Lyon, Morten Krogh-JespersenAarhus University, Lars BirkedalAarhus University
16:15 - 16:40
Talk
Research Papers
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
16:40 - 17:05
Talk
Research Papers
Ralf JungMPI-SWS, Jacques-Henri JourdanCNRS, LRI, Université Paris-Sud, Robbert KrebbersDelft University of Technology, Derek DreyerMPI-SWS

Wed 10 Jan
Times are displayed in time zone: Tijuana, Baja California change

Thu 11 Jan
Times are displayed in time zone: Tijuana, Baja California change

Fri 12 Jan
Times are displayed in time zone: Tijuana, Baja California change