Write a Blog >>
Filter
Dates
Rooms
Tracks
Badges
Your Program

This program is tentative and subject to change.

Sun 19 Jan

planqc-2020-papers
09:00 - 10:00: PLanQC - Introduction and Invited Talks at PLanQC
Chair(s): Robert RandUniversity of Maryland
planqc-2020-papers09:00 - 09:30
Talk
Jennifer PaykinGalois, Inc.
planqc-2020-papers09:30 - 10:00
Talk
Peter SelingerDalhousie University
VMCAI-2020-papers
09:00 - 10:00: VMCAI 2020 - Invited 1 at VMCAI
VMCAI-2020-papers09:00 - 10:00
Talk
Marta KwiatkowskaUniversity of Oxford
planqc-2020-papers
10:30 - 12:30: PLanQC - Invited Talks, Pulses, Errors and Categories at PLanQC
planqc-2020-papers10:30 - 11:00
Talk
Bettina HeimMicrosoft
planqc-2020-papers11:00 - 11:30
Talk
planqc-2020-papers11:30 - 11:50
Talk
Thomas AlexanderIBM T.J. Watson Research Center, New York, USA, Naoki KanazawaIBM Research, Tokyo, Japan, Daniel EggerIBM Research, Zurich, Switzerland, Ali Javadi-AbhariIBM T.J. Watson Research Center, New York, USA, David C. McKayIBM T.J. Watson Research Center, New York, USA
planqc-2020-papers11:50 - 12:10
Talk
Kesha HietalaUniversity of Maryland, Robert RandUniversity of Maryland, Michael HicksUniversity of Maryland
planqc-2020-papers12:10 - 12:30
Talk
Andre KornellTulane University, Bert LindenhoviusTulane University, Michael MisloveTulane
VMCAI-2020-papers
10:30 - 12:30: VMCAI 2020 - Papers 1 at VMCAI
VMCAI-2020-papers10:30 - 11:00
Talk
Kedar NamjoshiBell Labs, Nokia, Lucas M. TabajaraRice University
VMCAI-2020-papers11:00 - 11:30
Talk
Pietro FerraraUniversità Ca' Foscari, Venezia, Italy, Luca OlivieriJuliaSoft SRL, Fausto SpotoU. Verona
VMCAI-2020-papers11:30 - 12:00
Coffee break
VMCAI-2020-papers12:00 - 12:30
Talk
Sorawee PorncharoenwaseUniversity of Washington, James BornholtUniversity of Texas at Austin, Emina TorlakUniversity of Washington
POPL-2020-catering
12:30 - 14:00: Catering - Sunday Lunch at Lunch Room
POPL-2020-catering12:30 - 14:00
Lunch
planqc-2020-papers
14:00 - 15:05: PLanQC - Formal Methods at PLanQC
planqc-2020-papers14:00 - 14:20
Talk
Federico OlmedoUniversity of Chile & IMFD Chile, Alejandro Díaz-CaroICC (UBA-CONICET) & UNQ
planqc-2020-papers14:20 - 14:40
Talk
Christopĥe CharetonCEA, LIST, France, Sebastien BardinCEA LIST, François BobotCEA, Valentin PerrelleCEA, LIST, France, Benoit ValironLRI, CentraleSupelec, Univ. Paris Saclay
planqc-2020-papers14:40 - 15:05
Talk
Kesha HietalaUniversity of Maryland, Kartik SinghalUniversity of Chicago, Robert RandUniversity of Maryland, Shih-Han HungUniversity of Maryland, Xiaodi WuUniversity of Maryland, College Park, Michael HicksUniversity of Maryland
VMCAI-2020-papers
14:00 - 15:05: VMCAI 2020 - Invited 2 at VMCAI
VMCAI-2020-papers14:00 - 15:05
Talk
Moshe VardiRice University
planqc-2020-papers
15:35 - 16:35: PLanQC - NISQ at PLanQC
planqc-2020-papers15:35 - 15:55
Talk
Andrew N. GlaudellUniversity of Maryland, Neil Julien RossDalhousie University, Jacob M. TaylorUniversity of Maryland
planqc-2020-papers15:55 - 16:15
Talk
Yu ZhangUniversity of Science and Technology of China, Haowei DengUniversity of Science and Technology of China, Quanxi LiUniversity of Science and Technology of China
planqc-2020-papers16:15 - 16:35
Talk
Xiang FuInstitute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Jintao YuState Key Laboratory of Mathematical Engineering and Advanced Computing, Zhengzhou, China, Xing SuCollege of Meteorology and Oceanography, National University of Defense Technology, Changsha, China, Hanru JiangCenter for Quantum Computing, Peng Cheng Laboratory, Shenzhen, China, Hua WuShanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China, Dong ChenDepartment of Computing Science, College of Computer, National University of Defense Technology, Changsha, China, Fucheng ChengCenter for Quantum Computing, Peng Cheng Laboratory, Shenzhen, China, Xi DengCenter for Quantum Computing, Peng Cheng Laboratory, Shenzhen, China, Jinrong ZhangCenter for Quantum Computing, Peng Cheng Laboratory, Shenzhen, China, Lei JinSchool of Information Engineering, Zhengzhou University, Zhengzhou, China, Yihang YangSchool of Information Engineering, Zhengzhou University, Zhengzhou, China, Le XuSchool of Information Engineering, Zhengzhou University, Zhengzhou, China, Chunchao HuSchool of Information Engineering, Zhengzhou University, Zhengzhou, China, Anqi HuangInstitute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Guangyao HuangInstitute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Xiaogang QiangInstitute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Mingtang DengInstitute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Ping XuInstitute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Wanwei LiuNational University of Defense Technology, Yuxin DengEast China Normal University, Junjie WuInstitute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Yuan FengCentre for Quantum Software and Information, University of Technology Sydney, Australia
VMCAI-2020-papers
15:35 - 17:45: VMCAI 2020 - Papers 2 at VMCAI
VMCAI-2020-papers15:35 - 16:07
Talk
Nathanaël CourantINRIA, Antoine SereEcole Polytechnique, Natarajan ShankarSRI International, USA
VMCAI-2020-papers16:07 - 16:40
Talk
Jack GarzellaUniversity of Utah, Marek S. BaranowskiUniversity of Utah, Shaobo HeUniversity of Utah, Zvonimir RakamaricUniversity of Utah
VMCAI-2020-papers16:40 - 17:12
Coffee break
VMCAI-2020-papers17:12 - 17:45
Talk
Oren Ish-ShalomTel Aviv University, Israel, Shachar ItzhakyTechnion, Israel, Noam RinetzkyTel Aviv University, Sharon ShohamTel Aviv university
planqc-2020-papers
16:50 - 17:50: PLanQC - Quantum-Classical Communication at PLanQC
planqc-2020-papers16:50 - 17:10
Talk
Alexander McCaskeyOak Ridge National Laboratory, Tiffany MintzOak Ridge National Laboratory, Eugene DumitrescuOak Ridge National Laboratory, Sarah PowersOak Ridge National Laboratory, Shirley MooreOak Ridge National Laboratory, Pavel LougovskiOak Ridge National Laboratory
planqc-2020-papers17:10 - 17:30
Talk
Dongho LEELRI / CEA LIST, Univ Paris Saclay, Sebastien BardinCEA LIST, Valentin PerrelleCEA, LIST, France, Benoit ValironLRI, CentraleSupelec, Univ. Paris Saclay
planqc-2020-papers17:30 - 17:50
Talk
Pablo Andres-MartinezUniversity of Edinburgh, Chris HeunenUniversity of Edinburgh

Mon 20 Jan

PADL-2020-papers
08:30 - 10:00: PADL 2020 - Logical Engines and Applications at PADL
PADL-2020-papers08:30 - 08:45
Day opening
PADL-2020-papers08:45 - 09:35
Talk
Nikolaj BjørnerMicrosoft Research
PADL-2020-papers09:35 - 10:00
Talk
Paul TarauUniversity of North Texas, Eduardo Blanco
POPL-2020-tutorialfest
09:00 - 10:00: TutorialFest - Building Program Reasoning Tools using LLVM and Z3 (I) at TutorialFest-A
POPL-2020-tutorialfest09:00 - 10:00
Tutorial
Elizabeth DinellaUniversity of Pennsylvania, Pardis PashakhanlooUniversity of Pennsylvania, Anthony Canino, Mayur NaikUniversity of Pennsylvania
Pre-print
VMCAI-2020-papers
09:00 - 10:00: VMCAI 2020 - Invited 3 at VMCAI
VMCAI-2020-papers09:00 - 10:00
Talk
Rajeev AlurUniversity of Pennsylvania
POPL-2020-tutorialfest
09:00 - 10:00: TutorialFest - Synthesizing Programs from Types (I) at TutorialFest-C
POPL-2020-tutorialfest09:00 - 10:00
Tutorial
Nadia PolikarpovaUniversity of California, San Diego
POPL-2020-tutorialfest
09:00 - 10:00: TutorialFest - Verified Quantum Computing (I) at TutorialFest-B
POPL-2020-tutorialfest09:00 - 10:00
Tutorial
Robert RandUniversity of Maryland
Pre-print
POPL-2020-tutorialfest
09:00 - 10:00: TutorialFest - Verifying Probabilistic Properties with Couplings (I) at TutorialFest-D
POPL-2020-tutorialfest09:00 - 10:00
Tutorial
Justin HsuUniversity of Wisconsin-Madison, USA
PADL-2020-papers
10:30 - 12:00: PADL 2020 - Answer Set Programming Systems at PADL
PADL-2020-papers10:30 - 10:55
Talk
PADL-2020-papers10:55 - 11:10
Short-paper
PADL-2020-papers11:10 - 11:25
Short-paper
Vinh The NguyenTexas Tech University, Yuanlin Zhang, Kwanghee Jung, Wanli Xing, Tommy DangTexas Tech University
PADL-2020-papers11:25 - 12:00
Other
Nikolaj BjørnerMicrosoft Research, Paul TarauUniversity of North Texas, Eduardo Blanco, Kinjal Basu, Farhad Shakerin, Gopal Gupta, Alex Brik, Jeffrey XuUCLA, Vinh The NguyenTexas Tech University, Yuanlin Zhang, Kwanghee Jung, Wanli Xing, Tommy DangTexas Tech University
POPL-2020-tutorialfest
10:30 - 12:30: TutorialFest - Building Program Reasoning Tools using LLVM and Z3 (II) at TutorialFest-A
POPL-2020-tutorialfest10:30 - 12:30
Tutorial
Elizabeth DinellaUniversity of Pennsylvania, Pardis PashakhanlooUniversity of Pennsylvania, Anthony Canino, Mayur NaikUniversity of Pennsylvania
Pre-print
VMCAI-2020-papers
10:30 - 12:30: VMCAI 2020 - Papers 3 at VMCAI
VMCAI-2020-papers10:30 - 11:00
Research paper
Sven KeidelJGU Mainz, Sebastian ErdwegJGU Mainz
Pre-print
VMCAI-2020-papers11:00 - 11:30
Talk
Marc ChevalierENS, CNRS, PSL University, INRIA, Jerome FeretINRIA Paris
VMCAI-2020-papers11:30 - 12:00
Coffee break
VMCAI-2020-papers12:00 - 12:30
Talk
Oren Ish-ShalomTel Aviv University, Israel, Shachar ItzhakyTechnion, Israel, Roman ManevichMellanox Technologies, Noam RinetzkyTel Aviv University
POPL-2020-tutorialfest
10:30 - 12:30: TutorialFest - Synthesizing Programs from Types (II) at TutorialFest-C
POPL-2020-tutorialfest10:30 - 12:30
Tutorial
Nadia PolikarpovaUniversity of California, San Diego
POPL-2020-tutorialfest
10:30 - 12:30: TutorialFest - Verified Quantum Computing (II) at TutorialFest-B
POPL-2020-tutorialfest10:30 - 12:30
Tutorial
Robert RandUniversity of Maryland
Pre-print
POPL-2020-tutorialfest
10:30 - 12:30: TutorialFest - Verifying Probabilistic Properties with Couplings (II) at TutorialFest-D
POPL-2020-tutorialfest10:30 - 12:30
Tutorial
Justin HsuUniversity of Wisconsin-Madison, USA
POPL-2020-catering
12:30 - 14:00: Catering - Monday Lunch at Lunch Room
POPL-2020-catering12:30 - 14:00
Lunch
PADL-2020-papers
13:30 - 15:00: PADL 2020 - Memory and Real-Time in Functional Programming at PADL
PADL-2020-papers13:30 - 13:55
Talk
Martin ElsmanUniversity of Copenhagen, Denmark, Niels Hallenberg
PADL-2020-papers13:55 - 14:20
Talk
PADL-2020-papers14:20 - 14:45
Talk
David JaninBordeaux INP / CNRS LaBRI / Bordeaux University
PADL-2020-papers14:45 - 15:00
Other
Martin ElsmanUniversity of Copenhagen, Denmark, Niels Hallenberg, Bhargav Shivkumar, Jeffrey Murphy, Lukasz ZiarekSUNY Buffalo, USA, David JaninBordeaux INP / CNRS LaBRI / Bordeaux University
VMCAI-2020-papers
14:00 - 15:05: VMCAI 2020 - Papers 4 at VMCAI
VMCAI-2020-papers14:00 - 14:32
Talk
Hongce ZhangPrinceton University, Weikun YangPrinceton University, Grigory FedyukovichFlorida State University, Aarti GuptaPrinceton University, Sharad MalikPrinceton University
VMCAI-2020-papers14:32 - 15:05
Talk
Eric Rothstein-MorrisSingapore University of Technology and Design, Jun SunSingapore Management University, Singapore, Sudipta ChattopadhyaySingapore University of Technology and Design
POPL-2020-tutorialfest
14:00 - 15:05: TutorialFest - Programming and Reasoning with Kleene Algebra with Tests (I) at TutorialFest-C
POPL-2020-tutorialfest14:00 - 15:05
Tutorial
Nate FosterCornell University, Dexter KozenCornell University, Alexandra SilvaUniversity College London
POPL-2020-tutorialfest
14:00 - 15:05: TutorialFest - Proving Semantic Type Soundness in Iris (I) at TutorialFest-A
POPL-2020-tutorialfest14:00 - 15:05
Tutorial
Derek DreyerMPI-SWS, Robbert KrebbersDelft University of Technology, Amin Timanyimec-Distrinet KU-Leuven
POPL-2020-tutorialfest
14:00 - 15:05: TutorialFest - Stateless Model Checking Algorithms and Tools for Strong and Weak Memory Models (I) at TutorialFest-B
POPL-2020-tutorialfest14:00 - 15:05
Tutorial
Konstantinos (Kostis) SagonasUppsala University, Sweden
PADL-2020-papers
15:30 - 17:00: PADL 2020 - Answer Set Programming Applications and Competitive programming experience at PADL
PADL-2020-papers15:30 - 15:55
Talk
Sheung Chi Chan, James CheneyUniversity of Edinburgh, UK
PADL-2020-papers15:55 - 16:20
Talk
Thanh Hai Nguyen, Enrico PontelliNew Mexico State University, Tran Cao Son
PADL-2020-papers16:20 - 17:00
Talk
Neng-Fa ZhouCUNY Brooklyn College and Graduate Center
VMCAI-2020-papers
15:35 - 17:45: VMCAI 2020 - Papers 5 at VMCAI
VMCAI-2020-papers15:35 - 16:07
Talk
Daniel HausmannFriedrich-Alexander-Universität Erlangen-Nürnberg, Tadeusz LitakFAU Erlangen-Nuremberg, INF 8, Christoph RauchFAU Erlangen-Nürnberg, Lehrstuhl 8, Matthias ZinnerFAU Erlangen-Nürnberg
VMCAI-2020-papers16:07 - 16:40
Talk
Martin BlichaUniversità della Svizzera italiana, Antti HyvärinenUniversità della Svizzera Italiana, Matteo MarescottiUniversità della Svizzera Italiana, Natasha SharyginaUSI Lugano, Switzerland
VMCAI-2020-papers16:40 - 17:12
Coffee break
VMCAI-2020-papers17:12 - 17:45
Talk
Kohei SuenagaGraduate School of Informatics, Kyoto University, Takuya IshizawaKyoto University
POPL-2020-tutorialfest
15:35 - 17:35: TutorialFest - Programming and Reasoning with Kleene Algebra with Tests (II) at TutorialFest-C
POPL-2020-tutorialfest15:35 - 17:35
Tutorial
Nate FosterCornell University, Dexter KozenCornell University, Alexandra SilvaUniversity College London
POPL-2020-tutorialfest
15:35 - 17:35: TutorialFest - Proving Semantic Type Soundness in Iris (II) at TutorialFest-A
POPL-2020-tutorialfest15:35 - 17:35
Tutorial
Derek DreyerMPI-SWS, Robbert KrebbersDelft University of Technology, Amin Timanyimec-Distrinet KU-Leuven
POPL-2020-tutorialfest
15:35 - 17:35: TutorialFest - Stateless Model Checking Algorithms and Tools for Strong and Weak Memory Models (II) at TutorialFest-B
POPL-2020-tutorialfest15:35 - 17:35
Tutorial
Konstantinos (Kostis) SagonasUppsala University, Sweden

Tue 21 Jan

PADL-2020-papers
08:30 - 10:00: PADL 2020 - Reasoning and Efficient Implementation at PADL
PADL-2020-papers08:30 - 09:20
Talk
PADL-2020-papers09:20 - 09:45
Talk
PADL-2020-papers09:45 - 10:00
Short-paper
POPL-2020-Ally-Skills-Session
10:30 - 12:30: Ally Skills Session - Ally Skills Session at Ally
POPL-2020-Ally-Skills-Session10:30 - 12:30
Other
VMCAI-2020-papers
10:30 - 12:30: VMCAI 2020 - Papers 6 at VMCAI
VMCAI-2020-papers10:30 - 11:00
Talk
Andreas FellnerAIT - Austrian Institute of Technology, Thorsten TarrachAustrian Institute of Technology, Georg WeissenbacherTechnische Universität Wien
VMCAI-2020-papers11:00 - 11:30
Talk
Swen JacobsCISPA Helmholtz Center for Information Security, Mouhammad SakrSaarland University, Martin ZimmermannUniversity of Liverpool
VMCAI-2020-papers11:30 - 12:00
Coffee break
VMCAI-2020-papers12:00 - 12:30
Talk
Maxwell LevatichYale, Nikolaj BjørnerMicrosoft Research, Ruzica PiskacYale University, USA, Sharon ShohamTel Aviv university
PADL-2020-papers
10:30 - 12:00: PADL 2020 - Small Languages and Implementation at PADL
PADL-2020-papers10:30 - 10:55
Talk
Martin ErwigOregon State University, Prashant Kumar, Alan Fern
PADL-2020-papers10:55 - 11:20
Talk
PADL-2020-papers11:20 - 11:35
Short-paper
Ramy Shahin, Marsha ChechikUniversity of Toronto
PADL-2020-papers11:35 - 12:00
Other
POPL-2020-catering
12:30 - 14:00: Catering - Tuesday Lunch at Lunch Room
POPL-2020-catering12:30 - 14:00
Lunch
PADL-2020-papers
13:30 - 15:00: PADL 2020 - Invited Experience and Direction Session at PADL
PADL-2020-papers13:30 - 14:00
Talk
Molham ArefRelational.ai
PADL-2020-papers14:00 - 14:30
Talk
Mayur NaikUniversity of Pennsylvania
PADL-2020-papers14:30 - 15:00
Talk
Grant PassmoreImandra Inc.
VMCAI-2020-papers
14:00 - 15:05: VMCAI 2020 - Papers 7 at VMCAI
VMCAI-2020-papers14:00 - 14:32
Talk
Ahmed BouajjaniIRIF, Université Paris Diderot, Constantin EneaIRIF, University Paris Diderot & CNRS, Madhavan MukundChennai Mathematical Institute, Gautham Shenoy RChennai Mathematical Institute, S.P. SureshChennai Mathematical Institute
VMCAI-2020-papers14:32 - 15:05
Talk
Wytse OortwijnETH Zürich, Dilian GurovKTH Royal Institute of Technology, Marieke HuismanUniversity of Twente
PADL-2020-papers
15:30 - 17:00: PADL 2020 - Invited Experience and Direction Session (Continued) at PADL
PADL-2020-papers15:30 - 16:00
Talk
Philip WadlerUniversity of Edinburgh, UK
PADL-2020-papers16:00 - 16:45
Other
Molham ArefRelational.ai, Mayur NaikUniversity of Pennsylvania, Grant PassmoreImandra Inc., Philip WadlerUniversity of Edinburgh, UK
PADL-2020-papers16:45 - 17:00
Day closing
POPL-2020-poplmark-15-year-retrospective-panel
15:35 - 17:45: POPLmark 15 Year Retrospective Panel - POPLmark 15 Year Retrospective Panel at POPLmark
POPL-2020-poplmark-15-year-retrospective-panel15:35 - 17:35
Other
VMCAI-2020-papers
15:35 - 17:45: VMCAI 2020 - Papers 8 at VMCAI
VMCAI-2020-papers15:35 - 16:40
Talk
Helmut SeidlTechnische Universität München, Christian MüllerTechnical University of Munich, Bernd FinkbeinerSaarland University
VMCAI-2020-papers16:40 - 17:45
Talk
Ruben LapauwKatholieke Universiteit Leuven, Maurice BruynoogheKatholieke Universiteit Leuven, Marc DeneckerKatholieke Universiteit Leuven

Wed 22 Jan

POPL-2020-Research-Papers
08:45 - 09:00: Research Papers - Welcome + SIGPLAN Award Ceremony at POPL
POPL-2020-Research-Papers08:45 - 09:00
Day opening
POPL-2020-Research-Papers
09:00 - 10:00: Research Papers - Invited Talk at POPL
POPL-2020-Research-Papers09:00 - 10:00
Talk
Martin VechevETH Zürich
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
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
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-catering
12:30 - 14:00: Catering - Wednesday Lunch at Lunch Room
POPL-2020-catering12:30 - 14:00
Lunch
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
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
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
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
09:00 - 10:00: Research Papers - Invited Talk at POPL
POPL-2020-Research-Papers09:00 - 10:00
Talk
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
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 - 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
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-catering
12:30 - 14:00: Catering - Thursday Lunch at Lunch Room
POPL-2020-catering12:30 - 14:00
Lunch
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
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 - 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
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
POPL-2020-Research-Papers
16:50 - 18:00: Research Papers - Business Meeting at POPL
POPL-2020-Research-Papers16:50 - 18:00
Meeting

Fri 24 Jan

POPL-2020-Research-Papers
09:00 - 10:00: Research Papers - Invited Talk at POPL
POPL-2020-Research-Papers09:00 - 10:00
Talk
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
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 - 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
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-catering
12:30 - 14:00: Catering - Friday Lunch at Lunch Room
POPL-2020-catering12:30 - 14:00
Lunch
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
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
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

Sat 25 Jan

CoqPL-2020-papers
09:00 - 10:00: CoqPL - Invited Talk at CoqPL
CoqPL-2020-papers09:00 - 10:00
Talk
Chantal KellerLRI, Université Paris-Sud
CoqPL-2020-papers
10:30 - 12:30: CoqPL - Contributed Talks at CoqPL
CoqPL-2020-papers10:30 - 11:00
Talk
Arthur Azevedo de AmorimCarnegie Mellon University, USA
File Attached
CoqPL-2020-papers11:00 - 11:30
Talk
File Attached
CoqPL-2020-papers11:30 - 12:00
Talk
Tej ChajedMassachusetts Institute of Technology, USA, Joseph TassarottiBoston College, M. Frans KaashoekMassachusetts Institute of Technology, USA, Nickolai ZeldovichMassachusetts Institute of Technology, USA
File Attached
CoqPL-2020-papers12:00 - 12:30
Talk
File Attached
POPL-2020-catering
12:30 - 14:00: Catering - Saturday Lunch at Lunch Room
POPL-2020-catering12:30 - 14:00
Lunch
CoqPL-2020-papers
14:00 - 15:05: CoqPL - Invited Talk at CoqPL
CoqPL-2020-papers14:00 - 15:00
Talk
Kathrin StarkSaarland University, Germany
CoqPL-2020-papers
15:35 - 17:45: CoqPL - Contributed Talks & Coq Developers at CoqPL
CoqPL-2020-papers15:35 - 16:05
Talk
Aurèle BarrièreUniv Rennes, IRISA, Sandrine BlazyUniv Rennes- IRISA, David PichardieUniv Rennes, ENS Rennes, IRISA
File Attached
CoqPL-2020-papers16:05 - 16:35
Talk
Yannick ForsterSaarland University, Dominique Larchey-WendlingCNRS, LORIA, Andrej DudenhefnerSaarland University, Edith HeiterSaarland University, Dominik KirstSaarland University, Fabian KunzeSaarland University, Gert SmolkaSaarland University, Simon SpiesSaarland University, Dominik WehrSaarland University, Universiteit van Amsterdam, Maximilian WuttkeSaarland University
File Attached
CoqPL-2020-papers16:35 - 16:50
Break
CoqPL-2020-papers16:50 - 17:35
Demonstration

This program is tentative and subject to change.

Sun 19 Jan 2020

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Lunch Room
PLanQC
15:35 - 16:35
VMCAI
09:00 - 10:00
10:30 - 12:30
14:00 - 15:05
15:35 - 17:45

Mon 20 Jan 2020

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
ADSL
09:00 - 10:00
10:30 - 12:30
14:00 - 15:05
15:35 - 17:45
CPP
09:00 - 10:00
10:30 - 12:30
14:00 - 15:05
15:35 - 17:45
HASE
09:00 - 10:00
10:30 - 12:30
14:00 - 15:05
15:35 - 17:45
Lunch Room
PADL
PEPM
09:00 - 10:00
10:30 - 12:30
14:00 - 15:05
15:35 - 17:45
TutorialFest-A
TutorialFest-B
TutorialFest-C
TutorialFest-D
VMCAI
09:00 - 10:00
10:30 - 12:30
14:00 - 15:05
15:35 - 17:45

Tue 21 Jan 2020

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Ally
CPP
09:00 - 10:00
10:30 - 12:30
14:00 - 15:05
15:35 - 17:45
HASE
09:00 - 10:00
10:30 - 12:30
14:00 - 15:05
15:35 - 17:45
LAFI
09:00 - 10:00
10:30 - 12:30
14:00 - 15:05
15:35 - 17:45
Lunch Room
PADL
PLMW
09:00 - 10:00
10:30 - 12:30
14:00 - 15:05
15:35 - 17:45
POPLmark
VMCAI
09:00 - 10:00
10:30 - 12:30
14:00 - 15:05
15:35 - 17:45

Sat 25 Jan 2020

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
CoqPL
09:00 - 10:00
14:00 - 15:05
Lunch Room
PriSC
09:00 - 10:00
10:30 - 12:30
14:00 - 15:05
15:35 - 17:45
WGT
09:00 - 10:00
10:30 - 12:30
14:00 - 15:05
15:35 - 17:45

This program is tentative and subject to change.

Sun 19 Jan 2020

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Lunch Room
12:30 - 14:00
PLanQC
12:10 - 12:30
VMCAI
11:30 - 12:00
14:00 - 15:05
16:40 - 17:12

Mon 20 Jan 2020

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Lunch Room
12:30 - 14:00
PADL
08:30 - 08:45
TutorialFest-A
TutorialFest-B
TutorialFest-C
TutorialFest-D
VMCAI
11:30 - 12:00
16:40 - 17:12

Tue 21 Jan 2020

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Ally
Lunch Room
12:30 - 14:00
PADL
16:45 - 17:00
POPLmark
VMCAI
11:30 - 12:00

Wed 22 Jan 2020

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Lunch Room
12:30 - 14:00
POPL
POPL-A
POPL-B

Thu 23 Jan 2020

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Lunch Room
12:30 - 14:00
POPL
POPL-A
POPL-B

Fri 24 Jan 2020

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Lunch Room
12:30 - 14:00
POPL
POPL-A
POPL-B
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)