PEPM 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
co-located with POPL 2020
VenueJW Marriott New Orleans
Room nameVMCAI
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

This program is tentative and subject to change.

Sun 19 Jan

VMCAI-2020-papers
09:00 - 10:00: VMCAI 2020 - Invited 1 at VMCAI
VMCAI-2020-papers09:00 - 10:00
Talk
Marta KwiatkowskaUniversity of Oxford
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
VMCAI-2020-papers
14:00 - 15:05: VMCAI 2020 - Invited 2 at VMCAI
VMCAI-2020-papers14:00 - 15:05
Talk
Moshe VardiRice University
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

Mon 20 Jan

VMCAI-2020-papers
09:00 - 10:00: VMCAI 2020 - Invited 3 at VMCAI
VMCAI-2020-papers09:00 - 10:00
Talk
Rajeev AlurUniversity of Pennsylvania
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
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
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

Tue 21 Jan

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
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
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

This program is tentative and subject to change.

Sun 19 Jan 2020

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
VMCAI
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
VMCAI
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
VMCAI
09:00 - 10:00
10:30 - 12:30
14:00 - 15:05
15:35 - 17:45

This program is tentative and subject to change.