Write a Blog >>
VenueUniversitat Politècnica de Catalunya
Room nameAuditorium, Vertex Building
Floor0
Capacity500
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

Mon 19 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 09:05: WelcomePLDI Invited Speakers at Auditorium, Vertex Building
Chair(s): Martin VechevDeepCode and ETH Zurich, Switzerland, Albert CohenINRIA
09:00 - 09:05
Day opening
PLDI Invited Speakers
09:05 - 10:00: Joint Keynote ­– Martin OderskyPLDI Invited Speakers at Auditorium, Vertex Building
09:05 - 10:00
Talk
PLDI Invited Speakers
Martin OderskyEPFL, Switzerland
Media Attached
09:05 - 10:00: Monday - 9:00 - 9:50 - AuditoriumCurryOn Curry On Keynotes at Auditorium, Vertex Building
09:05 - 10:00
Talk
CurryOn Curry On Keynotes
Martin OderskyEPFL, Switzerland
10:00 - 10:30: 1' pitches of the dayPLDI Research Papers at Auditorium, Vertex Building
10:00 - 10:30
Other
PLDI Research Papers
10:30 - 12:50: Monday - 10:30 - 12:50 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building
10:30 - 11:10
Talk
CurryOn Curry On Talks
11:20 - 12:00
Talk
CurryOn Curry On Talks
12:10 - 12:50
Talk
CurryOn Curry On Talks
14:00 - 14:50: Monday - 14:00 - 14:50 - AuditoriumCurryOn Curry On Keynotes at Auditorium, Vertex Building
14:00 - 14:50
Talk
CurryOn Curry On Keynotes
15:00 - 15:40: Monday - 15:00 - 15:40 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building
15:00 - 15:40
Talk
CurryOn Curry On Talks
John HughesChalmers University of Technology
16:10 - 18:30: Monday - 16:10 - 18:30 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building
16:10 - 16:50
Talk
CurryOn Curry On Talks
Matthew MightUniversity of Utah, USA
17:00 - 17:40
Talk
CurryOn Curry On Talks
Nicholas MatsakisMozilla Corporation
17:55 - 18:50: Joint Keynote ­– Martin AbadiPLDI Invited Speakers at Auditorium, Vertex Building
17:55 - 18:50
Talk
PLDI Invited Speakers
17:55 - 18:50: Monday - 17:50 - 18:30 - PLDICurryOn Curry On Keynotes at Auditorium, Vertex Building
17:55 - 18:50
Talk
CurryOn Curry On Keynotes

Tue 20 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 09:50: Tuesday - 9:00 - 9:50 - AuditoriumCurryOn Curry On Keynotes at Auditorium, Vertex Building
09:00 - 09:50
Talk
CurryOn Curry On Keynotes
José ValimPlataformatec
09:00 - 09:50: Curry-On Keynote – José ValimPLDI Invited Speakers at Auditorium, Vertex Building
09:00 - 09:50
Talk
PLDI Invited Speakers
José ValimPlataformatec
09:50 - 10:25: 1' pitches of the day and the next dayPLDI Research Papers at Auditorium, Vertex Building
09:50 - 10:25
Other
PLDI Research Papers
10:25 - 12:45: Tuesday - 10:25 - 12:45 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building
10:25 - 11:05
Talk
CurryOn Curry On Talks
Daniel KingBroad Institute
11:15 - 11:55
Talk
CurryOn Curry On Talks
Jean YangCarnegie Mellon University
12:05 - 12:45
Talk
CurryOn Curry On Talks
Mark AllenAlert Logic
16:00 - 18:20: Tuesday - 16:00 - 18:20 - AuditoriumCurryOn Curry On Talks at Auditorium, Vertex Building
16:00 - 16:40
Talk
CurryOn Curry On Talks
Sylvan ClebschImperial College London
16:50 - 17:30
Talk
CurryOn Curry On Talks
17:40 - 18:20
Talk
CurryOn Curry On Talks
18:30 - 19:20: Tuesday - 18:30 - 19:20 - AuditoriumCurryOn Curry On Keynotes at Auditorium, Vertex Building
18:30 - 19:20
Talk
CurryOn Curry On Keynotes

Wed 21 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:20 - 12:00: Systems and PerformancePLDI Research Papers at Auditorium, Vertex Building
Chair(s): Dan GrossmanUniversity of Washington
10:20 - 10:45
Talk
PLDI Research Papers
Scott SchneiderIBM Research, Kun-Lung WuIBM Research
Media Attached
10:45 - 11:10
Talk
PLDI Research Papers
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
11:10 - 11:35
Talk
PLDI Research Papers
Stefan K. Muller, Umut A. AcarCarnegie Mellon University, Robert HarperCWI
Media Attached
11:35 - 12:00
Talk
PLDI Research Papers
Konstantinos MamourasUniversity of Pennsylvania, Mukund RaghotamanUniversity of Pennsylvania, Rajeev AlurUniversity of Pennsylvania, Zachary G. IvesUniversity of Pennsylvania, Sanjeev KhannaUniversity of Pennsylvania
Media Attached
12:00 - 12:15
Awards
PLDI Research Papers
12:15 - 12:30
Day closing
PLDI Research Papers
14:00 - 15:00: KeynoteECOOP Invited Speakers at Auditorium, Vertex Building
Chair(s): Peter MüllerETH Zurich
14:00 - 15:00
Talk
ECOOP Invited Speakers
Media Attached
15:30 - 17:10: Analysis and SynthesisECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Anders MøllerAarhus University
15:30 - 15:55
Talk
ECOOP Research Papers
Mikaël MayerEPFL, Switzerland, Jad HamzaLIAFA, Université Paris Diderot, Viktor KunčakEPFL, Switzerland
Link to publication Media Attached
15:55 - 16:20
Talk
ECOOP Research Papers
Shiyou HuangTexas A&M University, Jeff HuangTexas A&M University
Link to publication Media Attached
16:20 - 16:45
Talk
ECOOP Research Papers
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
16:45 - 17:10
Talk
ECOOP Research Papers
Jeff HuangTexas A&M University, Arun Krishnakumar RajagopalanTexas A&M University
Link to publication Media Attached

Thu 22 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00: Dahl-Nygaard Senior PrizeECOOP Invited Speakers at Auditorium, Vertex Building
Chair(s): Eric JulUniversity of Oslo
09:00 - 10:00
Talk
ECOOP Invited Speakers
Media Attached
10:30 - 12:10: Specification and VerificationECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Doug LeaState University of New York, Oswego
10:30 - 10:55
Talk
ECOOP Research Papers
Germán Andrés DelbiancoIMDEA Software Institute, Ilya SergeyUniversity College London, Aleksandar NanevskiIMDEA Software Institute, Anindya BanerjeeIMDEA Software Institute
Link to publication Media Attached
10:55 - 11:20
Talk
ECOOP Research Papers
Jens DietrichMassey University, David J. PearceVictoria University of Wellington, Kamil JezekUniversity of West Bohemia, Pilsen, CZ, Premek BradaUniversity of West Bohemia
Link to publication Pre-print Media Attached
11:20 - 11:45
Talk
ECOOP Research Papers
Jan-Oliver KaiserMPI-SWS, Hoang-Hai DangMPI-SWS, Derek DreyerMPI-SWS, Ori LahavMPI-SWS, Viktor VafeiadisMPI-SWS, Germany
Link to publication Media Attached
11:45 - 12:10
Talk
ECOOP Research Papers
Anton PodkopaevSt. Petersburg University, JetBrains, Ori LahavMPI-SWS, Viktor VafeiadisMPI-SWS, Germany
Link to publication Media Attached
13:40 - 15:20: ImplementationECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Tobias WrigstadUppsala University
13:40 - 14:05
Talk
ECOOP Research Papers
Todd A. Anderson, Hai LiuIntel Labs, Lindsey KuperIntel Labs, Ehsan TotoniIntel Labs, Jan VitekNortheastern University, Tatiana ShpeismanIntel Labs
Link to publication Media Attached
14:05 - 14:30
Talk
ECOOP Research Papers
Baptiste Saleil, Marc FeeleyUniversité de Montréal
Link to publication Media Attached
14:30 - 14:55
Talk
ECOOP Research Papers
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
14:55 - 15:20
Talk
ECOOP Research Papers
Yudi ZhengUniversity of Lugano, Lubomír BulejCharles University, Walter BinderUniversity of Lugano
Link to publication Media Attached
15:50 - 17:30: Calculi and SemanticsECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Colin GordonDrexel University
15:50 - 16:15
Talk
ECOOP Research Papers
Martin Berger, Laurence TrattKing's College London, Christian UrbanKing's College London
Link to publication Media Attached
16:15 - 16:40
Talk
ECOOP Research Papers
Simon FowlerThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, Philip WadlerUniversity of Edinburgh, UK
Link to publication Pre-print Media Attached
16:40 - 17:05
Talk
ECOOP Research Papers
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
17:05 - 17:30
Talk
ECOOP Research Papers
Fei Wang, Tiark RompfPurdue University
Link to publication Media Attached

Fri 23 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00: Dahl-Nygaard Junior PrizeECOOP Invited Speakers at Auditorium, Vertex Building
Chair(s): Eric JulUniversity of Oslo
09:00 - 10:00
Talk
ECOOP Invited Speakers
Ross TateCornell University
Media Attached
10:30 - 12:10: Types and EffectsECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Philipp HallerKTH Royal Institute of Technology
10:30 - 10:55
Talk
ECOOP Research Papers
Elias CastegrenUppsala University, Tobias WrigstadUppsala University
Link to publication Media Attached
10:55 - 11:20
Talk
ECOOP Research Papers
Colin GordonDrexel University
Link to publication Pre-print Media Attached
11:20 - 11:45
Talk
ECOOP Research Papers
Edlira KuciTU Darmstadt, Germany, Sebastian ErdwegTU Delft, Oliver BračevacTU Darmstadt, Andi BejleriTU Darmstadt, Germany, Mira MeziniTU Darmstadt
Link to publication Media Attached
11:45 - 12:10
Talk
ECOOP Research Papers
Alceste ScalasImperial College London, Ornela DardhaUniversity of Glasgow, Raymond HuImperial College London, Nobuko YoshidaImperial College London
Link to publication Media Attached
13:40 - 15:20: Language and Library DesignECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Sophia DrossopoulouImperial College London
13:40 - 14:05
Talk
ECOOP Research Papers
Daco HarkesDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication DOI Media Attached
14:05 - 14:30
Talk
ECOOP Research Papers
Jack WilliamsUniversity of Edinburgh, J. Garrett MorrisUniversity of Edinburgh, UK, Philip WadlerUniversity of Edinburgh, UK, Jakub Zalewski
Link to publication Media Attached
14:30 - 14:55
Talk
ECOOP Research Papers
Weixin ZhangUniversity of Hong Kong, Bruno C. d. S. OliveiraThe University of Hong Kong
Link to publication Media Attached
14:55 - 15:20
Talk
ECOOP Research Papers
Tomas PetricekAlan Turing Institute
Link to publication Media Attached
15:50 - 17:05: SecurityECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Peter MüllerETH Zurich
15:50 - 16:15
Talk
ECOOP Research Papers
Raimil CruzUniversity of Chile, Tamara RezkInria, Bernard SerpetteInria, Éric TanterUniversity of Chile
Link to publication Media Attached
16:15 - 16:40
Talk
ECOOP Research Papers
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
16:40 - 17:05
Talk
ECOOP Research Papers
Darya MelicherCarnegie Mellon University, Yangqingwei ShiPeking University, Alex PotaninVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University
Link to publication

Wed 21 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change