Vertex WS215 - PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM

VenueUniversitat Politècnica de Catalunya

Room nameVertex WS215

Floor0

Room number215

Capacity20

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

Sun 18 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 10:30	P4: Programming the Network Data PlanePLDI Tutorials at Vertex WS215

08:30 2h Other		P4: Programming the Network Data Plane PLDI Tutorials Nate Foster Cornell University, Cole Schlesinger Samsung Research America, Calin Cascaval Barefoot Networks

11:00 - 12:30	P4: Programming the Network Data Plane (cont'd)PLDI Tutorials at Vertex WS215

11:00 90m Other		P4: Programming the Network Data Plane PLDI Tutorials Nate Foster Cornell University, Cole Schlesinger Samsung Research America, Calin Cascaval Barefoot Networks

14:00 - 15:30	Bug detection in JavaScript web apps using the SAFE framework PLDI Tutorials at Vertex WS215

14:00 90m Other		Bug detection in JavaScript web apps using the SAFE framework PLDI Tutorials Sukyoung Ryu KAIST, Alexander Jordan Oracle Labs, Australia, Dongsun Kim University of Luxembourg

16:00 - 18:00	Bug detection in JavaScript web apps using the SAFE framework (cont'd)PLDI Tutorials at Vertex WS215

16:00 26h Other		Bug detection in JavaScript web apps using the SAFE framework PLDI Tutorials Sukyoung Ryu KAIST, Alexander Jordan Oracle Labs, Australia, Dongsun Kim University of Luxembourg

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

09:00 - 10:00	Refinement Types for Program Verification and SynthesisPLDI Tutorials at Vertex WS215

09:00 60m Other		Refinement Types for Program Verification and Synthesis PLDI Tutorials Niki Vazou University of Maryland, Nadia Polikarpova MIT CSAIL, USA, Ranjit Jhala University of California at San Diego, USA Media Attached

10:30 - 12:10	Incremental computing 1: Keynote + Research talkIC at Vertex WS215

10:30 70m Talk		Keynote: Incrementalizing the Rust Compiler IC K: Nicholas Matsakis Mozilla Corporation
11:40 30m Talk		IncAL: A DSL for Incremental Program Analysis with Lattices IC Tamás Szabó itemis AG / TU Delft, Markus Völter itemis/independent, Sebastian Erdweg TU Delft File Attached

13:40 - 15:20	Incremental computing 2: Research talksIC at Vertex WS215

13:40 30m Talk		Automated Incrementalization through Synthesis IC Rohin Shah University of California, Berkeley, Rastislav Bodík University of Washington File Attached
14:15 30m Talk		IceDust Calculation Strategy Composition Performance in Web Applications IC Daco Harkes Delft University of Technology, Eelco Visser Delft University of Technology File Attached
14:50 30m Talk		Automatic Incrementalization of Functional Reports IC Ken Friis Larsen DIKU, University of Copenhagen, Fritz Henglein DIKU, Denmark File Attached

15:50 - 17:30	Incremental computing 3: Research talksIC at Vertex WS215

15:50 30m Talk		Incremental Relational Lenses IC Rudi Horn University of Edinburgh, James Cheney University of Edinburgh, UK File Attached
16:25 30m Talk		Privacy-aware Distributed Incremental Computation IC Mirko Köhler Technical University of Darmstadt, Philipp Haller KTH Royal Institute of Technology, Sebastian Erdweg TU Delft, Mira Mezini TU Darmstadt, Guido Salvaneschi TU Darmstadt File Attached
17:00 30m Talk		Tuning Data and Control Structures for Incremental Computation IC Kyle Headley University of Colorado Boulder File Attached

Sun 18 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	8:00						30						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						20:00						30						21:00						30						22:00						30						23:00						30						0:00						30						1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						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
Vertex WS215							PLDI Tutorials P4: Programming the Network Data Plane																														PLDI Tutorials P4: Programming the Network Data Plane (cont'd)																																				PLDI Tutorials Bug detection in JavaScript web apps using the SAFE framework																								PLDI Tutorials Bug detection in JavaScript web apps using the SAFE framework (cont'd)

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
Vertex WS215	PLDI Tutorials Refinement Types for Program Verification and Synthesis																		IC Incremental computing 1: Keynote + Research talk																																						IC Incremental computing 2: Research talks																										IC Incremental computing 3: Research talks

Sun 18 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	8:00			15			30			45			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			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45			0:00			15			30			45			1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			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
Vertex WS215							PLDI Tutorials P4: Programming the Network Data Plane 08:30 - 10:30																														PLDI Tutorials P4: Programming the Network Data Plane 11:00 - 12:30																																				PLDI Tutorials Bug detection in JavaScript web apps using the SAFE framework 14:00 - 15:30																								PLDI Tutorials Bug detection in JavaScript web apps using the SAFE framework 16:00 - 18:00

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
Vertex WS215	PLDI Tutorials Refinement Types for Program Verification and Synthesis 09:00 - 10:00																		IC Keynote: Incrementalizing the Rust Compiler 10:30 - 11:40														IC IncAL: A DSL for Incremental Program Analysis with Lattices 11:40 - 12:10																								IC Automated Incrementalization through Synthesis 13:40 - 14:10							IC IceDust Calculation Strategy Composition Performance in Web Applications 14:15 - 14:45							IC Automatic Incrementalization of Functional Reports 14:50 - 15:20												IC Incremental Relational Lenses 15:50 - 16:20							IC Privacy-aware Distributed Incremental Computation 16:25 - 16:55							IC Tuning Data and Control Structures for Incremental Computation 17:00 - 17:30

Room information: Vertex WS215

Program Display Configuration

Sun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Sun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

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

PLDI Tutorials

IC

IC

IC

Sun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Sun 18 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Sun 18 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Sun 18 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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