Write a Blog >>
CPP 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
co-located with POPL 2020
VenueJW Marriott New Orleans
Room nameSt Jerome
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

Sun 19 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

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
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

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
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

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
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

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
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
St Jerome

Mon 20 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
St Jerome

Tue 21 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
St Jerome

Thu 23 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

Thu 23 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change