Auditorium, Vertex Building -

VenueUniversitat Politècnica de Catalunya

Room nameAuditorium, Vertex Building

Floor0

Capacity500

Room InformationNo extra information available

Program

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, ViennaSelect other time zone

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 programSpecify 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	WelcomePLDI 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 OderskyPLDI 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 - AuditoriumCurryOn 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 dayPLDI 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 - AuditoriumCurryOn 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 - AuditoriumCurryOn 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 - AuditoriumCurryOn 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 - AuditoriumCurryOn 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 AbadiPLDI 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 - PLDICurryOn 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 - AuditoriumCurryOn 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é ValimPLDI 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 dayPLDI 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 - AuditoriumCurryOn 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 - AuditoriumCurryOn 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 - AuditoriumCurryOn 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 - AuditoriumCurryOn 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 WoodPLDI 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 PerformancePLDI 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	AwardsPLDI 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	KeynoteECOOP 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 SynthesisECOOP 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 PrizeECOOP 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 VerificationECOOP 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	ImplementationECOOP 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 SemanticsECOOP 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 PrizeECOOP 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 EffectsECOOP 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 DesignECOOP 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	SecurityECOOP 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

Room information: Auditorium, Vertex Building

Program Display Configuration

Mon 19 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 21 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 19 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

PLDI Invited Speakers

PLDI Invited Speakers

CurryOn Curry On Keynotes

PLDI Research Papers

CurryOn Curry On Talks

CurryOn Curry On Keynotes

CurryOn Curry On Talks

CurryOn Curry On Talks

PLDI Invited Speakers

CurryOn Curry On Keynotes

Tue 20 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

CurryOn Curry On Keynotes

PLDI Invited Speakers

PLDI Research Papers

CurryOn Curry On Talks

CurryOn Curry On Talks

CurryOn Curry On Talks

CurryOn Curry On Keynotes

Wed 21 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

PLDI Invited Speakers

PLDI Research Papers

PLDI Research Papers

ECOOP Invited Speakers

ECOOP Research Papers

Thu 22 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ECOOP Invited Speakers

ECOOP Research Papers

ECOOP Research Papers

ECOOP Research Papers

Fri 23 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

ECOOP Invited Speakers

ECOOP Research Papers

ECOOP Research Papers

ECOOP Research Papers

Mon 19 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 21 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 19 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 21 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 19 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 21 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 19 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 20 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 21 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 22 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 23 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change