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 nameSt Jerome
Floor3
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Sun 19 Jan

VMCAI-2020-papers
09:00 - 10:00: VMCAI 2020 - Invited 1 at St Jerome
Chair(s): Dirk BeyerLMU Munich
VMCAI-2020-papers09:00 - 10:00
Talk
Moshe VardiRice University
VMCAI-2020-papers
10:30 - 12:30: VMCAI 2020 - Papers 1 at St Jerome
Chair(s): Natasha SharyginaUSI Lugano, Switzerland
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
VMCAI-2020-papers
14:00 - 15:05: VMCAI 2020 - Invited 2 at St Jerome
Chair(s): Damien ZuffereyMPI-SWS
VMCAI-2020-papers14:00 - 15:05
Talk
Marta KwiatkowskaUniversity of Oxford
VMCAI-2020-papers
15:35 - 17:45: VMCAI 2020 - Papers 2 at St Jerome
Chair(s): Kedar NamjoshiBell Labs, Nokia
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

Mon 20 Jan

VMCAI-2020-papers
09:00 - 10:00: VMCAI 2020 - Invited 3 at St Jerome
Chair(s): Damien ZuffereyMPI-SWS
VMCAI-2020-papers09:00 - 10:00
Talk
Rajeev AlurUniversity of Pennsylvania
VMCAI-2020-papers
10:30 - 12:30: VMCAI 2020 - Papers 3 at St Jerome
Chair(s): Dirk BeyerLMU Munich
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
VMCAI-2020-papers
14:00 - 15:05: VMCAI 2020 - Papers 4 at St Jerome
Chair(s): Ruzica PiskacYale University, USA
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
VMCAI-2020-papers
15:35 - 17:45: VMCAI 2020 - Papers 5 at St Jerome
Chair(s): Nikolaj BjørnerMicrosoft Research
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
Link to publication Pre-print

Tue 21 Jan

VMCAI-2020-papers
09:00 - 10:00: VMCAI 2020 - Papers 6 at St Jerome
Chair(s): Andreas PodelskiUniversity of Freiburg, Germany
VMCAI-2020-papers09:00 - 09:30
Talk
Helmut SeidlTechnische Universität München, Christian MüllerTechnical University of Munich, Bernd FinkbeinerSaarland University
VMCAI-2020-papers09:30 - 10:00
Talk
Ruben LapauwKatholieke Universiteit Leuven, Maurice BruynoogheKatholieke Universiteit Leuven, Marc DeneckerKatholieke Universiteit Leuven
VMCAI-2020-papers
10:30 - 12:30: VMCAI 2020 - Papers 7 at St Jerome
Chair(s): Thomas WiesNew York University
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
VMCAI-2020-papers
14:00 - 15:05: VMCAI 2020 - Papers 8 at St Jerome
Chair(s): Ori LahavTel Aviv University
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
VMCAI-2020-papers
15:35 - 17:45: VMCAI 2020 - Panel Session at St Jerome
Chair(s): Dirk BeyerLMU Munich
VMCAI-2020-papers15:35 - 17:45
Other
Lenore ZuckUIC, Michael WhalenAmazon Web Services and the University of Minnesota, Natarajan ShankarSRI International, USA, Andreas PodelskiUniversity of Freiburg, Germany, Dirk BeyerLMU Munich

Thu 23 Jan

POPL-2020-Student-Research-Competition
14:00 - 15:30: Student Research Competition - SRC Finalists Presentations at St Jerome
POPL-2020-Student-Research-Competition14:00 - 15:30
Talk

Sun 19 Jan 2020

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
St Jerome
09:00 - 10:00
10:30 - 12:30
14:00 - 15:05
15:35 - 17:45

Mon 20 Jan 2020

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
St Jerome
09:00 - 10:00
10:30 - 12:30
14:00 - 15:05
15:35 - 17:45

Tue 21 Jan 2020

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
St Jerome
09:00 - 10:00
10:30 - 12:30
14:00 - 15:05
15:35 - 17:45

Thu 23 Jan 2020

Thu 23 Jan 2020