Write a Blog >>
VenueJW Marriott New Orleans
Room nameIle de France III (IDF III)
Floor3
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Tue 21 Jan

PLMW-POPL-2020
09:00 - 10:00: PLMW 2020 - Morning 1 at Ile de France III (IDF III)
Chair(s): Stephanie BalzerCarnegie Mellon University, USA
PLMW-POPL-202009:00 - 09:10
Day opening
Brigitte PientkaMcGill University
PLMW-POPL-202009:10 - 10:00
Talk
File Attached
PLMW-POPL-2020
10:30 - 12:30: PLMW 2020 - Morning 2 at Ile de France III (IDF III)
Chair(s): Robbert KrebbersDelft University of Technology
PLMW-POPL-202010:30 - 11:10
Talk
Lindsey KuperUniversity of California, Santa Cruz
Media Attached
PLMW-POPL-202011:10 - 11:50
Talk
Marco GaboardiBoston University
Media Attached File Attached
PLMW-POPL-202011:50 - 12:30
Talk
Xavier LeroyCollège de France
Media Attached File Attached
PLMW-POPL-2020
14:00 - 15:05: PLMW 2020 - Afternoon 1 at Ile de France III (IDF III)
Chair(s): Justin HsuUniversity of Wisconsin-Madison, USA
PLMW-POPL-202014:00 - 15:05
Talk
William J. BowmanUniversity of British Columbia, Kenny FonerGalois, Andrew HirschMax Planck Institute for Software Systems, Taro SekiyamaNational Institute of Informatics, Juliana FrancoMicrosoft Research, Cambridge, Hannah GommerstadtVassar College
Media Attached
PLMW-POPL-2020
15:35 - 17:45: PLMW 2020 - Afternoon 2 at Ile de France III (IDF III)
Chair(s): Nobuko YoshidaImperial College London
PLMW-POPL-202015:40 - 16:40
Talk
Media Attached
PLMW-POPL-202016:40 - 16:50
Coffee break
PLMW-POPL-202016:50 - 17:35
Talk
Isil DilligUniversity of Texas Austin
Media Attached

Wed 22 Jan

POPL-2020-Research-Papers
10:30 - 11:35: Research Papers - Complexity / Decision Procedures at Ile de France III (IDF III)
Chair(s): Roopsha SamantaPurdue University
POPL-2020-Research-Papers10:30 - 10:51
Talk
Yannick ForsterSaarland University, Fabian KunzeSaarland University, Marc RothSaarland University and MMCI and Merton College, Oxford University
Link to publication DOI Pre-print Media Attached
POPL-2020-Research-Papers10:51 - 11:13
Talk
Yotam FeldmanTel Aviv University, Neil ImmermanUniversity of Massachusetts, Amherst, Mooly SagivTel Aviv University, Sharon ShohamTel Aviv university
Link to publication DOI Media Attached
POPL-2020-Research-Papers11:13 - 11:35
Talk
Parosh Aziz AbdullaUppsala University, Sweden, Mohamed Faouzi AtigUppsala University, Sweden, Rojin RezvanSharif University
Link to publication DOI
POPL-2020-Research-Papers
11:45 - 12:30: Research Papers - Synthesis at Ile de France III (IDF III)
Chair(s): Mohsen LesaniUniversity of California, Riverside
POPL-2020-Research-Papers11:45 - 12:07
Talk
Zheng GuoUniversity of California, San Diego, Michael JamesUniversity of California, San Diego, David JustoUniversity of California, San Diego, Jiaxiao ZhouUniversity of California, San Diego, Ziteng WangUniversity of California, San Diego, Ranjit JhalaUniversity of California, San Diego, Nadia PolikarpovaUniversity of California, San Diego
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers12:07 - 12:30
Talk
Malavika SamakCSAIL, MIT, Deokhwan KimCSAIL, MIT, Martin RinardMIT
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers
14:00 - 15:05: Research Papers - Gradual Typing / Language Design at Ile de France III (IDF III)
Chair(s): Jeremy G. SiekIndiana University, USA
POPL-2020-Research-Papers14:00 - 14:21
Talk
Zeina MigeedUniversity of California, Los Angeles, Jens PalsbergUniversity of California, Los Angeles
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers14:21 - 14:43
Talk
Max NewNortheastern University, Dustin JamnerNortheastern University, USA, Amal AhmedNortheastern University, USA
Link to publication DOI Media Attached
POPL-2020-Research-Papers14:43 - 15:05
Talk
Lukas LazarekNorthwestern University, Alexis KingNorthwestern University, Samanvitha SundarNorthwestern University, Robby FindlerNorthwestern University, USA, Christos DimoulasPLT @ Northwestern University
Link to publication DOI Media Attached
POPL-2020-Research-Papers
15:35 - 16:40: Research Papers - Concurrency / Memory at Ile de France III (IDF III)
Chair(s): Susmit SarkarUniversity of St. Andrews
POPL-2020-Research-Papers15:35 - 15:56
Talk
Azalea RaadMPI-SWS, Germany, John WickersonImperial College London, Gil NeigerIntel Corporation, Viktor VafeiadisMPI-SWS, Germany
Link to publication DOI Media Attached
POPL-2020-Research-Papers15:56 - 16:18
Talk
Azadeh FarzanUniversity of Toronto, Anthony VandikasUniversity of Toronto
Link to publication DOI Media Attached
POPL-2020-Research-Papers16:18 - 16:40
Talk
Hoang-Hai DangMPI-SWS, Jacques-Henri JourdanCNRS, LRI, Université Paris-Sud, Jan-Oliver KaiserMPI-SWS, Derek DreyerMPI-SWS
Link to publication DOI Media Attached

Thu 23 Jan

POPL-2020-Research-Papers
10:30 - 11:35: Research Papers - Synthesis at Ile de France III (IDF III)
Chair(s): Mohsen LesaniUniversity of California, Riverside
POPL-2020-Research-Papers10:30 - 10:51
Talk
Suguman BansalRice University, USA, Kedar NamjoshiBell Labs, Nokia, Yaniv Sa'arNokia Bell Labs, Kfar Saba, Israel
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers10:51 - 11:13
Talk
Shengwei AnPurdue University, Rishabh SinghGoogle Brain, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Roopsha SamantaPurdue University
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers11:13 - 11:35
Talk
Mukund RaghothamanUniversity of Southern California, Jonathan MendelsonUniversity of Pennsylvania, David ZhaoThe University of Sydney, Mayur NaikUniversity of Pennsylvania, Bernhard ScholzUniversity of Sydney, Australia
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers
11:45 - 12:30: Research Papers - Datalog, OO + Functional Programming at Ile de France III (IDF III)
Chair(s): Brigitte PientkaMcGill University
POPL-2020-Research-Papers11:45 - 12:07
Talk
Neel KrishnaswamiComputer Laboratory, University of Cambridge, Michael ArntzeniusUniversity of Birmingham, UK
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers12:07 - 12:30
Talk
David BinderUniversity of Tübingen, Julian JabsUniversity of Tübingen, Ingo SkupinUniversity of Tübingen, Klaus OstermannUniversity of Tübingen, Germany
Link to publication DOI Media Attached
POPL-2020-Research-Papers
14:00 - 15:05: Research Papers - Abstract Interpretation at Ile de France III (IDF III)
Chair(s): Xavier RivalINRIA/CNRS/ENS Paris
POPL-2020-Research-Papers14:00 - 14:21
Talk
Roberto BruniUniversity of Pisa, Roberto GiacobazziUniversity of Verona and IMDEA Software Institute, Roberta GoriUniversity of Pisa, Isabel Garcia-ContrerasIMDEA Software Institute, Dusko PavlovicUniversity of Hawaii
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers14:21 - 14:43
Talk
Ryan BeckettMicrosoft Research, Aarti GuptaPrinceton University, Ratul MahajanUniversity of Washington, Intentionet, David WalkerPrinceton University
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers14:43 - 15:05
Talk
Sung Kook KimUniversity of California, Davis, Arnaud J. VenetFacebook, Aditya V. ThakurUniversity of California, Davis
Link to publication DOI Pre-print Media Attached File Attached
POPL-2020-Research-Papers
15:35 - 16:40: Research Papers - Probabilistic Programming at Ile de France III (IDF III)
Chair(s): Ohad KammarUniversity of Edinburgh
POPL-2020-Research-Papers15:35 - 15:56
Talk
David DaraisUniversity of Vermont, Ian SweetUniversity of Maryland, Chang LiuCitadel Securities, Michael HicksUniversity of Maryland
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers15:56 - 16:18
Talk
Alexander VandenbrouckeKU Leuven, Belgium, Tom SchrijversKU Leuven
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers16:18 - 16:40
Talk
Feras SaadMassachusetts Institute of Technology, Cameron FreerMassachusetts Institute of Technology, Martin RinardMIT, Vikash MansinghkaMIT
Link to publication DOI Media Attached File Attached

Fri 24 Jan

POPL-2020-Research-Papers
10:30 - 11:35: Research Papers - Verification in Proof Assistants at Ile de France III (IDF III)
Chair(s): Sandrine BlazyUniv Rennes- IRISA
POPL-2020-Research-Papers10:30 - 10:51
Talk
Mengqi LiuYale University, Lionel RiegVerimag, Zhong ShaoYale University, Ronghui GuColumbia University, David CostanzoYale University, Jung-Eun KimYale University, Man-Ki YoonYale University
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers10:51 - 11:13
Talk
Michael SammlerMPI-SWS, Deepak GargMax Planck Institute for Software Systems, Derek DreyerMPI-SWS, Tadeusz LitakFAU Erlangen-Nuremberg, INF 8
Link to publication DOI Media Attached
POPL-2020-Research-Papers11:13 - 11:35
Talk
Li-yao XiaUniversity of Pennsylvania, Yannick ZakowskiUniversity of Pennsylvania, Paul HeUniversity of Pennsylvania, Chung-Kil HurSeoul National University, Gregory MalechaBedRock Systems, Benjamin C. PierceUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers
11:45 - 12:30: Research Papers - Probabilistic Reasoning and Verification at Ile de France III (IDF III)
Chair(s): Arthur Azevedo de AmorimCarnegie Mellon University, USA
POPL-2020-Research-Papers11:45 - 12:07
Talk
Peixin WangShanghai Jiao Tong University, Hongfei FuShanghai Jiao Tong University, Krishnendu ChatterjeeIST Austria, Yuxin DengEast China Normal University, Ming XuEast China Normal University
Link to publication DOI Media Attached
POPL-2020-Research-Papers12:07 - 12:30
Talk
Marcel HarkRWTH Aachen University, Germany, Benjamin Lucien KaminskiRWTH Aachen University, Germany, Jürgen GieslRWTH Aachen University, Joost-Pieter KatoenRWTH Aachen University
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers
14:00 - 15:05: Research Papers - Language Design at Ile de France III (IDF III)
Chair(s): Amin Timanyimec-Distrinet KU-Leuven
POPL-2020-Research-Papers14:00 - 14:21
Talk
Ralf JungMPI-SWS, Hoang-Hai DangMPI-SWS, Jeehoon KangKAIST, Derek DreyerMPI-SWS
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers14:21 - 14:43
Talk
Michael GreenbergPomona College, Austin J. BlattPuppet Labs
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers14:43 - 15:05
Talk
Sam WestrickCarnegie Mellon University, Rohan YadavCarnegie Mellon University, Matthew FluetRochester Institute of Technology, Umut AcarCarnegie Mellon University
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers
15:35 - 16:40: Research Papers - Verified & Secure Compilation at Ile de France III (IDF III)
Chair(s): Andrew AppelPrinceton
POPL-2020-Research-Papers15:35 - 15:56
Talk
Gilles BartheMPI for Security and Privacy (MPI-SP) and IMDEA Software Institute, Sandrine BlazyUniv Rennes- IRISA, Benjamin GregoireINRIA, Rémi HutinIRISA / ENS Rennes, Vincent LaporteInria, David PichardieUniv Rennes, ENS Rennes, IRISA, Alix TrieuAarhus University
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers15:56 - 16:18
Talk
Youngju SongSeoul National University, Minki ChoSeoul National University, Dongjoo KimSeoul National University, Yonghyun KimSeoul National University, South Korea, Jeehoon KangKAIST, Chung-Kil HurSeoul National University
Link to publication DOI Media Attached File Attached
POPL-2020-Research-Papers16:18 - 16:40
Talk
Timothy BourkeInria / École normale supérieure, Lélio BrunENS/Inria, Marc PouzetÉcole normale supérieure
Link to publication DOI Media Attached File Attached

Tue 21 Jan 2020

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Ile de France III (IDF III)
09:00 - 10:00
10:30 - 12:30
14:00 - 15:05
15:35 - 17:45