PLDI 2015
Sat 13 - Wed 17 June 2015
Portland, Oregon, United States
Toggle navigation
Attending
Venue: Oregon Convention Center
Venue: Exchange Ballroom
Hotel and Travel Information
Student Travel Support
Registration
SIGPLAN Conference Anti-Harassment Policy
Student Volunteers
Program
Complete Program
Your Program
Sat 13 Jun
Sun 14 Jun
Mon 15 Jun
Tue 16 Jun
Wed 17 Jun
Tracks
PLDI 2015
FCRC Plenary Speakers
Artifact Evaluation
Tutorials
Research Papers
Student Research Competition
Workshops
ARRAY
ARRAY
ARRAY
CHIUW
CHIUW
CHIUW
PLOOC
PLOOC
PLOOC
SOAP
SOAP
SOAP
WAX
WOW
X10
X10
X10
Co-hosted Symposia
Scala
Scala
Scala
Organization
PLDI 2015 Committees
Organizing Committee
Track Committees
Artifact Evaluation
Research Papers
Program Committee
Research Papers
External Review Committee
Contributors
People Index
Workshops
ARRAY
Program Committee
CHIUW
Program Committee
PLOOC
Program Committee
SOAP
Program Committee
WAX
Organizers
Program Committee
WOW
Program Committee
X10
Program Committee
Co-hosted Symposia
Scala
Program Committee
Search
Series
Series
PLDI 2025
PLDI 2024
PLDI 2023
PLDI 2022
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI 2015
(
series
) /
Oregon Convention Center
/
Room information: B112
Venue
Oregon Convention Center
Room name
B112
Floor
1
Room number
B112
Capacity
25
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-07:00) Tijuana, Baja California
.
Use conference time zone: (GMT-07:00) Tijuana, Baja California
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:30) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+01:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+06:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+10:00) Magadan
(GMT+11:30) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
Sat 13 Jun
Displayed time zone:
Tijuana, Baja California
change
09:00 - 11:00
A Semantics-Directed Approach to Program Termination
Tutorials
at
B112
09:00
2h
Talk
A Semantics-Directed Approach to Program Termination
Tutorials
Salvador Lucas
,
José Meseguer
Link to publication
11:20 - 12:30
A Semantics-Directed Approach to Program Termination
Tutorials
at
B112
11:20
70m
Talk
A Semantics-Directed Approach to Program Termination
Tutorials
Salvador Lucas
,
José Meseguer
Link to publication
14:00 - 15:30
RASCAL: Program Analysis and Transformation with Rascal
Tutorials
at
B112
14:00
90m
Talk
RASCAL: Program Analysis and Transformation with Rascal
Tutorials
Mark Hills
East Carolina University
,
Paul Klint
,
Jurgen Vinju
Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven
Link to publication
16:00 - 18:00
RASCAL: Program Analysis and Transformation with Rascal
Tutorials
at
B112
16:00
2h
Talk
RASCAL: Program Analysis and Transformation with Rascal
Tutorials
Mark Hills
East Carolina University
,
Paul Klint
,
Jurgen Vinju
Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven
Link to publication
Sun 14 Jun
Displayed time zone:
Tijuana, Baja California
change
09:00 - 11:00
Programming in X10
X10
at
B112
09:00
15m
Day opening
Opening and Welcome
X10
Jose Nelson Amaral
University of Alberta
,
Olivier Tardieu
IBM Research
09:15
75m
Talk
Introduction to X10
X10
Olivier Tardieu
IBM Research
Link to publication
10:30
30m
Talk
The X10 Global Matrix Library: A Resilient Framework for Linear Algebra Applications
X10
Sara S. Hamouda
Australian National University
,
Josh Milthorpe
IBM Research
,
Peter Strazdins
Australian National University
,
Vijay Saraswat
IBM TJ Watson Research Center
Link to publication
11:20 - 12:30
Parallel Loops
X10
at
B112
11:20
30m
Talk
Revisiting Loop Transformations with X10 Clocks
X10
Tomofumi Yuki
Link to publication
11:50
30m
Talk
Local Parallel Iteration in X10
X10
Josh Milthorpe
IBM Research
Link to publication
14:00 - 15:30
Compilers and Runtimes
X10
at
B112
14:00
30m
Talk
Cutting Out the Middleman: OS-Level Support for X10 Activities
X10
Manuel Mohr
Karlsruhe Institute of Technology
,
Sebastian Buchwald
Karlsruhe Institute of Technology
,
Andreas Zwinkau
Karlsruhe Institute of Technology
,
Christoph Erhardt
Friedrich-Alexander University of Erlangen-Nürnberg
,
Benjamin Oechslein
Friedrich-Alexander University of Erlangen-Nürnberg
,
Jens Schedel
Friedrich-Alexander University of Erlangen-Nürnberg
,
Daniel Lohmann
Friedrich-Alexander University of Erlangen-Nürnberg
Link to publication
14:30
30m
Talk
Optimization of X10 Programs with ROSE Compiler Infrastructure
X10
Michihiro Horie
IBM Research - Tokyo
,
Mikio Takeuchi
IBM Research - Tokyo
,
Kiyokuni Kawachiya
IBM Research - Tokyo
,
David Grove
IBM Research
Link to publication
15:00
30m
Talk
The APGAS Library: Resilient Parallel and Distributed Programming in Java 8
X10
Olivier Tardieu
IBM Research
Link to publication
16:00 - 18:00
Global Load Balancing
X10
at
B112
16:00
30m
Talk
Towards an Efficient Fault-Tolerance Scheme for GLB
X10
Marco Bungart
Universität Kassel
,
Claudia Fohry
Universität Kassel
,
Jonas Posner
Universität Kassel
Link to publication
16:30
30m
Talk
Scalable Parallel Numerical Constraint Solver Using Global Load Balancing
X10
Daisuke Ishii
Tokyo Institute of Technology
,
Kazuki Yoshizoe
Japan Science and Technology Agency
,
Toyotaro Suzumura
IBM Research / University College Dublin / JST
Link to publication
Sat 13 Jun
Displayed time zone:
Tijuana, Baja California
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
B112
Tutorials
A Semantics-Directed Approach to Program Termination
Tutorials
A Semantics-Directed Approach to Program Termination
Tutorials
RASCAL: Program Analysis and Transformation with Rascal
Tutorials
RASCAL: Program Analysis and Transformation with Rascal
Sun 14 Jun
Displayed time zone:
Tijuana, Baja California
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
B112
X10
Programming in X10
X10
Parallel Loops
X10
Compilers and Runtimes
X10
Global Load Balancing
Sat 13 Jun
Displayed time zone:
Tijuana, Baja California
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
B112
PLDI Tutorials
A Semantics-Directed Approach to Program Termination
09:00 - 11:00
PLDI Tutorials
A Semantics-Directed Approach to Program Termination
11:20 - 12:30
PLDI Tutorials
RASCAL: Program Analysis and Transformation with Rascal
14:00 - 15:30
PLDI Tutorials
RASCAL: Program Analysis and Transformation with Rascal
16:00 - 18:00
Sun 14 Jun
Displayed time zone:
Tijuana, Baja California
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
B112
X10
Opening and Welcome
09:00 - 09:15
X10
Introduction to X10
09:15 - 10:30
X10
The X10 Global Matrix Library: A Resilient Framework for Linear Algebra ...
10:30 - 11:00
X10
Revisiting Loop Transformations with X10 Clocks
11:20 - 11:50
X10
Local Parallel Iteration in X10
11:50 - 12:20
X10
Cutting Out the Middleman: OS-Level Support for X10 Activities
14:00 - 14:30
X10
Optimization of X10 Programs with ROSE Compiler Infrastructure
14:30 - 15:00
X10
The APGAS Library: Resilient Parallel and Distributed Programming in Java 8
15:00 - 15:30
X10
Towards an Efficient Fault-Tolerance Scheme for GLB
16:00 - 16:30
X10
Scalable Parallel Numerical Constraint Solver Using Global Load Balancing
16:30 - 17:00
x
Sat 2 Nov 17:31