Vertex WS219 - PLDI 2017

VenueUniversitat Politècnica de Catalunya

Room nameVertex WS219

Floor0

Room number219

Capacity40

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

09:15 - 09:30	OpeningMAPL at Vertex WS219

09:15 15m Day opening		Introduction and Welcome MAPL Tatiana Shpeisman Intel Labs, Justin Gottschlich Intel Labs

09:30 - 10:30	KeynoteMAPL at Vertex WS219

09:30 60m Talk		Programming by Examples: PL Meets ML MAPL Sumit Gulwani Microsoft Research

11:00 - 12:00	Languages and FrameworksMAPL at Vertex WS219

11:00 30m Talk		A Computational Model for TensorFlow (An Introduction) MAPL Martin Abadi Google, Michael Isard Google, Derek Murray Google
11:30 30m Talk		Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications MAPL Tim Vieira Johns Hopkins University, Matthew Francis-Landau The Johns Hopkins University, Nathaniel Wesley Filardo , Farzad Khorasani Rice University, Jason Eisner The Johns Hopkins University

12:00 - 12:30	Debugging, Analysis, and VerificationMAPL at Vertex WS219

12:00 30m Talk		Debugging Probabilistic Programs MAPL Chandrakana Nandi University of Washington, USA, Dan Grossman University of Washington, Adrian Sampson Cornell University, Todd Mytkowicz , Kathryn S McKinley Microsoft Research

14:00 - 15:30	Debugging, Analysis, and Verification 2MAPL at Vertex WS219

14:00 30m Talk		Combining the Logical and the Probabilistic in Program Analysis MAPL Xin Zhang Georgia Tech, Xujie Si , Mayur Naik Georgia Tech
14:30 30m Talk		Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools MAPL Ugur Koc University of Maryland, College Park, Parsa Saadatpanah University of Maryland, Jeffrey S. Foster University of Maryland, College Park, Adam Porter University of Maryland
15:00 30m Talk		Verified Perceptron Convergence Theorem MAPL Charlie Murphy Princeton University, Gordon Stewart Ohio University

16:00 - 16:45	Town Hall DiscussionMAPL at Vertex WS219

16:00 45m Other		Town Hall Discussion MAPL

16:45 - 17:00	ClosingMAPL at Vertex WS219

16:45 15m Day closing		Concluding Remarks MAPL Tatiana Shpeisman Intel Labs, Justin Gottschlich Intel Labs

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

09:00 - 10:30	Events Meet ProcessesDEBS Workshop at Vertex WS219

09:00 90m		DEBS Workshop DEBS Workshop

11:00 - 12:30	Events Meet ProcessesDEBS Workshop at Vertex WS219

11:00 90m		DEBS Workshop DEBS Workshop

14:00 - 15:30	Doctoral SymposiumDEBS Doctoral Symposium at Vertex WS219

14:00 20m Talk		Consistent Stream Processing DEBS Doctoral Symposium Lorenzo Affetti Politecnico di Milano
14:20 20m Talk		A New Application Benchmark for Data Stream Processing Architectures in an Enterprise Context DEBS Doctoral Symposium Guenter Hesse Hasso Plattner Institute, Christoph Matthies Hasso Plattner Institute, Benjamin Reissaus Hasso Plattner Institute
14:40 20m Talk		Raphtory: Decentralised Streaming for Temporal Graphs DEBS Doctoral Symposium Benjamin Steer Queen Mary University London, Félix Cuadrado Queen Mary University of London, Richard Clegg Queen Mary University London
15:00 20m Talk		Large-Scale Stream Graph Processing DEBS Doctoral Symposium Domagoj Margan Imperial College London

16:00 - 17:30	Doctoral SymposiumDEBS Doctoral Symposium at Vertex WS219

16:00 20m Talk		Property-based routing in clustered message brokers for CPS DEBS Doctoral Symposium Ole Meyer University of Duisburg-Essen, Julius Ollesch University of Duisburg-Essen, Stefan Gries University of Duisburg-Essen, Florian Blum University of Duisburg-Essen, Volker Gruhn University Duisburg-Essen
16:20 20m Talk		An Embedded DSL Framework for Distributed Embedded Systems DEBS Doctoral Symposium Adrian Mizzi , Joshua Ellul University of Malta, Gordon Pace
16:40 20m Talk		Loosely Coupled Approach for Web-Based Collaborative 3D Design DEBS Doctoral Symposium Caroline Desprat IRIT - University of Toulouse, Benoît Caudesaygues , Hervé Luga IRIT - Université Paul Sabatier Toulouse, Jean-Pierre Jessel IRIT - Université Paul Sabatier Toulouse
17:00 20m Talk		Visualising complex event hierarchies using relevant domain ontologies DEBS Doctoral Symposium Riley Perry UNSW, Cat Kutay UNSW, Fethi Rabhi UNSW

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

09:00 - 10:00	Building your own modular static analyzer with Facebook InferPLDI Tutorials at Vertex WS219

09:00 60m Other		Building your own modular static analyzer with Facebook Infer PLDI Tutorials Dino Distefano Facebook London, Peter O'Hearn Facebook, Sam Blackshear Facebook

10:30 - 12:10	Building your own modular static analyzer with Facebook Infer (cont'd)PLDI Tutorials at Vertex WS219

10:30 1h40m Other		Building your own modular static analyzer with Facebook Infer PLDI Tutorials Dino Distefano Facebook London, Peter O'Hearn Facebook, Sam Blackshear Facebook

13:40 - 15:20	Polyhedral CompilationPLDI Tutorials at Vertex WS219

13:40 1h40m Other		Polyhedral Compilation PLDI Tutorials Tobias Grosser ETH Zurich, Oleksandr Zinenko Inria

15:50 - 17:00	Polyhedral Compilation (cont'd)PLDI Tutorials at Vertex WS219

15:50 70m Other		Polyhedral Compilation PLDI Tutorials Tobias Grosser ETH Zurich, Oleksandr Zinenko Inria

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

09:00 - 10:00	Writing Verified Programs in CakeMLPLDI Tutorials at Vertex WS219

09:00 60m Other		Writing Verified Programs in CakeML PLDI Tutorials Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, Scott Owens University of Kent, UK, Magnus O. Myreen Chalmers University of Technology, Sweden Link to publication

10:30 - 12:10	Writing Verified Programs in CakeML (2)PLDI Tutorials at Vertex WS219

10:30 1h40m Other		Writing Verified Programs in CakeML PLDI Tutorials Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, Scott Owens University of Kent, UK, Magnus O. Myreen Chalmers University of Technology, Sweden Link to publication

13:40 - 15:20	Writing Verified Programs in CakeML (3)PLDI Tutorials at Vertex WS219

13:40 1h40m Other		Writing Verified Programs in CakeML PLDI Tutorials Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, Scott Owens University of Kent, UK, Magnus O. Myreen Chalmers University of Technology, Sweden Link to publication

15:50 - 17:00	Writing Verified Programs in CakeML (4)PLDI Tutorials at Vertex WS219

15:50 70m Other		Writing Verified Programs in CakeML PLDI Tutorials Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia, Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, Scott Owens University of Kent, UK, Magnus O. Myreen Chalmers University of Technology, Sweden Link to publication

Sun 18 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
Vertex WS219				MAPL Opening			MAPL Keynote																		MAPL Languages and Frameworks												MAPL Debugging, Analysis, and Verification																								MAPL Debugging, Analysis, and Verification 2																								MAPL Town Hall Discussion									MAPL Closing

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
Vertex WS219	DEBS Workshop Events Meet Processes																								DEBS Workshop Events Meet Processes																																				DEBS Doctoral Symposium Doctoral Symposium																								DEBS Doctoral Symposium Doctoral Symposium

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
Vertex WS219	PLDI Tutorials Building your own modular static analyzer with Facebook Infer																		PLDI Tutorials Building your own modular static analyzer with Facebook Infer (cont'd)																																						PLDI Tutorials Polyhedral Compilation																										PLDI Tutorials Polyhedral Compilation (cont'd)

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
Vertex WS219	PLDI Tutorials Writing Verified Programs in CakeML																		PLDI Tutorials Writing Verified Programs in CakeML (2)																																						PLDI Tutorials Writing Verified Programs in CakeML (3)																										PLDI Tutorials Writing Verified Programs in CakeML (4)

Sun 18 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
Vertex WS219				MAPL Introduction and Welcome 09:15 - 09:30			MAPL Programming by Examples: PL Meets ML 09:30 - 10:30																		MAPL A Computational Model for TensorFlow (An Introduction) 11:00 - 11:30						MAPL Dyna: Toward a Self-Optimizing Declarative Language for Machine Learnin ... 11:30 - 12:00						MAPL Debugging Probabilistic Programs 12:00 - 12:30																								MAPL Combining the Logical and the Probabilistic in Program Analysis 14:00 - 14:30						MAPL Learning a Classifier for False Positive Error Reports Emitted by Stati ... 14:30 - 15:00						MAPL Verified Perceptron Convergence Theorem 15:00 - 15:30												MAPL Town Hall Discussion 16:00 - 16:45									MAPL Concluding Remarks 16:45 - 17:00

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
Vertex WS219	DEBS Workshop DEBS Workshop 09:00 - 10:30																								DEBS Workshop DEBS Workshop 11:00 - 12:30																																				DEBS Doctoral Symposium Consistent Stream Processing 14:00 - 14:20				DEBS Doctoral Symposium A New Application Benchmark for Data Stream Processing Architectures in ... 14:20 - 14:40				DEBS Doctoral Symposium Raphtory: Decentralised Streaming for Temporal Graphs 14:40 - 15:00				DEBS Doctoral Symposium Large-Scale Stream Graph Processing 15:00 - 15:20												DEBS Doctoral Symposium Property-based routing in clustered message brokers for CPS 16:00 - 16:20				DEBS Doctoral Symposium An Embedded DSL Framework for Distributed Embedded Systems 16:20 - 16:40				DEBS Doctoral Symposium Loosely Coupled Approach for Web-Based Collaborative 3D Design 16:40 - 17:00				DEBS Doctoral Symposium Visualising complex event hierarchies using relevant domain ontologies 17:00 - 17:20

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
Vertex WS219	PLDI Tutorials Building your own modular static analyzer with Facebook Infer 09:00 - 10:00																		PLDI Tutorials Building your own modular static analyzer with Facebook Infer 10:30 - 12:10																																						PLDI Tutorials Polyhedral Compilation 13:40 - 15:20																										PLDI Tutorials Polyhedral Compilation 15:50 - 17:00

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
Vertex WS219	PLDI Tutorials Writing Verified Programs in CakeML 09:00 - 10:00																		PLDI Tutorials Writing Verified Programs in CakeML 10:30 - 12:10																																						PLDI Tutorials Writing Verified Programs in CakeML 13:40 - 15:20																										PLDI Tutorials Writing Verified Programs in CakeML 15:50 - 17:00

Room information: Vertex WS219

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

Mon 19 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

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

MAPL

MAPL

MAPL

MAPL

MAPL

MAPL

MAPL

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

DEBS Workshop

DEBS Workshop

DEBS Doctoral Symposium

DEBS Doctoral Symposium

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

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

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

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

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

Mon 19 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

Tracks

Co-hosted Conferences

Workshops

Room information: Vertex WS219

Program Display Configuration

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

Mon 19 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

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

MAPL

MAPL

MAPL

MAPL

MAPL

MAPL

MAPL

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

DEBS Workshop

DEBS Workshop

DEBS Doctoral Symposium

DEBS Doctoral Symposium

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

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

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

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

PLDI Tutorials

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

Mon 19 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

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

Mon 19 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

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

Mon 19 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

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

Mon 19 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