PLOOC 2015
Sat 13 - Wed 17 June 2015
Portland, Oregon, United States
co-located with
PLDI 2015
Toggle navigation
Attending
Venue: Oregon Convention Center
Venue: Exchange Ballroom
Program
PLOOC Program
Your Program
Sat 13 Jun
Sun 14 Jun
Mon 15 Jun
Tue 16 Jun
Wed 17 Jun
Track/Call
Organization
PLOOC 2015 Committees
Track Committees
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
PLDI 2015
(
series
) /
PLOOC 2015
(
series
) /
Oregon Convention Center
/
Room information: PLDI Main BLUE (Portland 254-255)
Venue
Oregon Convention Center
Room name
PLDI Main BLUE (Portland 254-255)
Floor
2
Room number
Portland 254-255
Capacity
590
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
Mon 15 Jun
Displayed time zone:
Tijuana, Baja California
change
09:00 - 11:00
Distinguished Papers
PLDI Research Papers
at
PLDI Main BLUE (Portland 254-255)
Chair(s):
Steve Blackburn
Australian National University
09:00
15m
Day opening
Opening and Welcome
PLDI Research Papers
Steve Blackburn
Australian National University
,
David Grove
IBM Research
09:15
25m
Talk
Automatically Improving Accuracy for Floating Point Expressions
PLDI Research Papers
Pavel Panchekha
University of Washington
,
Alex Sanchez-Stern
University of Washington
,
James R. Wilcox
University of Washington
,
Zachary Tatlock
University of Washington, Seattle
Media Attached
09:40
25m
Talk
Diagnosing Type Errors with Class
PLDI Research Papers
Danfeng Zhang
Cornell University
,
Andrew Myers
,
Dimitrios Vytiniotis
Microsoft Research, Cambridge
,
Simon Peyton Jones
Microsoft Research, Cambridge
Media Attached
10:05
25m
Talk
Provably Correct Peephole Optimizations with Alive
PLDI Research Papers
Nuno P. Lopes
Microsoft Research
,
David Menendez
Rutgers University
,
Santosh Nagarakatte
Rutgers University
,
John Regehr
University of Utah
Pre-print
Media Attached
10:30
20m
Talk
One Minute Madness
PLDI Research Papers
14:00 - 15:40
Verification
PLDI Research Papers
at
PLDI Main BLUE (Portland 254-255)
Chair(s):
Zachary Tatlock
University of Washington, Seattle
14:00
25m
Talk
Mechanized Verification of Fine-grained Concurrent Programs
PLDI Research Papers
Ilya Sergey
IMDEA Software Institute
,
Aleksandar Nanevski
IMDEA Software Institute
,
Anindya Banerjee
IMDEA Software Institute
Link to publication
Media Attached
14:25
25m
Talk
Verification of Producer-Consumer Synchronization in GPU Programs
PLDI Research Papers
Rahul Sharma
Stanford University
,
Michael Bauer
NVIDIA Research
,
Alex Aiken
Stanford University
Media Attached
14:50
25m
Talk
Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO
PLDI Research Papers
Peter Gammie
NICTA
,
Tony Hosking
Australian National University, Data61, and Purdue University
,
Kai Engelhardt
UNSW and NICTA
Link to publication
Media Attached
15:15
25m
Talk
Verifying Read-Copy-Update in a Logic for Weak Memory
PLDI Research Papers
Joseph Tassarotti
Carnegie Mellon University
,
Derek Dreyer
MPI-SWS
,
Viktor Vafeiadis
MPI-SWS, Germany
Media Attached
16:00 - 17:40
Concurrency I
PLDI Research Papers
at
PLDI Main BLUE (Portland 254-255)
Chair(s):
Santosh Nagarakatte
Rutgers University
16:00
25m
Talk
Asynchronous Programming, Analysis and Testing with State Machines
PLDI Research Papers
Pantazis Deligiannis
Imperial College London
,
Alastair F. Donaldson
Imperial College London
,
Jeroen Ketema
,
Akash Lal
Microsoft Research India
,
Paul Thomson
Imperial College London
Media Attached
16:25
25m
Talk
Stateless Model Checking Concurrent Programs with Maximal Causality Reduction
PLDI Research Papers
Jeff Huang
Texas A&M University
Media Attached
16:50
25m
Talk
Synthesizing racy tests
PLDI Research Papers
Malavika Samak
Indian Institute of Science, Bangalore
,
Murali Krishna Ramanathan
Indian Institute of Science, Bangalore
,
Suresh Jagannathan
Purdue University
Media Attached
17:15
25m
Talk
The Push/Pull model of transactions
PLDI Research Papers
Eric Koskinen
IBM TJ Watson Research Center
,
Matthew J. Parkinson
Microsoft Research, UK
Media Attached
Tue 16 Jun
Displayed time zone:
Tijuana, Baja California
change
08:45 - 09:10
One Minute Madness
PLDI Research Papers
at
PLDI Main BLUE (Portland 254-255)
08:45
25m
Talk
One Minute Madness
PLDI Research Papers
09:15 - 10:55
Concurrency II
PLDI Research Papers
at
PLDI Main BLUE (Portland 254-255)
Chair(s):
Suresh Jagannathan
Purdue University
09:15
25m
Talk
Composing Concurrency Control
PLDI Research Papers
Ofri Ziv
Tel Aviv University
,
Alex Aiken
Stanford University
,
Guy Golan-Gueta
Yahoo Labs
,
G. Ramalingam
Microsoft Research
,
Mooly Sagiv
Tel Aviv University
Media Attached
09:40
25m
Talk
Dynamic Partial Order Reduction for Relaxed Memory Models
PLDI Research Papers
Naling Zhang
Virginia Tech
,
Markus Kusano
Virginia Tech
,
Chao Wang
Virginia Tech
Media Attached
10:05
25m
Talk
Monitoring Refinement via Symbolic Reasoning
PLDI Research Papers
Michael Emmi
,
Constantin Enea
LIAFA, Université Paris Diderot
,
Jad Hamza
LIAFA, Université Paris Diderot
Media Attached
10:30
25m
Talk
Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications
PLDI Research Papers
Stephen Longfield
Cornell University
,
Brittany Nkounkou
Cornell University
,
Rajit Manohar
Cornell University
,
Ross Tate
Cornell University
Media Attached
14:00 - 15:40
Analysis
PLDI Research Papers
at
PLDI Main BLUE (Portland 254-255)
Chair(s):
Yannis Smaragdakis
University of Athens
14:00
25m
Talk
DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs
PLDI Research Papers
Akash Lal
Microsoft Research India
,
Shaz Qadeer
Microsoft Research
Media Attached
File Attached
14:25
25m
Talk
Exploring and Enforcing Security Guarantees via Program Dependence Graphs
PLDI Research Papers
Andrew Johnson
Harvard University
,
Lucas Waye
Harvard University
,
Scott Moore
Harvard University
,
Stephen Chong
Harvard University
Media Attached
14:50
25m
Talk
Making Numerical Program Analysis Fast
PLDI Research Papers
Gagandeep Singh
ETH Zurich, Switzerland
,
Markus Püschel
ETH Zurich
,
Martin Vechev
ETH Zurich
Media Attached
15:15
25m
Talk
Tree Dependence Analysis
PLDI Research Papers
Yusheng Weijiang
Purdue University
,
Shruthi Balakrishna
Purdue University
,
Jianqiao Liu
Purdue University
,
Milind Kulkarni
Purdue University
Media Attached
16:00 - 18:00
PLDI Chairs' Report and SIGPLAN Townhall Meeting
PLDI Research Papers
at
PLDI Main BLUE (Portland 254-255)
Chair(s):
David Grove
IBM Research
16:00
30m
Talk
PLDI Chairs' Report
PLDI Research Papers
David Grove
IBM Research
,
Steve Blackburn
Australian National University
,
Eric Eide
University of Utah
,
John Regehr
University of Utah
File Attached
16:30
60m
Meeting
ACM SIGPLAN Townhall Meeting
PLDI Research Papers
Jan Vitek
Northeastern University
Wed 17 Jun
Displayed time zone:
Tijuana, Baja California
change
08:30 - 09:00
One Minute Madness
PLDI Research Papers
at
PLDI Main BLUE (Portland 254-255)
08:30
30m
Talk
One Minute Madness
PLDI Research Papers
09:00 - 09:15
Student Research Competition Awards
PLDI Student Research Competition
at
PLDI Main BLUE (Portland 254-255)
09:00
15m
Awards
Student Research Competition Awards Session
PLDI Student Research Competition
Işıl Dillig
University of Texas, Austin
09:15 - 10:55
Performance
PLDI Research Papers
at
PLDI Main BLUE (Portland 254-255)
Chair(s):
Mary Hall
University of Utah
09:15
25m
Talk
Automated Detection of Performance Bugs via Static Analysis
PLDI Research Papers
Oswaldo Olivo
,
Işıl Dillig
University of Texas, Austin
,
Calvin Lin
UT Austin
Media Attached
09:40
25m
Talk
Autotuning Algorithmic Choice for Input Sensitivity
PLDI Research Papers
Yufei Ding
North Carolina State University
,
Jason Ansel
Massachusetts Institute of Technology
,
Kalyan Veeramachaneni
Massachusetts Institute of Technology
,
Xipeng Shen
North Carolina State University
,
Una-May O’Reilly
Massachusetts Institute of Technology
,
Saman Amarasinghe
MIT
Link to publication
Media Attached
10:05
25m
Talk
Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code
PLDI Research Papers
Charith Mendis
MIT CSAIL
,
Jeffrey Bosboom
MIT CSAIL
,
Kevin Wu
MIT CSAIL
,
Shoaib Kamil
MIT CSAIL, USA
,
Jonathan Ragan-Kelley
Stanford
,
Sylvain Paris
Adobe
,
Qin Zhao
Google
,
Saman Amarasinghe
MIT
Media Attached
10:30
25m
Talk
Profile-Guided Meta-Programming
PLDI Research Papers
William J. Bowman
Northeastern University
,
Swaha Miller
Cisco Systems, Inc
,
Vincent St-Amour
Northeastern University
,
R. Kent Dybvig
Cisco Systems, Inc
Link to publication
Media Attached
14:00 - 15:40
Parallelism
PLDI Research Papers
at
PLDI Main BLUE (Portland 254-255)
Chair(s):
Sara Baghsorkhi
Intel Labs
14:00
25m
Talk
Celebrating Diversity: A Mixture of Experts Approach for Runtime Mapping in Dynamic Environments
PLDI Research Papers
Murali Krishna Emani
The University of Edinburgh
,
Michael F. P. O'Boyle
University of Edinburgh
Media Attached
14:25
25m
Talk
Efficient Execution of Recursive Programs on Commodity Vector Hardware
PLDI Research Papers
Bin Ren
Pacific Northwest National Laboratories
,
Youngjoon Jo
Purdue University
,
Sriram Krishnamoorthy
Pacific Northwest National Laboratories
,
Kunal Agrawal
Washington University in St. Louis
,
Milind Kulkarni
Purdue University
Media Attached
14:50
25m
Talk
Loop and Data Transformations for Sparse Matrix Code
PLDI Research Papers
Anand Venkat
University of Utah
,
Mary Hall
University of Utah
,
Michelle Strout
Colorado State University
Media Attached
15:15
25m
Talk
Synthesizing Parallel Graph Programs via Automated Planning
PLDI Research Papers
Dimitrios Prountzos
The University of Texas at Austin, Texas, USA
,
Roman Manevich
Ben-Gurion University of the Negev
,
Keshav Pingali
University of Texas, Austin
Media Attached
16:00 - 17:40
Synthesis II
PLDI Research Papers
at
PLDI Main BLUE (Portland 254-255)
Chair(s):
Işıl Dillig
University of Texas, Austin
16:00
25m
Talk
Concurrency Debugging with Differential Schedule Projections
PLDI Research Papers
Nuno Machado
INESC-ID / Instituto Superior Técnico, Universidade de Lisboa
,
Brandon Lucia
Carnegie Mellon University
,
Luís Rodrigues
Universidade de Lisboa, Instituto Superior Técnico, INESC-ID
Media Attached
16:25
25m
Talk
Synthesis of Machine Code from Semantics
PLDI Research Papers
Venkatesh Srinivasan
University of Wisconsin - Madison
,
Thomas Reps
University of Wisconsin - Madison and Grammatech Inc.
Media Attached
16:50
25m
Talk
Synthesis of ranking functions using extremal counterexamples
PLDI Research Papers
Laure Gonnord
University of Lyon & LIP, France
,
David Monniaux
CNRS, VERIMAG
,
Gabriel Radanne
Université Denis Diderot Paris 7, PPS
Media Attached
17:15
25m
Talk
Type-and-Example-Directed Program Synthesis
PLDI Research Papers
Peter-Michael Osera
University of Pennsylvania
,
Steve Zdancewic
Media Attached
Mon 15 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
PLDI Main BLUE (Portland 254-255)
PLDI Research Papers
Distinguished Papers
PLDI Research Papers
Verification
PLDI Research Papers
Concurrency I
Tue 16 Jun
Displayed time zone:
Tijuana, Baja California
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
PLDI Main BLUE (Portland 254-255)
PLDI Research Papers
One Minute Madness
PLDI Research Papers
Concurrency II
PLDI Research Papers
Analysis
PLDI Research Papers
PLDI Chairs' Report and SIGPLAN Townhall Meeting
Wed 17 Jun
Displayed time zone:
Tijuana, Baja California
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
PLDI Main BLUE (Portland 254-255)
PLDI Research Papers
One Minute Madness
PLDI Student Research Competition
Student Research Competition Awards
PLDI Research Papers
Performance
PLDI Research Papers
Parallelism
PLDI Research Papers
Synthesis II
Mon 15 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
PLDI Main BLUE (Portland 254-255)
PLDI Research Papers
Opening and Welcome
09:00 - 09:15
PLDI Research Papers
Automatically Improving Accuracy for Floating Point Expressions
09:15 - 09:40
PLDI Research Papers
Diagnosing Type Errors with Class
09:40 - 10:05
PLDI Research Papers
Provably Correct Peephole Optimizations with Alive
10:05 - 10:30
PLDI Research Papers
One Minute Madness
10:30 - 10:50
PLDI Research Papers
Mechanized Verification of Fine-grained Concurrent Programs
14:00 - 14:25
PLDI Research Papers
Verification of Producer-Consumer Synchronization in GPU Programs
14:25 - 14:50
PLDI Research Papers
Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO
14:50 - 15:15
PLDI Research Papers
Verifying Read-Copy-Update in a Logic for Weak Memory
15:15 - 15:40
PLDI Research Papers
Asynchronous Programming, Analysis and Testing with State Machines
16:00 - 16:25
PLDI Research Papers
Stateless Model Checking Concurrent Programs with Maximal Causality Red ...
16:25 - 16:50
PLDI Research Papers
Synthesizing racy tests
16:50 - 17:15
PLDI Research Papers
The Push/Pull model of transactions
17:15 - 17:40
Tue 16 Jun
Displayed time zone:
Tijuana, Baja California
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
PLDI Main BLUE (Portland 254-255)
PLDI Research Papers
One Minute Madness
08:45 - 09:10
PLDI Research Papers
Composing Concurrency Control
09:15 - 09:40
PLDI Research Papers
Dynamic Partial Order Reduction for Relaxed Memory Models
09:40 - 10:05
PLDI Research Papers
Monitoring Refinement via Symbolic Reasoning
10:05 - 10:30
PLDI Research Papers
Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Sp ...
10:30 - 10:55
PLDI Research Papers
DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in ...
14:00 - 14:25
PLDI Research Papers
Exploring and Enforcing Security Guarantees via Program Dependence Graphs
14:25 - 14:50
PLDI Research Papers
Making Numerical Program Analysis Fast
14:50 - 15:15
PLDI Research Papers
Tree Dependence Analysis
15:15 - 15:40
PLDI Research Papers
PLDI Chairs' Report
16:00 - 16:30
PLDI Research Papers
ACM SIGPLAN Townhall Meeting
16:30 - 17:30
Wed 17 Jun
Displayed time zone:
Tijuana, Baja California
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
PLDI Main BLUE (Portland 254-255)
PLDI Research Papers
One Minute Madness
08:30 - 09:00
PLDI Student Research Competition
Student Research Competition Awards Session
09:00 - 09:15
PLDI Research Papers
Automated Detection of Performance Bugs via Static Analysis
09:15 - 09:40
PLDI Research Papers
Autotuning Algorithmic Choice for Input Sensitivity
09:40 - 10:05
PLDI Research Papers
Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Bina ...
10:05 - 10:30
PLDI Research Papers
Profile-Guided Meta-Programming
10:30 - 10:55
PLDI Research Papers
Celebrating Diversity: A Mixture of Experts Approach for Runtime Mappin ...
14:00 - 14:25
PLDI Research Papers
Efficient Execution of Recursive Programs on Commodity Vector Hardware
14:25 - 14:50
PLDI Research Papers
Loop and Data Transformations for Sparse Matrix Code
14:50 - 15:15
PLDI Research Papers
Synthesizing Parallel Graph Programs via Automated Planning
15:15 - 15:40
PLDI Research Papers
Concurrency Debugging with Differential Schedule Projections
16:00 - 16:25
PLDI Research Papers
Synthesis of Machine Code from Semantics
16:25 - 16:50
PLDI Research Papers
Synthesis of ranking functions using extremal counterexamples
16:50 - 17:15
PLDI Research Papers
Type-and-Example-Directed Program Synthesis
17:15 - 17:40
x
Thu 26 Dec 13:24