Data-Race Detection: The Missing Piece for an End-to-end Semantic Equivalence Checker for Parallelizing Transformations of Array-Intensive Programs (ARRAY - ACM SIGPLAN 3rd International Workshop on Libraries, Languages and Compilers for Array Programming) - PLDI 2016

Mon 13 - Fri 17 June 2016 Santa Barbara, California, United States

Who

Kunal Banerjee, Soumyadip Bandyopadhyay, Santonu Sarkar

Track

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect 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

When

Tue 14 Jun 2016 10:55 - 11:20 at Santa Rosa West - Session 2

Kunal Banerjee

Soumyadip Bandyopadhyay

Santonu Sarkar

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect 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

Session Program

Tue 14 Jun
Displayed time zone: Tijuana, Baja California change

	10:30 - 12:00	Session 2ARRAY at Santa Rosa West

	10:30 25m Talk		Array Program Transformation with Loo.py by Example: High-Order Finite Elements ARRAY Andreas Kloeckner University of Illinois at Urbana-Champaign, Lucas Wilcox , Tim Warburton
	10:55 25m Talk		Data-Race Detection: The Missing Piece for an End-to-end Semantic Equivalence Checker for Parallelizing Transformations of Array-Intensive Programs ARRAY Kunal Banerjee , Soumyadip Bandyopadhyay , Santonu Sarkar
	11:20 25m Talk		Design and GPGPU Performance of Futhark's Redomap Construct ARRAY Troels Henriksen DIKU, Ken Friis Larsen DIKU, University of Copenhagen, Cosmin Oancea
	11:45 15m Talk		Object Support in an Array-based GPGPU Extension for Ruby ARRAY Matthias Springer Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology