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
Welcome
PLDI Invited Speakers
09:05 - 10:00: Joint Keynote ­– Martin OderskyPLDI Invited Speakers at Auditorium, Vertex Building
09:05 - 10:00
Talk
What to Leave Implicit
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
What to Leave Implicit
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
1' Pitches of Monday
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
Flow Reloaded: New Challenges and New Opportunities
CurryOn Curry On Talks
11:20 - 12:00
Talk
Moving Fast with High Reliability: Program Analysis at Uber
CurryOn Curry On Talks
12:10 - 12:50
Talk
The Practice and Theory of TLA+
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
FP is Dead: Long Live FP
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
Don't Write Tests!
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
Winning the War on Error: Solving the Halting Problem and Curing Cancer
CurryOn Curry On Talks
Matthew MightUniversity of Utah, USA
17:00 - 17:40
Talk
Rust: Putting Ownership to Use
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
TensorFlow considered as a programming language
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
PLDI Keynote - TensorFlow considered as a programming language
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
Idioms for building distributed fault-tolerant applications with Elixir
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
Elixir
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
1' Pitches of Tuesday and Wednesday
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
Building Tools and Languages for Terabyte Scale Biology: A Call to Action
CurryOn Curry On Talks
Daniel KingBroad Institute
11:15 - 11:55
Talk
Preventing Information Leaks by Construction
CurryOn Curry On Talks
Jean YangCarnegie Mellon University
12:05 - 12:45
Talk
The Sharp Edges of Leaky Abstraction
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
Pony: 714 Days Later
CurryOn Curry On Talks
Sylvan ClebschImperial College London
16:50 - 17:30
Talk
Finding and Preventing Bugs in JavaScript Bindings
CurryOn Curry On Talks
17:40 - 18:20
Talk
Reflex: Reactive Programming at Facebook
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
Scripting with Lua
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
Low-Synchronization, Mostly Lock-Free, Elastic Scheduling for Streaming Runtimes
PLDI Research Papers
Scott SchneiderIBM Research, Kun-Lung WuIBM Research
Media Attached
10:45 - 11:10
Talk
Practical Partial Evaluation for High-Performance Dynamic Language Runtimes
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
Responsive Parallel Computation: Bridging Competitive and Cooperative Threading
PLDI Research Papers
Stefan K. Muller, Umut A. AcarCarnegie Mellon University, Robert HarperCWI
Media Attached
11:35 - 12:00
Talk
StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data
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
Best Paper, Artifact Evaluation, SIGPLAN Test of Time Awards
PLDI Research Papers
12:15 - 12:30
Day closing
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
Challenges to Achieving High Availability at Scale
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
Proactive Synthesis of Recursive Tree-to-String Functions from Examples
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
Speeding Up Maximal Causality Reduction with Static Dependency Analysis
ECOOP Research Papers
Shiyou HuangTexas A&M University, Jeff HuangTexas A&M University
Link to publication Media Attached
16:20 - 16:45
Talk
Mailbox Abstractions for Static Analysis of Actor Programs
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
What’s the Optimal Performance of Precise Dynamic Race Detection? – A Redundancy Perspective
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
Composing Software in an Age of Dissonance
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
Concurrent Data Structures Linked in Time
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
Contracts in the Wild: A Study of Java Programs
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
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris
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
Promising Compilation to ARMv8 POP
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
Parallelizing Julia with a Non-invasive DSL
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
Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis
ECOOP Research Papers
Baptiste Saleil, Marc FeeleyUniversité de Montréal
Link to publication Media Attached
14:30 - 14:55
Talk
Compiling tree transforms to operate on packed representations
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
An Empirical Study on Deoptimization in the Graal Compiler
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
Modelling homogeneous generative meta-programming
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
Mixing Metaphors: Actors as Channels and Channels as Actors
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
μPuppet: A Declarative Subset of the Puppet Configuration Language
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
Strong Normalization for Dependent Object Types (DOT)
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
Retargeting Gradual Typing
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
Relaxed Linear References for Lock-free Programming
ECOOP Research Papers
Elias CastegrenUppsala University, Tobias WrigstadUppsala University
Link to publication Media Attached
10:55 - 11:20
Talk
A Generic Approach to Flow-Sensitive Polymorphic Effects
ECOOP Research Papers
Colin GordonDrexel University
Link to publication Pre-print Media Attached
11:20 - 11:45
Talk
A Co-contextual Type Checker for Featherweight Java
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
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
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
IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition
ECOOP Research Papers
Daco HarkesDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication DOI Media Attached
14:05 - 14:30
Talk
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript
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
EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse
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
Data exploration through dot-driven development
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
Type Abstraction for Relaxed Noninterference
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
EvilPickles: DoS attacks based on Object-Graph Engineering
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
A Capability-Based Module System for Authority Control
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