Write a Blog >>
PLDI 2017
Sun 18 - Fri 23 June 2017
Barcelona, Spain
co-located with
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
Toggle navigation
Attending
Venue: Universitat Politècnica de Catalunya
Sponsoring
Registration
Visas
Hotels
Student Travel Support
Internet on site
Social Event
Program
Complete Program
Your Program
Sun 18 Jun
Mon 19 Jun
Tue 20 Jun
Wed 21 Jun
Thu 22 Jun
Fri 23 Jun
Tracks
PLDI 2017
PLDI Invited Speakers
PLDI Research Papers
PLDI Research Artifacts
PLDI Student Research Competition
Student Volunteers
PLDI Workshops
PLDI Tutorials
Co-hosted Conferences
ISMM
ISMM
ISMM
LCTES
Workshops
ARRAY
DSW
IC
MAPL
PLMW
SOAP
WCIRE
Organization
PLDI 2017 Committees
Organizing Committee
Program Committee
External Program Committee
External Review Committee
Steering Committee
Artifact Evaluation Committee
SRC Panel
Contributors
People Index
Co-hosted Conferences
ISMM
Organizing Committee
Steering Committee
Program Committee
External Review Committee
LCTES
Organizing Committee
Program Committee
Steering Committee
Workshops
ARRAY
Organizing Committee
Program Committee
DSW
Organizing Committee
IC
Keynote speaker
Organizing Committee
Program Committee
MAPL
Organizing Committee
Program Committee
PLMW
Mentors
SOAP
Organizing Committee
Program Committee
WCIRE
Organizing Committee
Search
Series
Series
PLDI 2025
PLDI 2024
PLDI 2023
PLDI 2022
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
(
series
) /
PLDI 2017
(
series
) /
Universitat Politècnica de Catalunya
/
Room information: Auditorium, Vertex Building
Venue
Universitat Politècnica de Catalunya
Room name
Auditorium, Vertex Building
Floor
0
Capacity
500
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+01:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 19 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 09:05
Welcome
PLDI Invited Speakers
at
Auditorium, Vertex Building
Chair(s):
Albert Cohen
INRIA
,
Martin Vechev
DeepCode and ETH Zurich, Switzerland
09:00
5m
Day opening
Welcome
PLDI Invited Speakers
09:05 - 10:00
Joint Keynote – Martin Odersky
PLDI Invited Speakers
at
Auditorium, Vertex Building
09:05
55m
Talk
What to Leave Implicit
PLDI Invited Speakers
Martin Odersky
EPFL, Switzerland
Media Attached
09:05 - 10:00
Monday - 9:00 - 9:50 - Auditorium
CurryOn Curry On Keynotes
at
Auditorium, Vertex Building
09:05
55m
Talk
What to Leave Implicit
CurryOn Curry On Keynotes
Martin Odersky
EPFL, Switzerland
10:00 - 10:30
1' pitches of the day
PLDI Research Papers
at
Auditorium, Vertex Building
10:00
30m
Other
1' Pitches of Monday
PLDI Research Papers
10:30 - 12:50
Monday - 10:30 - 12:50 - Auditorium
CurryOn Curry On Talks
at
Auditorium, Vertex Building
10:30
40m
Talk
Flow Reloaded: New Challenges and New Opportunities
CurryOn Curry On Talks
Avik Chaudhuri
Facebook
11:20
40m
Talk
Moving Fast with High Reliability: Program Analysis at Uber
CurryOn Curry On Talks
Manu Sridharan
Uber
12:10
40m
Talk
The Practice and Theory of TLA+
CurryOn Curry On Talks
Ron Pressler
14:00 - 14:50
Monday - 14:00 - 14:50 - Auditorium
CurryOn Curry On Keynotes
at
Auditorium, Vertex Building
14:00
50m
Talk
FP is Dead: Long Live FP
CurryOn Curry On Keynotes
Brian Goetz
Oracle
15:00 - 15:40
Monday - 15:00 - 15:40 - Auditorium
CurryOn Curry On Talks
at
Auditorium, Vertex Building
15:00
40m
Talk
Don't Write Tests!
CurryOn Curry On Talks
John Hughes
Chalmers University of Technology
16:10 - 18:30
Monday - 16:10 - 18:30 - Auditorium
CurryOn Curry On Talks
at
Auditorium, Vertex Building
16:10
40m
Talk
Winning the War on Error: Solving the Halting Problem and Curing Cancer
CurryOn Curry On Talks
Matthew Might
University of Utah, USA
17:00
40m
Talk
Rust: Putting Ownership to Use
CurryOn Curry On Talks
Nicholas Matsakis
Mozilla Corporation
17:55 - 18:50
Joint Keynote – Martin Abadi
PLDI Invited Speakers
at
Auditorium, Vertex Building
17:55
55m
Talk
TensorFlow considered as a programming language
PLDI Invited Speakers
Martin Abadi
Google
17:55 - 18:50
Monday - 17:50 - 18:30 - PLDI
CurryOn Curry On Keynotes
at
Auditorium, Vertex Building
17:55
55m
Talk
PLDI Keynote - TensorFlow considered as a programming language
CurryOn Curry On Keynotes
Martin Abadi
Google
Tue 20 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 09:50
Tuesday - 9:00 - 9:50 - Auditorium
CurryOn Curry On Keynotes
at
Auditorium, Vertex Building
09:00
50m
Talk
Idioms for building distributed fault-tolerant applications with Elixir
CurryOn Curry On Keynotes
José Valim
Plataformatec
09:00 - 09:50
Curry-On Keynote – José Valim
PLDI Invited Speakers
at
Auditorium, Vertex Building
09:00
50m
Talk
Elixir
PLDI Invited Speakers
José Valim
Plataformatec
09:50 - 10:25
1' pitches of the day and the next day
PLDI Research Papers
at
Auditorium, Vertex Building
09:50
35m
Other
1' Pitches of Tuesday and Wednesday
PLDI Research Papers
10:25 - 12:45
Tuesday - 10:25 - 12:45 - Auditorium
CurryOn Curry On Talks
at
Auditorium, Vertex Building
10:25
40m
Talk
Building Tools and Languages for Terabyte Scale Biology: A Call to Action
CurryOn Curry On Talks
Daniel King
Broad Institute
11:15
40m
Talk
Preventing Information Leaks by Construction
CurryOn Curry On Talks
Jean Yang
Carnegie Mellon University
12:05
40m
Talk
The Sharp Edges of Leaky Abstraction
CurryOn Curry On Talks
Mark Allen
Alert Logic
13:50 - 15:30
Tuesday - 13:50 - 15:20 - Auditorium
CurryOn Curry On Talks
at
Auditorium, Vertex Building
13:50
40m
Talk
Machine learning systems with privacy and for privacy: TensorFlow & PATE-G
CurryOn Curry On Talks
Martín Abadi
Google
14:40
40m
Talk
Compiled Machine Learning: Accelerated Linear Algebra (XLA) for TensorFlow
CurryOn Curry On Talks
Peter Hawkins
Google
16:00 - 18:20
Tuesday - 16:00 - 18:20 - Auditorium
CurryOn Curry On Talks
at
Auditorium, Vertex Building
16:00
40m
Talk
Pony: 714 Days Later
CurryOn Curry On Talks
Sylvan Clebsch
Imperial College London
16:50
40m
Talk
Finding and Preventing Bugs in JavaScript Bindings
CurryOn Curry On Talks
Deian Stefan
17:40
40m
Talk
Reflex: Reactive Programming at Facebook
CurryOn Curry On Talks
Julien Verlaguet
Facebook
18:30 - 19:20
Tuesday - 18:30 - 19:20 - Auditorium
CurryOn Curry On Keynotes
at
Auditorium, Vertex Building
18:30
50m
Talk
Scripting with Lua
CurryOn Curry On Keynotes
Roberto Ierusalimschy
PUC-Rio
Wed 21 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 09:55
Frank Wood
PLDI Invited Speakers
at
Auditorium, Vertex Building
09:00
55m
Talk
Probabilistic Programming and Inference Compilation, or, How I Learned to Stop Worrying and Love Deep Networks
PLDI Invited Speakers
Frank Wood
University of Oxford
Media Attached
10:20 - 12:00
Systems and Performance
PLDI Research Papers
at
Auditorium, Vertex Building
Chair(s):
Dan Grossman
University of Washington
10:20
25m
Talk
Low-Synchronization, Mostly Lock-Free, Elastic Scheduling for Streaming Runtimes
PLDI Research Papers
Scott Schneider
IBM Research
,
Kun-Lung Wu
IBM Research
Media Attached
10:45
25m
Talk
Practical Partial Evaluation for High-Performance Dynamic Language Runtimes
PLDI Research Papers
Thomas Wuerthinger
Oracle Labs
,
Christian Wimmer
,
Christian Humer
Oracle Labs, Switzerland
,
Andreas Woess
Oracle Labs
,
Lukas Stadler
Oracle Labs, Austria
,
Chris Seaton
Oracle Labs
,
Gilles Duboscq
Oracle Labs
,
Doug Simon
Oracle Labs
,
Matthias Grimmer
Oracle Labs, Austria
Media Attached
11:10
25m
Talk
Responsive Parallel Computation: Bridging Competitive and Cooperative Threading
PLDI Research Papers
Stefan K. Muller
,
Umut A. Acar
Carnegie Mellon University
,
Robert Harper
CWI
Media Attached
11:35
25m
Talk
StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data
PLDI Research Papers
Konstantinos Mamouras
University of Pennsylvania
,
Mukund Raghothaman
University of Pennsylvania
,
Rajeev Alur
University of Pennsylvania
,
Zachary G. Ives
University of Pennsylvania
,
Sanjeev Khanna
University of Pennsylvania
Media Attached
12:00 - 12:30
Awards
PLDI Research Papers
at
Auditorium, Vertex Building
12:00
15m
Awards
Best Paper, Artifact Evaluation, SIGPLAN Test of Time Awards
PLDI Research Papers
12:15
15m
Day closing
Closing
PLDI Research Papers
Albert Cohen
INRIA
14:00 - 15:00
Keynote
ECOOP Invited Speakers
at
Auditorium, Vertex Building
Chair(s):
Peter Müller
ETH Zurich
14:00
60m
Talk
Challenges to Achieving High Availability at Scale
ECOOP Invited Speakers
Wolfram Schulte
Microsoft
Media Attached
15:30 - 17:10
Analysis and Synthesis
ECOOP Research Papers
at
Auditorium, Vertex Building
Chair(s):
Anders Møller
Aarhus University
15:30
25m
Talk
Proactive Synthesis of Recursive Tree-to-String Functions from Examples
ECOOP Research Papers
Mikaël Mayer
EPFL, Switzerland
,
Jad Hamza
LIAFA, Université Paris Diderot
,
Viktor Kunčak
EPFL, Switzerland
Link to publication
Media Attached
15:55
25m
Talk
Speeding Up Maximal Causality Reduction with Static Dependency Analysis
ECOOP Research Papers
Shiyou Huang
Texas A&M University
,
Jeff Huang
Texas A&M University
Link to publication
Media Attached
16:20
25m
Talk
Mailbox Abstractions for Static Analysis of Actor Programs
ECOOP Research Papers
Quentin Stiévenart
Vrije Universiteit Brussel, Belgium
,
Jens Nicolay
Vrije Universiteit Brussel, Belgium
,
Wolfgang De Meuter
Vrije Universiteit Brussel
,
Coen De Roover
Vrije Universiteit Brussel
Link to publication
Pre-print
Media Attached
16:45
25m
Talk
What’s the Optimal Performance of Precise Dynamic Race Detection? – A Redundancy Perspective
ECOOP Research Papers
Jeff Huang
Texas A&M University
,
Arun Krishnakumar Rajagopalan
Texas A&M University
Link to publication
Media Attached
Thu 22 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Dahl-Nygaard Senior Prize
ECOOP Invited Speakers
at
Auditorium, Vertex Building
Chair(s):
Eric Jul
University of Oslo
09:00
60m
Talk
Composing Software in an Age of Dissonance
ECOOP Invited Speakers
Gilad Bracha
Google
Media Attached
10:30 - 12:10
Specification and Verification
ECOOP Research Papers
at
Auditorium, Vertex Building
Chair(s):
Doug Lea
State University of New York, Oswego
10:30
25m
Talk
Concurrent Data Structures Linked in Time
ECOOP Research Papers
Germán Andrés Delbianco
IMDEA Software Institute
,
Ilya Sergey
University College London
,
Aleksandar Nanevski
IMDEA Software Institute
,
Anindya Banerjee
IMDEA Software Institute
Link to publication
Media Attached
10:55
25m
Talk
Contracts in the Wild: A Study of Java Programs
ECOOP Research Papers
Jens Dietrich
Massey University
,
David J. Pearce
Victoria University of Wellington
,
Kamil Jezek
University of West Bohemia, Pilsen, CZ
,
Premek Brada
University of West Bohemia
Link to publication
Pre-print
Media Attached
11:20
25m
Talk
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris
ECOOP Research Papers
Jan-Oliver Kaiser
MPI-SWS
,
Hoang-Hai Dang
MPI-SWS
,
Derek Dreyer
MPI-SWS
,
Ori Lahav
MPI-SWS
,
Viktor Vafeiadis
MPI-SWS, Germany
Link to publication
Media Attached
11:45
25m
Talk
Promising Compilation to ARMv8 POP
ECOOP Research Papers
Anton Podkopaev
St. Petersburg University, JetBrains
,
Ori Lahav
MPI-SWS
,
Viktor Vafeiadis
MPI-SWS, Germany
Link to publication
Media Attached
13:40 - 15:20
Implementation
ECOOP Research Papers
at
Auditorium, Vertex Building
Chair(s):
Tobias Wrigstad
Uppsala University
13:40
25m
Talk
Parallelizing Julia with a Non-invasive DSL
ECOOP Research Papers
Todd A. Anderson
,
Hai Liu
Intel Labs
,
Lindsey Kuper
Intel Labs
,
Ehsan Totoni
Intel Labs
,
Jan Vitek
Northeastern University
,
Tatiana Shpeisman
Intel Labs
Link to publication
Media Attached
14:05
25m
Talk
Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis
ECOOP Research Papers
Baptiste Saleil
,
Marc Feeley
Université de Montréal
Link to publication
Media Attached
14:30
25m
Talk
Compiling tree transforms to operate on packed representations
ECOOP Research Papers
Michael Vollmer
Indiana University, USA
,
Sarah Spall
Indiana University
,
Buddhika Chamith
Indiana University
,
Laith Sakka
,
Milind Kulkarni
Purdue University
,
Sam Tobin-Hochstadt
Indiana University
,
Ryan R. Newton
Indiana University
Link to publication
Media Attached
14:55
25m
Talk
An Empirical Study on Deoptimization in the Graal Compiler
ECOOP Research Papers
Yudi Zheng
University of Lugano
,
Lubomír Bulej
Charles University
,
Walter Binder
University of Lugano
Link to publication
Media Attached
15:50 - 17:30
Calculi and Semantics
ECOOP Research Papers
at
Auditorium, Vertex Building
Chair(s):
Colin Gordon
Drexel University
15:50
25m
Talk
Modelling homogeneous generative meta-programming
ECOOP Research Papers
Martin Berger
,
Laurence Tratt
King's College London
,
Christian Urban
King's College London
Link to publication
Media Attached
16:15
25m
Talk
Mixing Metaphors: Actors as Channels and Channels as Actors
ECOOP Research Papers
Simon Fowler
The University of Edinburgh
,
Sam Lindley
University of Edinburgh, UK
,
Philip Wadler
University of Edinburgh, UK
Link to publication
Pre-print
Media Attached
16:40
25m
Talk
μPuppet: A Declarative Subset of the Puppet Configuration Language
ECOOP Research Papers
Weili Fu
University of Edinburgh
,
Roly Perera
University of Edinburgh, UK / University of Glasgow, UK
,
Paul Anderson
University of Edinburgh
,
James Cheney
University of Edinburgh, UK
Link to publication
Media Attached
17:05
25m
Talk
Strong Normalization for Dependent Object Types (DOT)
ECOOP Research Papers
Fei Wang
,
Tiark Rompf
Purdue University
Link to publication
Media Attached
Fri 23 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Dahl-Nygaard Junior Prize
ECOOP Invited Speakers
at
Auditorium, Vertex Building
Chair(s):
Eric Jul
University of Oslo
09:00
60m
Talk
Retargeting Gradual Typing
ECOOP Invited Speakers
Ross Tate
Cornell University
Media Attached
10:30 - 12:10
Types and Effects
ECOOP Research Papers
at
Auditorium, Vertex Building
Chair(s):
Philipp Haller
KTH Royal Institute of Technology
10:30
25m
Talk
Relaxed Linear References for Lock-free Programming
ECOOP Research Papers
Elias Castegren
Uppsala University
,
Tobias Wrigstad
Uppsala University
Link to publication
Media Attached
10:55
25m
Talk
A Generic Approach to Flow-Sensitive Polymorphic Effects
ECOOP Research Papers
Colin Gordon
Drexel University
Link to publication
Pre-print
Media Attached
11:20
25m
Talk
A Co-contextual Type Checker for Featherweight Java
ECOOP Research Papers
Edlira Kuci
TU Darmstadt, Germany
,
Sebastian Erdweg
TU Delft
,
Oliver Bračevac
TU Darmstadt
,
Andi Bejleri
TU Darmstadt, Germany
,
Mira Mezini
TU Darmstadt
Link to publication
Media Attached
11:45
25m
Talk
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
ECOOP Research Papers
Alceste Scalas
Imperial College London
,
Ornela Dardha
University of Glasgow
,
Raymond Hu
Imperial College London
,
Nobuko Yoshida
Imperial College London
Link to publication
Media Attached
13:40 - 15:20
Language and Library Design
ECOOP Research Papers
at
Auditorium, Vertex Building
Chair(s):
Sophia Drossopoulou
Imperial College London
13:40
25m
Talk
IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition
ECOOP Research Papers
Daco Harkes
Delft University of Technology
,
Eelco Visser
Delft University of Technology
Link to publication
DOI
Media Attached
14:05
25m
Talk
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript
ECOOP Research Papers
Jack Williams
University of Edinburgh
,
J. Garrett Morris
University of Edinburgh, UK
,
Philip Wadler
University of Edinburgh, UK
,
Jakub Zalewski
Link to publication
Media Attached
14:30
25m
Talk
EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse
ECOOP Research Papers
Weixin Zhang
University of Hong Kong
,
Bruno C. d. S. Oliveira
The University of Hong Kong
Link to publication
Media Attached
14:55
25m
Talk
Data exploration through dot-driven development
ECOOP Research Papers
Tomas Petricek
Alan Turing Institute
Link to publication
Media Attached
15:50 - 17:05
Security
ECOOP Research Papers
at
Auditorium, Vertex Building
Chair(s):
Peter Müller
ETH Zurich
15:50
25m
Talk
Type Abstraction for Relaxed Noninterference
ECOOP Research Papers
Raimil Cruz
University of Chile
,
Tamara Rezk
Inria
,
Bernard Serpette
Inria
,
Éric Tanter
University of Chile
Link to publication
Media Attached
16:15
25m
Talk
EvilPickles: DoS attacks based on Object-Graph Engineering
ECOOP Research Papers
Jens Dietrich
Massey University
,
Kamil Jezek
University of West Bohemia, Pilsen, CZ
,
Shawn Rasheed
Massey University
,
Amjed Tahir
Massey University
,
Alex Potanin
Victoria University of Wellington
Link to publication
Pre-print
Media Attached
16:40
25m
Talk
A Capability-Based Module System for Authority Control
ECOOP Research Papers
Darya Melicher
Carnegie Mellon University
,
Yangqingwei Shi
Peking University
,
Alex Potanin
Victoria University of Wellington
,
Jonathan Aldrich
Carnegie Mellon University
Link to publication
Mon 19 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Auditorium, Vertex Building
PLDI Invited Speakers
Welcome
PLDI Invited Speakers
Joint Keynote – Martin Odersky
CurryOn Curry On Keynotes
Monday - 9:00 - 9:50 - Auditorium
09:05 - 10:00
PLDI Research Papers
1' pitches of the day
CurryOn Curry On Talks
Monday - 10:30 - 12:50 - Auditorium
CurryOn Curry On Keynotes
Monday - 14:00 - 14:50 - Auditorium
CurryOn Curry On Talks
Monday - 15:00 - 15:40 - Auditorium
CurryOn Curry On Talks
Monday - 16:10 - 18:30 - Auditorium
PLDI Invited Speakers
Joint Keynote – Martin Abadi
17:55 - 18:50
CurryOn Curry On Keynotes
Monday - 17:50 - 18:30 - PLDI
17:55 - 18:50
Tue 20 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
Auditorium, Vertex Building
CurryOn Curry On Keynotes
Tuesday - 9:00 - 9:50 - Auditorium
PLDI Invited Speakers
Curry-On Keynote – José Valim
09:00 - 09:50
PLDI Research Papers
1' pitches of the day and the next day
CurryOn Curry On Talks
Tuesday - 10:25 - 12:45 - Auditorium
CurryOn Curry On Talks
Tuesday - 13:50 - 15:20 - Auditorium
CurryOn Curry On Talks
Tuesday - 16:00 - 18:20 - Auditorium
CurryOn Curry On Keynotes
Tuesday - 18:30 - 19:20 - Auditorium
Wed 21 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Auditorium, Vertex Building
PLDI Invited Speakers
Frank Wood
PLDI Research Papers
Systems and Performance
PLDI Research Papers
Awards
ECOOP Invited Speakers
Keynote
ECOOP Research Papers
Analysis and Synthesis
Thu 22 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Auditorium, Vertex Building
ECOOP Invited Speakers
Dahl-Nygaard Senior Prize
ECOOP Research Papers
Specification and Verification
ECOOP Research Papers
Implementation
ECOOP Research Papers
Calculi and Semantics
Fri 23 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Auditorium, Vertex Building
ECOOP Invited Speakers
Dahl-Nygaard Junior Prize
ECOOP Research Papers
Types and Effects
ECOOP Research Papers
Language and Library Design
ECOOP Research Papers
Security
Mon 19 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
Auditorium, Vertex Building
PLDI Invited Speakers
Welcome
09:00 - 09:05
PLDI Invited Speakers
What to Leave Implicit
09:05 - 10:00
CurryOn Curry On Keynotes
What to Leave Implicit
09:05 - 10:00
PLDI Research Papers
1' Pitches of Monday
10:00 - 10:30
CurryOn Curry On Talks
Flow Reloaded: New Challenges and New Opportunities
10:30 - 11:10
CurryOn Curry On Talks
Moving Fast with High Reliability: Program Analysis at Uber
11:20 - 12:00
CurryOn Curry On Talks
The Practice and Theory of TLA+
12:10 - 12:50
CurryOn Curry On Keynotes
FP is Dead: Long Live FP
14:00 - 14:50
CurryOn Curry On Talks
Don't Write Tests!
15:00 - 15:40
CurryOn Curry On Talks
Winning the War on Error: Solving the Halting Problem and Curing Cancer
16:10 - 16:50
CurryOn Curry On Talks
Rust: Putting Ownership to Use
17:00 - 17:40
PLDI Invited Speakers
TensorFlow considered as a programming language
17:55 - 18:50
CurryOn Curry On Keynotes
PLDI Keynote - TensorFlow considered as a programming language
17:55 - 18:50
Tue 20 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
Auditorium, Vertex Building
CurryOn Curry On Keynotes
Idioms for building distributed fault-tolerant applications with Elixir
09:00 - 09:50
PLDI Invited Speakers
Elixir
09:00 - 09:50
PLDI Research Papers
1' Pitches of Tuesday and Wednesday
09:50 - 10:25
CurryOn Curry On Talks
Building Tools and Languages for Terabyte Scale Biology: A Call to Action
10:25 - 11:05
CurryOn Curry On Talks
Preventing Information Leaks by Construction
11:15 - 11:55
CurryOn Curry On Talks
The Sharp Edges of Leaky Abstraction
12:05 - 12:45
CurryOn Curry On Talks
Machine learning systems with privacy and for privacy: TensorFlow & PATE-G
13:50 - 14:30
CurryOn Curry On Talks
Compiled Machine Learning: Accelerated Linear Algebra (XLA) for TensorFlow
14:40 - 15:20
CurryOn Curry On Talks
Pony: 714 Days Later
16:00 - 16:40
CurryOn Curry On Talks
Finding and Preventing Bugs in JavaScript Bindings
16:50 - 17:30
CurryOn Curry On Talks
Reflex: Reactive Programming at Facebook
17:40 - 18:20
CurryOn Curry On Keynotes
Scripting with Lua
18:30 - 19:20
Wed 21 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Auditorium, Vertex Building
PLDI Invited Speakers
Probabilistic Programming and Inference Compilation, or, How I Learned ...
09:00 - 09:55
PLDI Research Papers
Low-Synchronization, Mostly Lock-Free, Elastic Scheduling for Streaming ...
10:20 - 10:45
PLDI Research Papers
Practical Partial Evaluation for High-Performance Dynamic Language Runtimes
10:45 - 11:10
PLDI Research Papers
Responsive Parallel Computation: Bridging Competitive and Cooperative T ...
11:10 - 11:35
PLDI Research Papers
StreamQRE: Modular Specification and Efficient Evaluation of Quantitati ...
11:35 - 12:00
PLDI Research Papers
Best Paper, Artifact Evaluation, SIGPLAN Test of Time Awards
12:00 - 12:15
PLDI Research Papers
Closing
12:15 - 12:30
ECOOP Invited Speakers
Challenges to Achieving High Availability at Scale
14:00 - 15:00
ECOOP Research Papers
Proactive Synthesis of Recursive Tree-to-String Functions from Examples
15:30 - 15:55
ECOOP Research Papers
Speeding Up Maximal Causality Reduction with Static Dependency Analysis
15:55 - 16:20
ECOOP Research Papers
Mailbox Abstractions for Static Analysis of Actor Programs
16:20 - 16:45
ECOOP Research Papers
What’s the Optimal Performance of Precise Dynamic Race Detection? – A R ...
16:45 - 17:10
Thu 22 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Auditorium, Vertex Building
ECOOP Invited Speakers
Composing Software in an Age of Dissonance
09:00 - 10:00
ECOOP Research Papers
Concurrent Data Structures Linked in Time
10:30 - 10:55
ECOOP Research Papers
Contracts in the Wild: A Study of Java Programs
10:55 - 11:20
ECOOP Research Papers
Strong Logic for Weak Memory: Reasoning About Release-Acquire Consisten ...
11:20 - 11:45
ECOOP Research Papers
Promising Compilation to ARMv8 POP
11:45 - 12:10
ECOOP Research Papers
Parallelizing Julia with a Non-invasive DSL
13:40 - 14:05
ECOOP Research Papers
Interprocedural Specialization of Higher-Order Dynamic Languages Withou ...
14:05 - 14:30
ECOOP Research Papers
Compiling tree transforms to operate on packed representations
14:30 - 14:55
ECOOP Research Papers
An Empirical Study on Deoptimization in the Graal Compiler
14:55 - 15:20
ECOOP Research Papers
Modelling homogeneous generative meta-programming
15:50 - 16:15
ECOOP Research Papers
Mixing Metaphors: Actors as Channels and Channels as Actors
16:15 - 16:40
ECOOP Research Papers
μPuppet: A Declarative Subset of the Puppet Configuration Language
16:40 - 17:05
ECOOP Research Papers
Strong Normalization for Dependent Object Types (DOT)
17:05 - 17:30
Fri 23 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Auditorium, Vertex Building
ECOOP Invited Speakers
Retargeting Gradual Typing
09:00 - 10:00
ECOOP Research Papers
Relaxed Linear References for Lock-free Programming
10:30 - 10:55
ECOOP Research Papers
A Generic Approach to Flow-Sensitive Polymorphic Effects
10:55 - 11:20
ECOOP Research Papers
A Co-contextual Type Checker for Featherweight Java
11:20 - 11:45
ECOOP Research Papers
A Linear Decomposition of Multiparty Sessions for Safe Distributed Prog ...
11:45 - 12:10
ECOOP Research Papers
IceDust 2: Derived Bidirectional Relations and Calculation Strategy Com ...
13:40 - 14:05
ECOOP Research Papers
Mixed Messages: Measuring Conformance and Non-Interference in TypeScript
14:05 - 14:30
ECOOP Research Papers
EVF: An Extensible and Expressive Visitor Framework for Programming Lan ...
14:30 - 14:55
ECOOP Research Papers
Data exploration through dot-driven development
14:55 - 15:20
ECOOP Research Papers
Type Abstraction for Relaxed Noninterference
15:50 - 16:15
ECOOP Research Papers
EvilPickles: DoS attacks based on Object-Graph Engineering
16:15 - 16:40
ECOOP Research Papers
A Capability-Based Module System for Authority Control
16:40 - 17:05
x
Tue 5 Nov 13:41