Vertex WS218 - PLDI 2017

VenueUniversitat Politècnica de Catalunya

Room nameVertex WS218

Floor0

Room number218

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:00 - 10:00	KeynoteARRAY at Vertex WS218 Chair(s): Andreas Kloeckner University of Illinois at Urbana-Champaign

09:00 60m Talk		Keynote: Towards achieving high performance, productivity, and portability for matrix/tensor computations in machine learning and data analytics ARRAY P. Sadayappan Ohio State University

10:00 - 10:30	Morning talks 1ARRAY at Vertex WS218 Chair(s): Andreas Kloeckner University of Illinois at Urbana-Champaign

10:00 30m Talk		Quad Ropes -- Immutable, Declarative Arrays with Parallelizable Operations ARRAY Florian Biermann IT University of Copenhagen, Peter Sestoft IT University of Copenhagen DOI File Attached

11:00 - 12:30	Morning talks 2ARRAY at Vertex WS218 Chair(s): Martin Elsman Department of Computer Science, University of Copenhagen

11:00 30m Talk		An ELI-to-C Compiler: Design, Implementation and Performance ARRAY Hanfeng Chen McGill University, Wai-Mee Ching , Laurie Hendren McGill University, Canada DOI File Attached
11:30 30m Talk		Array Programming in Whiley ARRAY David J. Pearce Victoria University of Wellington DOI File Attached
12:00 30m Talk		Flexible Data Views: Design and Implementation ARRAY Leo Osvald Purdue University, USA, Tiark Rompf Purdue University DOI File Attached

14:00 - 15:00	Invited talkARRAY at Vertex WS218 Chair(s): David Padua University of Illinois at Urbana-Champaign

14:00 60m Talk		Invited talk: APLicative Programming with Naperian Functors ARRAY Jeremy Gibbons Department of Computer Science, University of Oxford Pre-print File Attached

15:00 - 15:30	Afternoon talks 1ARRAY at Vertex WS218 Chair(s): David Padua University of Illinois at Urbana-Champaign

15:00 30m Talk		Portable Vectorization and Parallelization of C++ Multi-Dimensional Array Computations ARRAY Laurent Plagne EDF Lab, Kavoos Bojnourdi EDF Lab DOI File Attached

16:00 - 17:30	Afternoon talks 2ARRAY at Vertex WS218 Chair(s): P. Sadayappan Ohio State University

16:00 30m Talk		Efficient Array Slicing on the Intel Xeon Phi Coprocessor ARRAY Benjamin Andreassen Norwegian University of Science and Technology, Jan Christian Norwegian University of Science and Technology, Lasse Natvig Norwegian University of Science and Technology DOI File Attached
16:30 30m Talk		Modular Array-based GPU Computing in a Dynamically-typed Language ARRAY Matthias Springer Tokyo Institute of Technology, Peter Wauligmann Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology DOI File Attached
17:00 30m Talk		HPTT: A High-Performance Tensor Transposition C++ Library ARRAY Paul Springer , Tong Su RWTH Aachen, Paolo Bientinesi DOI File Attached

17:30 - 18:00	Closing / DiscussionARRAY at Vertex WS218 Chair(s): Martin Elsman Department of Computer Science, University of Copenhagen, Andreas Kloeckner University of Illinois at Urbana-Champaign, David Padua University of Illinois at Urbana-Champaign

17:30 30m Day closing		Closing / Discussion ARRAY

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

11:00 - 12:30	MorningJSTools at Vertex WS218 Chair(s): Julian Dolby IBM Thomas J. Watson Research Center

11:00 30m Talk		JaVerT: a logic-based tool for JavaScript Verification JSTools José Fragoso Santos File Attached
11:30 30m Talk		To Type or Not to Type: Quantifying Detectable Bugs in JavaScript JSTools Zheng Gao
12:00 30m Talk		Testing and Evolving TypeScript Declaration Files with Program Analysis JSTools Anders Møller Aarhus University

14:00 - 15:30	AfternoonJSTools at Vertex WS218 Chair(s): Christian Hammer University of Potsdam

14:00 30m Talk		BCoz: Effective Performance Debugging for Web Applications JSTools John Vilk University of Massachusetts, Amherst File Attached
14:30 30m Talk		Repairing Event Race Errors by Controlling Nondeterminism JSTools Frank Tip Northeastern University
15:00 30m Talk		Static Analysis of CommonJS Modules JSTools Max Schlüter

16:00 - 18:00	Afternoon 2JSTools at Vertex WS218

16:00 30m Talk		WebPol: Fine-grained Information Flow Policies for Web Browsers JSTools Christian Hammer University of Potsdam

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

09:00 - 10:30	Complex Event Recognition LanguagesDEBS Tutorials at Vertex WS218

09:00 90m Talk		Complex Event Recognition Languages DEBS Tutorials Alexander Artikis University of Pireaus and NCSR "Demokritos", Alessandro Margara Politecnico di Milano, Martin Ugarte Université Libre de Bruxelles, Stijn Vansummeren Université Libre de Bruxelles, Matthias Weidlich Humboldt-Universtität zu Berlin

11:00 - 12:30	Complex Event Recognition LanguagesDEBS Tutorials at Vertex WS218

11:00 90m Talk		Complex Event Recognition Languages DEBS Tutorials Alexander Artikis University of Pireaus and NCSR "Demokritos", Alessandro Margara Politecnico di Milano, Martin Ugarte Université Libre de Bruxelles, Stijn Vansummeren Université Libre de Bruxelles, Matthias Weidlich Humboldt-Universtität zu Berlin

14:00 - 15:30	Human-body Related Event ProcessingDEBS Tutorials at Vertex WS218

14:00 90m Talk		Human Body Related Event Processing DEBS Tutorials Opher Etzion Yezreel Valley College

16:00 - 17:30	Human-body Related Event ProcessingDEBS Tutorials at Vertex WS218

16:00 90m Talk		Human Body Related Event Processing DEBS Tutorials Opher Etzion Yezreel Valley College

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

09:00 - 10:00	WALA Hack-A-ThonPLDI Tutorials at Vertex WS218

09:00 60m Other		WALA Hack-A-Thon PLDI Tutorials Julian Dolby IBM Thomas J. Watson Research Center, Karim Ali University of Alberta

10:30 - 12:10	WALA Hack-A-Thon (2)PLDI Tutorials at Vertex WS218

10:30 1h40m Other		WALA Hack-A-Thon PLDI Tutorials Julian Dolby IBM Thomas J. Watson Research Center, Karim Ali University of Alberta

13:40 - 15:20	WALA Hack-A-Thon (3)PLDI Tutorials at Vertex WS218

13:40 1h40m Other		WALA Hack-A-Thon PLDI Tutorials Julian Dolby IBM Thomas J. Watson Research Center, Karim Ali University of Alberta

15:50 - 17:00	WALA Hack-A-Thon (4)PLDI Tutorials at Vertex WS218

15:50 70m Other		WALA Hack-A-Thon PLDI Tutorials Julian Dolby IBM Thomas J. Watson Research Center, Karim Ali University of Alberta

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

09:00 - 09:10	OpeningWCIRE at Vertex WS218 Chair(s): Milind Kulkarni Purdue University

09:00 10m Day opening		Opening Remarks WCIRE Louis-Noël Pouchet Colorado State University, Milind Kulkarni Purdue University, Samuel Midkiff School of Electrical and Computer Engineering, Purdue University

09:10 - 10:00	Session 1WCIRE at Vertex WS218 Chair(s): Milind Kulkarni Purdue University

09:10 50m Talk		The ROSE Compiler Framework WCIRE Louis-Noël Pouchet Colorado State University

10:30 - 12:10	Session 2WCIRE at Vertex WS218 Chair(s): Milind Kulkarni Purdue University

10:30 50m Talk		The Spoofax Language Workbench WCIRE Eelco Visser Delft University of Technology Link to publication
11:20 50m Talk		Peeking into a polyhedral compiler through the Periscop toolkit WCIRE Oleksandr Zinenko Inria

13:40 - 15:20	Session 3WCIRE at Vertex WS218 Chair(s): Milind Kulkarni Purdue University

13:40 50m Talk		JetBrains Meta Programming System (MPS) WCIRE Oscar Rodriguez JetBrains Link to publication
14:30 50m Talk		Polyhedral Compilation and Accelerator Programming with PENCIL and PPCG WCIRE Chandan Reddy INRIA

15:50 - 16:30	DiscussionWCIRE at Vertex WS218 Chair(s): Milind Kulkarni Purdue University

15:50 40m Other		Open Discussion: Building Infrastructure for Research and Education WCIRE Milind Kulkarni Purdue University, Samuel Midkiff School of Electrical and Computer Engineering, Purdue University, Louis-Noël Pouchet Colorado State University

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						17:00						30
Vertex WS218	ARRAY Keynote												ARRAY Morning talks 1												ARRAY Morning talks 2																																				ARRAY Invited talk												ARRAY Afternoon talks 1												ARRAY Afternoon talks 2																		ARRAY Closing / Discussion

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 WS218	JSTools																								JSTools Morning																																				JSTools Afternoon																								JSTools Afternoon 2

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
Vertex WS218	DEBS Tutorials Complex Event Recognition Languages																								DEBS Tutorials Complex Event Recognition Languages																																				DEBS Tutorials Human-body Related Event Processing																								DEBS Tutorials Human-body Related Event Processing

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 WS218	PLDI Tutorials WALA Hack-A-Thon																		PLDI Tutorials WALA Hack-A-Thon (2)																																						PLDI Tutorials WALA Hack-A-Thon (3)																										PLDI Tutorials WALA Hack-A-Thon (4)

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 WS218	WCIRE Opening		WCIRE Session 1																WCIRE Session 2																																						WCIRE Session 3																										WCIRE Discussion

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			17:00			15			30			45
Vertex WS218	ARRAY Keynote: Towards achieving high performance, productivity, and portabil ... 09:00 - 10:00												ARRAY Quad Ropes -- Immutable, Declarative Arrays with Parallelizable Operations 10:00 - 10:30												ARRAY An ELI-to-C Compiler: Design, Implementation and Performance 11:00 - 11:30						ARRAY Array Programming in Whiley 11:30 - 12:00						ARRAY Flexible Data Views: Design and Implementation 12:00 - 12:30																								ARRAY Invited talk: APLicative Programming with Naperian Functors 14:00 - 15:00												ARRAY Portable Vectorization and Parallelization of C++ Multi-Dimensional Arr ... 15:00 - 15:30												ARRAY Efficient Array Slicing on the Intel Xeon Phi Coprocessor 16:00 - 16:30						ARRAY Modular Array-based GPU Computing in a Dynamically-typed Language 16:30 - 17:00						ARRAY HPTT: A High-Performance Tensor Transposition C++ Library 17:00 - 17:30						ARRAY Closing / Discussion 17:30 - 18:00

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


Room	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 WS218	JSTools JaVerT: a logic-based tool for JavaScript Verification 11:00 - 11:30						JSTools To Type or Not to Type: Quantifying Detectable Bugs in JavaScript 11:30 - 12:00						JSTools Testing and Evolving TypeScript Declaration Files with Program Analysis 12:00 - 12:30																								JSTools BCoz: Effective Performance Debugging for Web Applications 14:00 - 14:30						JSTools Repairing Event Race Errors by Controlling Nondeterminism 14:30 - 15:00						JSTools Static Analysis of CommonJS Modules 15:00 - 15:30												JSTools WebPol: Fine-grained Information Flow Policies for Web Browsers 16:00 - 16:30

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
Vertex WS218	DEBS Tutorials Complex Event Recognition Languages 09:00 - 10:30																								DEBS Tutorials Complex Event Recognition Languages 11:00 - 12:30																																				DEBS Tutorials Human Body Related Event Processing 14:00 - 15:30																								DEBS Tutorials Human Body Related Event Processing 16:00 - 17:30

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 WS218	PLDI Tutorials WALA Hack-A-Thon 09:00 - 10:00																		PLDI Tutorials WALA Hack-A-Thon 10:30 - 12:10																																						PLDI Tutorials WALA Hack-A-Thon 13:40 - 15:20																										PLDI Tutorials WALA Hack-A-Thon 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 WS218	WCIRE Opening Remarks 09:00 - 09:10		WCIRE The ROSE Compiler Framework 09:10 - 10:00																WCIRE The Spoofax Language Workbench 10:30 - 11:20										WCIRE Peeking into a polyhedral compiler through the Periscop toolkit 11:20 - 12:10																												WCIRE JetBrains Meta Programming System (MPS) 13:40 - 14:30										WCIRE Polyhedral Compilation and Accelerator Programming with PENCIL and PPCG 14:30 - 15:20																WCIRE Open Discussion: Building Infrastructure for Research and Education 15:50 - 16:30

Room information: Vertex WS218

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

Tue 20 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

ARRAY

ARRAY

ARRAY

ARRAY

ARRAY

ARRAY

ARRAY

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

JSTools

JSTools

JSTools

JSTools

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

DEBS Tutorials

DEBS Tutorials

DEBS Tutorials

DEBS Tutorials

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

WCIRE

WCIRE

WCIRE

WCIRE

WCIRE

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

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

Tue 20 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

Tue 20 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

Tue 20 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

Tue 20 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