Write a Blog >>
PADL 2020
Mon 20 - Tue 21 January 2020 New Orleans, Louisiana, United States
co-located with POPL 2020
VenueJW Marriott New Orleans
Room nameIle de France II (IDF II)
Floor3
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 22 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

POPL-2020-Research-Papers
08:45 - 09:00: Research Papers - Welcome + SIGPLAN Award Ceremony at Ile de France II (IDF II)
Chair(s): Brigitte PientkaMcGill University, Jens PalsbergUniversity of California, Los Angeles, Lars BirkedalAarhus University
POPL-2020-Research-Papers08:45 - 09:00
Day opening
Media Attached
POPL-2020-Research-Papers
09:00 - 10:00: Research Papers - Invited Talk at Ile de France II (IDF II)
Chair(s): Brigitte PientkaMcGill University
POPL-2020-Research-Papers09:00 - 10:00
Talk
Martin VechevETH Zürich
Media Attached
POPL-2020-Research-Papers
10:30 - 11:35: Research Papers - Probabilistic Programming at Ile de France II (IDF II)
Chair(s): Alexandra SilvaUniversity College London
POPL-2020-Research-Papers10:30 - 10:51
Talk
Wonyeol LeeKAIST, Hangyeol YuKAIST, Xavier RivalINRIA/CNRS/ENS Paris, Hongseok YangKAIST
Link to publication DOI Media Attached
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
Link to publication DOI Media Attached
POPL-2020-Research-Papers11:13 - 11:35
Talk
Fredrik DahlqvistUniversity College London, Dexter KozenCornell University
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers
11:45 - 12:30: Research Papers - Reasoning about Program Complexity/Efficiency at Ile de France II (IDF II)
Chair(s): Thomas WiesNew York University
POPL-2020-Research-Papers11:45 - 12:07
Talk
Alex KavvosAarhus University, Edward MorehouseWesleyan University, Dan LicataWesleyan University, Norman DannerWesleyan University
Link to publication DOI File Attached
POPL-2020-Research-Papers12:07 - 12:30
Talk
Martin Adam Thomas HandleyUniversity of Nottingham, Niki VazouIMDEA Software Institute, Graham HuttonUniversity of Nottingham, UK
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers
14:00 - 15:05: Research Papers - Program Logics at Ile de France II (IDF II)
Chair(s): Azalea RaadMPI-SWS, Germany
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
Link to publication DOI Media Attached
POPL-2020-Research-Papers14:21 - 14:43
Talk
Paulo Emílio de VilhenaInria, François PottierInria, France, Jacques-Henri JourdanCNRS, LRI, Université Paris-Sud
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers14:43 - 15:05
Talk
Jonas Kastberg HinrichsenIT University of Copenhagen, Jesper BengtsonIT University of Copenhagen, Robbert KrebbersDelft University of Technology
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers
15:35 - 16:40: Research Papers - Automatic Differentiation / Kleene Algebra at Ile de France II (IDF II)
Chair(s): Lars BirkedalAarhus University
POPL-2020-Research-Papers15:35 - 15:56
Talk
Link to publication DOI Media Attached
POPL-2020-Research-Papers15:56 - 16:18
Talk
Aloïs BrunelDeepomatic, Damiano MazzaCNRS, Michele PaganiIRIF - Université de Paris
Link to publication DOI Media Attached File Attached
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
Link to publication DOI Media Attached
POPL-2020-Research-Papers
16:50 - 17:35: Research Papers - Synthesis and Decision Procedures at Ile de France II (IDF II)
Chair(s): Roopsha SamantaPurdue University
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
Link to publication DOI Media Attached
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
Link to publication DOI Pre-print Media Attached File Attached

Thu 23 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

POPL-2020-Research-Papers
09:00 - 10:00: Research Papers - Invited Talk at Ile de France II (IDF II)
Chair(s): Brigitte PientkaMcGill University
POPL-2020-Research-Papers09:00 - 10:00
Talk
Link to publication Media Attached
POPL-2020-Research-Papers
10:30 - 11:35: Research Papers - Types and Effects at Ile de France II (IDF II)
Chair(s): Dominique DevrieseVrije Universiteit Brussel
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
Link to publication DOI Media Attached
POPL-2020-Research-Papers10:51 - 11:13
Talk
Link to publication DOI Media Attached
POPL-2020-Research-Papers11:13 - 11:35
Talk
Guilhem JaberLS2N, Université de Nantes
Link to publication DOI Media Attached
POPL-2020-Research-Papers
11:45 - 12:30: Research Papers - Dynamic Program Analysis at Ile de France II (IDF II)
Chair(s): Peter ThiemannUniversity of Freiburg, Germany
POPL-2020-Research-Papers11:45 - 12:07
Talk
Andreas PavlogiannisAarhus University
Link to publication DOI Media Attached File Attached
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
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers
14:00 - 15:05: Research Papers - Type Systems at Ile de France II (IDF II)
Chair(s): Peter ThiemannUniversity of Freiburg, Germany
POPL-2020-Research-Papers14:00 - 14:21
Talk
Jason Z.S. HuMcGill University, Ondřej LhotákUniversity of Waterloo
Link to publication DOI Media Attached File Attached
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
Link to publication DOI Media Attached
POPL-2020-Research-Papers14:43 - 15:05
Talk
Stephen ChangNortheastern University, Michael BallantynePLT @ Northeastern University, Milo TurnerPLT @ Northeastern University, William J. BowmanUniversity of British Columbia
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers
15:35 - 16:40: Research Papers - Program Logics at Ile de France II (IDF II)
Chair(s): Chung-Kil HurSeoul National University
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
Link to publication DOI Media Attached
POPL-2020-Research-Papers15:56 - 16:18
Talk
Kenji MaillardInria Nantes & University of Chile, Cătălin HriţcuInria Paris, Exequiel RivasInria Paris, Antoine Van MuylderInria Paris and Paris 7
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers16:18 - 16:40
Talk
Link to publication DOI Media Attached
POPL-2020-Research-Papers
16:50 - 18:00: Research Papers - Business Meeting & SRC Awards at Ile de France II (IDF II)
POPL-2020-Research-Papers16:50 - 18:00
Meeting
Media Attached

Fri 24 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

POPL-2020-Research-Papers
09:00 - 10:00: Research Papers - Invited Talk at Ile de France II (IDF II)
Chair(s): Lars BirkedalAarhus University
POPL-2020-Research-Papers09:00 - 10:00
Talk
Media Attached File Attached
POPL-2020-Research-Papers
10:30 - 11:35: Research Papers - Type Systems at Ile de France II (IDF II)
Chair(s): Dominique DevrieseVrije Universiteit Brussel
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
Link to publication DOI Media Attached
POPL-2020-Research-Papers10:51 - 11:13
Talk
Mark JonesPortland State University, J. Garrett MorrisUniversity of Kansas, USA, Richard A. EisenbergBryn Mawr College, USA
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers11:13 - 11:35
Talk
Roland MeyerTU Braunschweig, Sebastian WolffTU Braunschweig
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers
11:45 - 12:30: Research Papers - Concurrent Programming & Session Types at Ile de France II (IDF II)
Chair(s): Susmit SarkarUniversity of St. Andrews
POPL-2020-Research-Papers11:45 - 12:07
Talk
Peter ThiemannUniversity of Freiburg, Germany, Vasco T. VasconcelosUniversity of Lisbon, Portugal
Link to publication DOI Media Attached
POPL-2020-Research-Papers12:07 - 12:30
Talk
Federico AschieriTU Wien, Francesco A. GencoIHPST, Université Paris 1
Link to publication DOI Media Attached
POPL-2020-Research-Papers
14:00 - 15:05: Research Papers - Semantics of Probabilistic & Quantum Programming at Ile de France II (IDF II)
Chair(s): Alexandra SilvaUniversity College London
POPL-2020-Research-Papers14:00 - 14:21
Talk
Pierre ClairambaultCNRS & ENS Lyon, Marc De VismeENS Lyon
Link to publication DOI Media Attached File Attached
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
Link to publication DOI Pre-print Media Attached File Attached
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 LiaoMax Planck Institute for Security and Privacy
Link to publication DOI Media Attached
POPL-2020-Research-Papers
15:35 - 16:40: Research Papers - Semantics & Type Theory at Ile de France II (IDF II)
Chair(s): Arthur Azevedo de AmorimCarnegie Mellon University, USA
POPL-2020-Research-Papers15:35 - 15:56
Talk
Davide BarbarossaUniversité Paris 13, Giulio ManzonettoUniversité Paris 13
Link to publication DOI Media Attached File Attached
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
Link to publication DOI Media Attached
POPL-2020-Research-Papers16:18 - 16:40
Talk
Matthieu SozeauInria, Simon BoulierInria, Yannick ForsterSaarland University, Nicolas TabareauInria, Théo WinterhalterInria — LS2N
Link to publication DOI Media Attached File Attached

Wed 22 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Ile de France II (IDF II)