Write a Blog >>
VenueUniversitat Politècnica de Catalunya
Room nameAuditorium, Vertex Building
Floor0
Room number
Capacity500
Additional informationThere is no additional information of this room available.
Program

Mon 19 Jun

pldi-2017-keynotes
09:00 - 09:05: PLDI Invited Speakers - Welcome at Auditorium, Vertex Building
Chair(s): Martin VechevDeepCode and ETH Zurich, Switzerland, Albert CohenINRIA
pldi-2017-keynotes09:00 - 09:05
Day opening
pldi-2017-keynotes
09:05 - 10:00: PLDI Invited Speakers - Joint Keynote ­– Martin Odersky at Auditorium, Vertex Building
pldi-2017-keynotes09:05 - 10:00
Talk
Martin OderskyEPFL, Switzerland
Media Attached
curryon-2017-keynotes
09:05 - 10:00: Curry On Keynotes - Monday - 9:00 - 9:50 - Auditorium at Auditorium, Vertex Building
curryon-2017-keynotes09:05 - 10:00
Talk
Martin OderskyEPFL, Switzerland
pldi-2017-papers
10:00 - 10:30: PLDI Research Papers - 1' pitches of the day at Auditorium, Vertex Building
pldi-2017-papers10:00 - 10:30
Other
curryon-2017-papers
10:30 - 12:50: Curry On Talks - Monday - 10:30 - 12:50 - Auditorium at Auditorium, Vertex Building
curryon-2017-papers10:30 - 11:10
Talk
curryon-2017-papers11:20 - 12:00
Talk
curryon-2017-papers12:10 - 12:50
Talk
curryon-2017-keynotes
14:00 - 14:50: Curry On Keynotes - Monday - 14:00 - 14:50 - Auditorium at Auditorium, Vertex Building
curryon-2017-keynotes14:00 - 14:50
Talk
curryon-2017-papers
15:00 - 15:40: Curry On Talks - Monday - 15:00 - 15:40 - Auditorium at Auditorium, Vertex Building
curryon-2017-papers15:00 - 15:40
Talk
John HughesChalmers University of Technology
curryon-2017-papers
16:10 - 18:30: Curry On Talks - Monday - 16:10 - 18:30 - Auditorium at Auditorium, Vertex Building
curryon-2017-papers16:10 - 16:50
Talk
Matthew MightUniversity of Utah, USA
curryon-2017-papers17:00 - 17:40
Talk
Nicholas MatsakisMozilla Corporation
pldi-2017-keynotes
17:55 - 18:50: PLDI Invited Speakers - Joint Keynote ­– Martin Abadi at Auditorium, Vertex Building
pldi-2017-keynotes17:55 - 18:50
Talk
curryon-2017-keynotes
17:55 - 18:50: Curry On Keynotes - Monday - 17:50 - 18:30 - PLDI at Auditorium, Vertex Building
curryon-2017-keynotes17:55 - 18:50
Talk

Tue 20 Jun

pldi-2017-keynotes
09:00 - 09:50: PLDI Invited Speakers - Curry-On Keynote – José Valim at Auditorium, Vertex Building
pldi-2017-keynotes09:00 - 09:50
Talk
José ValimPlataformatec
curryon-2017-keynotes
09:00 - 09:50: Curry On Keynotes - Tuesday - 9:00 - 9:50 - Auditorium at Auditorium, Vertex Building
curryon-2017-keynotes09:00 - 09:50
Talk
José ValimPlataformatec
pldi-2017-papers
09:50 - 10:25: PLDI Research Papers - 1' pitches of the day and the next day at Auditorium, Vertex Building
pldi-2017-papers09:50 - 10:25
Other
curryon-2017-papers
10:25 - 12:45: Curry On Talks - Tuesday - 10:25 - 12:45 - Auditorium at Auditorium, Vertex Building
curryon-2017-papers10:25 - 11:05
Talk
Daniel KingBroad Institute
curryon-2017-papers11:15 - 11:55
Talk
Jean YangCarnegie Mellon University
curryon-2017-papers12:05 - 12:45
Talk
Mark AllenAlert Logic
curryon-2017-papers
13:50 - 15:30: Curry On Talks - Tuesday - 13:50 - 15:20 - Auditorium at Auditorium, Vertex Building
curryon-2017-papers13:50 - 14:30
Talk
curryon-2017-papers14:40 - 15:20
Talk
curryon-2017-papers
16:00 - 18:20: Curry On Talks - Tuesday - 16:00 - 18:20 - Auditorium at Auditorium, Vertex Building
curryon-2017-papers16:00 - 16:40
Talk
Sylvan ClebschImperial College London
curryon-2017-papers16:50 - 17:30
Talk
curryon-2017-papers17:40 - 18:20
Talk
curryon-2017-keynotes
18:30 - 19:20: Curry On Keynotes - Tuesday - 18:30 - 19:20 - Auditorium at Auditorium, Vertex Building
curryon-2017-keynotes18:30 - 19:20
Talk

Wed 21 Jun

pldi-2017-papers
10:20 - 12:00: PLDI Research Papers - Systems and Performance at Auditorium, Vertex Building
Chair(s): Dan GrossmanUniversity of Washington
pldi-2017-papers10:20 - 10:45
Talk
Scott SchneiderIBM Research, Kun-Lung WuIBM Research
Media Attached
pldi-2017-papers10:45 - 11:10
Talk
Thomas WuerthingerOracle Labs, Christian Wimmer, Christian HumerOracle Labs, Switzerland, Andreas WoessOracle Labs, Lukas StadlerOracle Labs, Austria, Chris SeatonOracle Labs, Gilles DuboscqOracle Labs, Doug SimonOracle Labs, Matthias GrimmerOracle Labs, Austria
Media Attached
pldi-2017-papers11:10 - 11:35
Talk
Stefan K. Muller, Umut AcarCarnegie Mellon University, Robert HarperCWI
Media Attached
pldi-2017-papers11:35 - 12:00
Talk
Konstantinos MamourasUniversity of Pennsylvania, Mukund RaghotamanUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania, Zachary G. IvesUniversity of Pennsylvania, Sanjeev KhannaUniversity of Pennsylvania
Media Attached
pldi-2017-papers
pldi-2017-papers12:00 - 12:15
Awards
pldi-2017-papers12:15 - 12:30
Day closing
ecoop-2017-Invited-Speakers
14:00 - 15:00: ECOOP Invited Speakers - Keynote at Auditorium, Vertex Building
Chair(s): Peter MüllerETH Zurich
ecoop-2017-Invited-Speakers14:00 - 15:00
Talk
Media Attached
ecoop-2017-papers
15:30 - 17:10: ECOOP Research Papers - Analysis and Synthesis at Auditorium, Vertex Building
Chair(s): Anders MøllerAarhus University
ecoop-2017-papers15:30 - 15:55
Talk
Mikaël MayerEPFL, Switzerland, Jad HamzaLIAFA, Université Paris Diderot, Viktor KuncakEPFL, Switzerland
Link to publication Media Attached
ecoop-2017-papers15:55 - 16:20
Talk
Shiyou HuangTexas A&M University, Jeff HuangTexas A&M University
Link to publication Media Attached
ecoop-2017-papers16:20 - 16:45
Talk
Quentin StiévenartVrije Universiteit Brussel, Belgium, Jens NicolayVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
Link to publication Pre-print Media Attached
ecoop-2017-papers16:45 - 17:10
Talk
Jeff HuangTexas A&M University, Arun Krishnakumar RajagopalanTexas A&M University
Link to publication Media Attached

Thu 22 Jun

ecoop-2017-Invited-Speakers
09:00 - 10:00: ECOOP Invited Speakers - Dahl-Nygaard Senior Prize at Auditorium, Vertex Building
Chair(s): Eric JulUniversity of Oslo
ecoop-2017-Invited-Speakers09:00 - 10:00
Talk
Media Attached
ecoop-2017-papers
10:30 - 12:10: ECOOP Research Papers - Specification and Verification at Auditorium, Vertex Building
Chair(s): Doug LeaState University of New York, Oswego
ecoop-2017-papers10:30 - 10:55
Talk
Germán Andrés DelbiancoIMDEA Software Institute, Ilya SergeyUniversity College London, Aleksandar NanevskiIMDEA Software Institute, Anindya BanerjeeIMDEA Software Institute
Link to publication Media Attached
ecoop-2017-papers10:55 - 11:20
Talk
Jens DietrichMassey University, David PearceVictoria University of Wellington, Kamil JezekUniversity of West Bohemia, Pilsen, CZ, Premek BradaUniversity of West Bohemia
Link to publication Pre-print Media Attached
ecoop-2017-papers11:20 - 11:45
Talk
Jan-Oliver KaiserMPI-SWS, Hoang-Hai DangMPI-SWS, Derek DreyerMPI-SWS, Ori LahavMPI-SWS, Viktor VafeiadisMPI-SWS, Germany
Link to publication Media Attached
ecoop-2017-papers11:45 - 12:10
Talk
Anton PodkopaevSt. Petersburg University, JetBrains, Ori LahavMPI-SWS, Viktor VafeiadisMPI-SWS, Germany
Link to publication Media Attached
ecoop-2017-papers
13:40 - 15:20: ECOOP Research Papers - Implementation at Auditorium, Vertex Building
Chair(s): Tobias WrigstadUppsala University
ecoop-2017-papers13:40 - 14:05
Talk
Todd A. Anderson, Hai LiuIntel Labs, Lindsey KuperIntel Labs, Ehsan TotoniIntel Labs, Jan VitekNortheastern University, Tatiana ShpeismanIntel Labs
Link to publication Media Attached
ecoop-2017-papers14:05 - 14:30
Talk
Baptiste Saleil, Marc FeeleyUniversité de Montréal
Link to publication Media Attached
ecoop-2017-papers14:30 - 14:55
Talk
Michael VollmerIndiana University, USA, Sarah SpallIndiana University, Buddhika ChamithIndiana University, Laith Sakka, Milind KulkarniPurdue University, Sam Tobin-HochstadtIndiana University, Ryan R. NewtonIndiana University
Link to publication Media Attached
ecoop-2017-papers14:55 - 15:20
Talk
Yudi ZhengUniversity of Lugano, Lubomír BulejCharles University, Walter BinderUniversity of Lugano
Link to publication Media Attached
ecoop-2017-papers
15:50 - 17:30: ECOOP Research Papers - Calculi and Semantics at Auditorium, Vertex Building
Chair(s): Colin GordonDrexel University
ecoop-2017-papers15:50 - 16:15
Talk
Martin Berger, Laurence TrattKing's College London, Christian UrbanKing's College London
Link to publication Media Attached
ecoop-2017-papers16:15 - 16:40
Talk
Simon FowlerThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, Philip WadlerUniversity of Edinburgh, UK
Link to publication Pre-print Media Attached
ecoop-2017-papers16:40 - 17:05
Talk
Weili FuUniversity of Edinburgh, Roly PereraUniversity of Edinburgh, UK / University of Glasgow, UK, Paul AndersonUniversity of Edinburgh, James CheneyUniversity of Edinburgh, UK
Link to publication Media Attached
ecoop-2017-papers17:05 - 17:30
Talk
Fei Wang, Tiark RompfPurdue University
Link to publication Media Attached

Fri 23 Jun

ecoop-2017-Invited-Speakers
09:00 - 10:00: ECOOP Invited Speakers - Dahl-Nygaard Junior Prize at Auditorium, Vertex Building
Chair(s): Eric JulUniversity of Oslo
ecoop-2017-Invited-Speakers09:00 - 10:00
Talk
Ross TateCornell University
Media Attached
ecoop-2017-papers
10:30 - 12:10: ECOOP Research Papers - Types and Effects at Auditorium, Vertex Building
Chair(s): Philipp HallerKTH Royal Institute of Technology
ecoop-2017-papers10:30 - 10:55
Talk
Elias CastegrenUppsala University, Tobias WrigstadUppsala University
Link to publication Media Attached
ecoop-2017-papers10:55 - 11:20
Talk
Colin GordonDrexel University
Link to publication Pre-print Media Attached
ecoop-2017-papers11:20 - 11:45
Talk
Edlira KuciTU Darmstadt, Germany, Sebastian ErdwegTU Delft, Oliver BračevacTU Darmstadt, Andi BejleriTU Darmstadt, Germany, Mira MeziniTU Darmstadt
Link to publication Media Attached
ecoop-2017-papers11:45 - 12:10
Talk
Alceste ScalasImperial College London, Ornela DardhaUniversity of Glasgow, Raymond HuImperial College London, Nobuko YoshidaImperial College London
Link to publication Media Attached
ecoop-2017-papers
13:40 - 15:20: ECOOP Research Papers - Language and Library Design at Auditorium, Vertex Building
Chair(s): Sophia Drossopoulou
ecoop-2017-papers13:40 - 14:05
Talk
Daco HarkesDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication DOI Media Attached
ecoop-2017-papers14:05 - 14:30
Talk
Jack WilliamsUniversity of Edinburgh, J. Garrett MorrisUniversity of Edinburgh, UK, Philip WadlerUniversity of Edinburgh, UK, Jakub Zalewski
Link to publication Media Attached
ecoop-2017-papers14:30 - 14:55
Talk
Weixin ZhangUniversity of Hong Kong, Bruno C. d. S. OliveiraThe University of Hong Kong
Link to publication Media Attached
ecoop-2017-papers14:55 - 15:20
Talk
Tomas PetricekAlan Turing Institute
Link to publication Media Attached
ecoop-2017-papers
15:50 - 17:05: ECOOP Research Papers - Security at Auditorium, Vertex Building
Chair(s): Peter MüllerETH Zurich
ecoop-2017-papers15:50 - 16:15
Talk
Raimil CruzUniversity of Chile, Tamara RezkInria, Bernard SerpetteInria, Éric TanterUniversity of Chile
Link to publication Media Attached
ecoop-2017-papers16:15 - 16:40
Talk
Jens DietrichMassey University, Kamil JezekUniversity of West Bohemia, Pilsen, CZ, Shawn RasheedMassey University, Amjed TahirMassey University, Alex PotaninVictoria University of Wellington
Link to publication Pre-print Media Attached
ecoop-2017-papers16:40 - 17:05
Talk
Darya MelicherCarnegie Mellon University, Yangqingwei ShiPeking University, Alex PotaninVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University
Link to publication

Wed 21 Jun 2017

Fri 23 Jun 2017