Write a Blog >>
VenueJW Marriott New Orleans
Room namePOPL-A
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

This program is tentative and subject to change.

Wed 22 Jan

POPL-2020-Research-Papers
10:30 - 11:35: Research Papers - Probabilistic Programming at POPL-A
POPL-2020-Research-Papers10:30 - 10:51
Talk
Wonyeol LeeKAIST, Hangyeol YuKAIST, Xavier RivalINRIA/CNRS/ENS Paris, Hongseok YangKAIST
POPL-2020-Research-Papers10:51 - 11:13
Talk
Alexander K. LewMassachusetts Institute of Technology, USA, Marco Cusumano-TownerMIT-CSAIL, Benjamin ShermanMassachusetts Institute of Technology, USA, Michael CarbinMassachusetts Institute of Technology, Vikash MansinghkaMIT
POPL-2020-Research-Papers11:13 - 11:35
Talk
Fredrik DahlqvistUniversity College London, Dexter KozenCornell University
POPL-2020-Research-Papers
11:45 - 12:30: Research Papers - Reasoning about Program Complexity/Efficiency at POPL-A
POPL-2020-Research-Papers11:45 - 12:07
Talk
G. A. KavvosWesleyan University, Edward MorehouseWesleyan University, Dan LicataWesleyan University, Norman DannerWesleyan University
POPL-2020-Research-Papers12:07 - 12:30
Talk
Martin Adam Thomas HandleyUniversity of Nottingham, Niki VazouIMDEA Software Institute, Graham HuttonUniversity of Nottingham, UK
POPL-2020-Research-Papers
14:00 - 15:05: Research Papers - Program Logics at POPL-A
POPL-2020-Research-Papers14:00 - 14:21
Talk
Ralf JungMPI-SWS, Rodolphe LepigreMPI-SWS, Gaurav ParthasarathyETH Zurich, Marianna RapoportUniversity of Waterloo, Amin Timanyimec-Distrinet KU-Leuven, Derek DreyerMPI-SWS, Bart Jacobsimec-DistriNet, Dept. CS, KU Leuven
POPL-2020-Research-Papers14:21 - 14:43
Talk
Paulo Emílio de VilhenaInria, François PottierInria, France, Jacques-Henri JourdanCNRS, LRI, Université Paris-Sud
POPL-2020-Research-Papers14:43 - 15:05
Talk
Jonas Kastberg HinrichsenIT University of Copenhagen, Jesper BengtsonIT University of Copenhagen, Robbert KrebbersDelft University of Technology
POPL-2020-Research-Papers
15:35 - 16:40: Research Papers - Automatic Differentiation / Kleene Algebra at POPL-A
POPL-2020-Research-Papers15:35 - 15:56
Talk
POPL-2020-Research-Papers15:56 - 16:18
Talk
Aloïs BrunelDeepomatic, Damiano MazzaCNRS, Michele PaganiIRIF - Université de Paris
POPL-2020-Research-Papers16:18 - 16:40
Talk
Steffen SmolkaCornell University, Nate FosterCornell University, Justin HsuUniversity of Wisconsin-Madison, USA, Tobias KappéUniversity College London, Dexter KozenCornell University, Alexandra SilvaUniversity College London
POPL-2020-Research-Papers
16:50 - 17:35: Research Papers - Synthesis and Decision Procedures at POPL-A
POPL-2020-Research-Papers16:50 - 17:12
Talk
Chenglong WangUniversity of Washington, USA, Yu FengUniversity of California, Santa Barbara, Rastislav BodikUniversity of Washington, Alvin CheungUniversity of California, Berkeley, Isil DilligUniversity of Texas Austin
POPL-2020-Research-Papers17:12 - 17:35
Talk
Umang MathurUniversity of Illinois at Urbana-Champaign, Adithya MuraliUniversity of Illinois at Urbana-Champaign, Paul KrogmeierUniversity of Illinois at Urbana-Champaign, P. MadhusudanUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign

Thu 23 Jan

POPL-2020-Research-Papers
10:30 - 11:35: Research Papers - Types and Effects at POPL-A
POPL-2020-Research-Papers10:30 - 10:51
Talk
Dariusz BiernackiUniversity of Wrocław, Maciej PirógUniversity of Wrocław, Piotr PolesiukUniversity of Wrocław, Filip SieczkowskiUniversity of Wrocław
POPL-2020-Research-Papers10:51 - 11:13
Talk
POPL-2020-Research-Papers11:13 - 11:35
Talk
Guilhem JaberLS2N, Université de Nantes
POPL-2020-Research-Papers
11:45 - 12:30: Research Papers - Dynamic Program Analysis at POPL-A
POPL-2020-Research-Papers11:45 - 12:07
Talk
Andreas PavlogiannisAarhus University
POPL-2020-Research-Papers12:07 - 12:30
Talk
Daming ZouPeking University, Muhan ZengPeking University, Yingfei XiongPeking University, Zhoulai FuIT University of Copenhagen, Denmark, Lu ZhangPeking University, Zhendong SuETH Zurich
POPL-2020-Research-Papers
14:00 - 15:05: Research Papers - Type Systems at POPL-A
POPL-2020-Research-Papers14:00 - 14:21
Talk
Jason Z.S. HuMcGill University, Ondřej LhotákUniversity of Waterloo
POPL-2020-Research-Papers14:21 - 14:43
Talk
Julian MackayVictoria University of Wellington, Alex PotaninVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University, Lindsay GrovesVictoria University of Wellington
POPL-2020-Research-Papers14:43 - 15:05
Talk
Stephen ChangNortheastern University, Michael BallantynePLT @ Northeastern University, Milo TurnerNortheastern University, William J. BowmanUniversity of British Columbia
POPL-2020-Research-Papers
15:35 - 16:40: Research Papers - Program Logics at POPL-A
POPL-2020-Research-Papers15:35 - 15:56
Talk
Martin ClochardETH Zürich, Claude MarchéInria Saclay & Université Paris-Saclay, Andrei PaskevichLRI, Université Paris-Sud & CNRS
POPL-2020-Research-Papers15:56 - 16:18
Talk
Kenji MaillardInria Paris and ENS Paris, Cătălin HriţcuInria Paris, Exequiel RivasInria Paris, Antoine Van MuylderInria Paris and Paris 7
POPL-2020-Research-Papers16:18 - 16:40
Talk

Fri 24 Jan

POPL-2020-Research-Papers
10:30 - 11:35: Research Papers - Type Systems at POPL-A
POPL-2020-Research-Papers10:30 - 10:51
Talk
Ningning XieThe University of Hong Kong, Richard A. EisenbergBryn Mawr College, USA, Bruno C. d. S. OliveiraThe University of Hong Kong, Hong Kong
POPL-2020-Research-Papers10:51 - 11:13
Talk
Mark JonesPortland State University, J. Garrett MorrisUniversity of Kansas, USA, Richard A. EisenbergBryn Mawr College, USA
POPL-2020-Research-Papers11:13 - 11:35
Talk
Roland MeyerTU Braunschweig, Sebastian WolffTU Braunschweig
POPL-2020-Research-Papers
11:45 - 12:30: Research Papers - Concurrent Programming & Session Types at POPL-A
POPL-2020-Research-Papers11:45 - 12:07
Talk
Peter ThiemannUniversity of Freiburg, Germany, Vasco T. VasconcelosUniversity of Lisbon, Portugal
POPL-2020-Research-Papers12:07 - 12:30
Talk
Federico AschieriTU Wien, Francesco A. GencoIHPST, Université Paris 1
POPL-2020-Research-Papers
14:00 - 15:05: Research Papers - Semantics of Probabilistic & Quantum Programming at POPL-A
POPL-2020-Research-Papers14:00 - 14:21
Talk
Pierre ClairambaultCNRS & ENS Lyon, Marc De VismeENS Lyon
POPL-2020-Research-Papers14:21 - 14:43
Talk
Gilles BartheMPI for Security and Privacy (MPI-SP) and IMDEA Software Institute, Justin HsuUniversity of Wisconsin-Madison, USA, Mingsheng YingUniversity of Technology Sydney, Australia / Institute of Software at Chinese Academy of Sciences, China/ Department of Computer Science and Technology, Tsinghua University., Nengkun YuUniversity of Technology Sydney, Australia, Li ZhouMax Planck Institute for Security and Privacy/Tsinghua University
POPL-2020-Research-Papers14:43 - 15:05
Talk
Gilles BartheMPI for Security and Privacy (MPI-SP) and IMDEA Software Institute, Justin HsuUniversity of Wisconsin-Madison, USA, Kevin LiaoUniversity of Illinois Urbana-Champaign
POPL-2020-Research-Papers
15:35 - 16:40: Research Papers - Semantics & Type Theory at POPL-A
POPL-2020-Research-Papers15:35 - 15:56
Talk
Davide BarbarossaUniversité Paris 13, Giulio ManzonettoUniversité Paris 13
POPL-2020-Research-Papers15:56 - 16:18
Talk
Benedikt AhrensUniversity of Birmingham, United Kingdom, André HirschowitzUniversité Côte d'Azur, Ambroise LafontInria, France, Marco MaggesiUniversità di Firenze
POPL-2020-Research-Papers16:18 - 16:40
Talk
Matthieu SozeauInria, Simon BoulierInria, Yannick ForsterSaarland University, Nicolas TabareauInria, Théo WinterhalterInria — LS2N

This program is tentative and subject to change.

Thu 23 Jan 2020

Room10:003011:003012:003013:003014:003015:003016:0030
POPL-A

This program is tentative and subject to change.