Write a Blog >>
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: Saskatchewan, Central America change

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

11:45 - 12:30: Dynamic Program AnalysisResearch Papers at Ile de France II (IDF II)
Chair(s): Peter ThiemannUniversity of Freiburg, Germany
11:45 - 12:07
Talk
Research Papers
Andreas PavlogiannisAarhus University
Link to publication DOI Media Attached File Attached
12:07 - 12:30
Talk
Research Papers
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
14:00 - 15:05: Type SystemsResearch Papers at Ile de France II (IDF II)
Chair(s): Peter ThiemannUniversity of Freiburg, Germany
14:00 - 14:21
Talk
Research Papers
Jason Z.S. HuMcGill University, Ondřej LhotákUniversity of Waterloo
Link to publication DOI Media Attached File Attached
14:21 - 14:43
Talk
Research Papers
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
14:43 - 15:05
Talk
Research Papers
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
15:35 - 16:40: Program LogicsResearch Papers at Ile de France II (IDF II)
Chair(s): Chung-Kil HurSeoul National University
15:35 - 15:56
Talk
Research Papers
Martin ClochardETH Zürich, Claude MarchéInria Saclay & Université Paris-Saclay, Andrei PaskevichLRI, Université Paris-Sud & CNRS
Link to publication DOI Media Attached
15:56 - 16:18
Talk
Research Papers
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
16:18 - 16:40
Talk
Research Papers
Link to publication DOI Media Attached
16:50 - 18:00: Business Meeting & SRC AwardsResearch Papers at Ile de France II (IDF II)
16:50 - 18:00
Meeting
Research Papers
Media Attached

Fri 24 Jan
Times are displayed in time zone: Saskatchewan, Central America change

09:00 - 10:00: Invited TalkResearch Papers at Ile de France II (IDF II)
Chair(s): Lars BirkedalAarhus University
09:00 - 10:00
Talk
Research Papers
Media Attached File Attached
10:30 - 11:35: Type SystemsResearch Papers at Ile de France II (IDF II)
Chair(s): Dominique DevrieseVrije Universiteit Brussel
10:30 - 10:51
Talk
Research Papers
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
10:51 - 11:13
Talk
Research Papers
Mark JonesPortland State University, J. Garrett MorrisUniversity of Kansas, USA, Richard A. EisenbergBryn Mawr College, USA
Link to publication DOI Media Attached File Attached
11:13 - 11:35
Talk
Research Papers
Roland MeyerTU Braunschweig, Sebastian WolffTU Braunschweig
Link to publication DOI Media Attached File Attached
11:45 - 12:30: Concurrent Programming & Session TypesResearch Papers at Ile de France II (IDF II)
Chair(s): Susmit SarkarUniversity of St. Andrews
11:45 - 12:07
Talk
Research Papers
Peter ThiemannUniversity of Freiburg, Germany, Vasco T. VasconcelosUniversity of Lisbon, Portugal
Link to publication DOI Media Attached
12:07 - 12:30
Talk
Research Papers
Federico AschieriTU Wien, Francesco A. GencoIHPST, Université Paris 1
Link to publication DOI Media Attached
14:00 - 15:05: Semantics of Probabilistic & Quantum ProgrammingResearch Papers at Ile de France II (IDF II)
Chair(s): Alexandra SilvaUniversity College London
14:00 - 14:21
Talk
Research Papers
Pierre ClairambaultCNRS & ENS Lyon, Marc De VismeENS Lyon
Link to publication DOI Media Attached File Attached
14:21 - 14:43
Talk
Research Papers
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
14:43 - 15:05
Talk
Research Papers
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
15:35 - 16:40: Semantics & Type TheoryResearch Papers at Ile de France II (IDF II)
Chair(s): Arthur Azevedo de AmorimCarnegie Mellon University, USA
15:35 - 15:56
Talk
Research Papers
Davide BarbarossaUniversité Paris 13, Giulio ManzonettoUniversité Paris 13
Link to publication DOI Media Attached File Attached
15:56 - 16:18
Talk
Research Papers
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
16:18 - 16:40
Talk
Research Papers
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: Saskatchewan, Central America change

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