Write a Blog >>
VenueJW Marriott New Orleans
Room namePOPL-B
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 - Complexity / Decision Procedures at POPL-B
POPL-2020-Research-Papers10:30 - 10:51
Talk
Yannick ForsterSaarland University, Fabian KunzeSaarland University, Marc RothSaarland University and MMCI and Merton College, Oxford University
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
POPL-2020-Research-Papers11:13 - 11:35
Talk
Parosh Aziz AbdullaUppsala University, Sweden, Mohamed Faouzi AtigUppsala University, Sweden, Rojin RezvanSharif University
POPL-2020-Research-Papers
11:45 - 12:30: Research Papers - Synthesis at POPL-B
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
POPL-2020-Research-Papers12:07 - 12:30
Talk
Malavika SamakCSAIL, MIT, Deokhwan KimCSAIL, MIT, Martin RinardMIT
POPL-2020-Research-Papers
14:00 - 15:05: Research Papers - Gradual Typing / Language Design at POPL-B
POPL-2020-Research-Papers14:00 - 14:21
Talk
Zeina MigeedUniversity of California, Los Angeles, Jens PalsbergUniversity of California, Los Angeles
POPL-2020-Research-Papers14:21 - 14:43
Talk
Max NewNortheastern University, Dustin JamnerNortheastern University, USA, Amal AhmedNortheastern University, USA
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
POPL-2020-Research-Papers
15:35 - 16:40: Research Papers - Concurrency / Memory at POPL-B
POPL-2020-Research-Papers15:35 - 15:56
Talk
Azalea RaadMPI-SWS, Germany, John WickersonImperial College London, Gil NeigerIntel Corporation, Viktor VafeiadisMPI-SWS, Germany
POPL-2020-Research-Papers15:56 - 16:18
Talk
Azadeh FarzanUniversity of Toronto, Anthony VandikasUniversity of Toronto
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

Thu 23 Jan

POPL-2020-Research-Papers
10:30 - 11:35: Research Papers - Synthesis at POPL-B
POPL-2020-Research-Papers10:30 - 10:51
Talk
Suguman BansalRice University, USA, Kedar NamjoshiBell Labs, Nokia, Yaniv Sa'arNokia Bell Labs, Kfar Saba, Israel
POPL-2020-Research-Papers10:51 - 11:13
Talk
Shengwei AnPurdue University, Rishabh SinghGoogle Brain, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Roopsha SamantaPurdue University
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
POPL-2020-Research-Papers
11:45 - 12:30: Research Papers - Datalog, OO + Functional Programming at POPL-B
POPL-2020-Research-Papers11:45 - 12:07
Talk
Neel KrishnaswamiComputer Laboratory, University of Cambridge, Michael ArntzeniusUniversity of Birmingham, UK
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
POPL-2020-Research-Papers
14:00 - 15:05: Research Papers - Abstract Interpretation at POPL-B
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
POPL-2020-Research-Papers14:21 - 14:43
Talk
Ryan BeckettMicrosoft Research, Aarti GuptaPrinceton University, Ratul MahajanUniversity of Washington, Intentionet, David WalkerPrinceton University
POPL-2020-Research-Papers14:43 - 15:05
Talk
Sung Kook KimUniversity of California, Davis, Arnaud J. VenetFacebook, Aditya V. ThakurUniversity of California, Davis
POPL-2020-Research-Papers
15:35 - 16:40: Research Papers - Probabilistic Programming at POPL-B
POPL-2020-Research-Papers15:35 - 15:56
Talk
David DaraisUniversity of Vermont, Ian SweetUniversity of Maryland, Chang LiuCitadel Securities, Michael HicksUniversity of Maryland
POPL-2020-Research-Papers15:56 - 16:18
Talk
POPL-2020-Research-Papers16:18 - 16:40
Talk
Feras SaadMassachusetts Institute of Technology, Cameron FreerMassachusetts Institute of Technology, Martin RinardMIT, Vikash MansinghkaMIT

Fri 24 Jan

POPL-2020-Research-Papers
10:30 - 11:35: Research Papers - Verification in Proof Assistants at POPL-B
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
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
POPL-2020-Research-Papers11:13 - 11:35
Talk
Li-yao Xia, 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
POPL-2020-Research-Papers
11:45 - 12:30: Research Papers - Probabilistic Reasoning and Verification at POPL-B
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
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
POPL-2020-Research-Papers
14:00 - 15:05: Research Papers - Language Design at POPL-B
POPL-2020-Research-Papers14:00 - 14:21
Talk
Ralf JungMPI-SWS, Hoang-Hai DangMPI-SWS, Jeehoon KangKAIST, Derek DreyerMPI-SWS
POPL-2020-Research-Papers14:21 - 14:43
Talk
Michael GreenbergPomona College, Austin J. BlattPuppet Labs
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
POPL-2020-Research-Papers
15:35 - 16:40: Research Papers - Verified & Secure Compilation at POPL-B
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
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
POPL-2020-Research-Papers16:18 - 16:40
Talk
Timothy BourkeInria / École normale supérieure, Lélio BrunENS/Inria, Marc PouzetÉcole normale supérieure

This program is tentative and subject to change.

Wed 22 Jan 2020

Thu 23 Jan 2020

This program is tentative and subject to change.