PLDI 2019
Sat 22 - Wed 26 June 2019
Phoenix, Arizona, United States
Toggle navigation
Attending
Venue: Phoenix Convention Center
Registration
Code of Conduct
Sponsorship
Hotels
Student participation and support
Visa
Tourist Information
Childcare
Accessibility FAQ
Program
PLDI Program
Your Program
Filter by Day
Sat 22 Jun
Sun 23 Jun
Mon 24 Jun
Tue 25 Jun
Wed 26 Jun
Thu 27 Jun
Fri 28 Jun
Tracks
PLDI 2019
PLDI Research Papers
PLDI Research Artifacts
PLDI Workshops
PLDI Tutorials
Student Research Competition (SRC)
Student Volunteering
Co-hosted Conferences
ISMM
ISMM
ISMM
LCTES
Workshops
ARRAY
CHIUW
DBPL
DPA
DeepSpec
MAPL
PLMW @ PLDI
SOAP
WAX
Organization
PLDI 2019 Committees
Steering Committee
Organizing Committee
Track Committees
PLDI Research Papers
Program Committee
External Program Committee
External Review Committee
PLDI Research Artifacts
Student Research Competition (SRC)
Contributors
People Index
Co-hosted Conferences
ISMM
Organizing Committee
Program Committee
External Review Committee
Steering Committee
LCTES
Organizing Committee
Program Committee
Artifact Evaluation Committee
Steering Committee
Workshops
ARRAY
Organizing Committee
Program Committee
CHIUW
Organizing Committee
Program Committee
DBPL
Organizing Committee
Program Committee
DPA
Organizing Committee
DeepSpec
Organizing Committee
MAPL
Organizing Committee
Program Committee
Steering Committee
PLMW @ PLDI
Organizing Committee
SOAP
Organizing Committee
Program Committee
WAX
Organizing Committee
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 2019
(
series
) /
Phoenix Convention Center
/
Room information: 228AB
Venue
Phoenix Convention Center
Room name
228AB
Floor
0
Room number
228AB
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-06: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:00) Caracas
(GMT-04: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+02: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+07: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+11:00) Magadan
(GMT+11:00) 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
Tue 25 Jun
Displayed time zone:
Tijuana, Baja California
change
08:30 - 09:30
Parallelism and Super Computing I
PLDI Research Papers
at
228AB
Chair(s):
Veselin Raychev
DeepCode AG
08:30
20m
Talk
Huron: Hybrid False Sharing Detection and Repair
PLDI Research Papers
Tanvir Ahmed Khan
University of Michigan, USA
,
Yifan Zhao
University of Michigan, USA
,
Gilles Pokam
Intel Corporation
,
Barzan Mozafari
University of Michigan, USA
,
Baris Kasikci
University of Michigan, USA
Media Attached
08:50
20m
Talk
Model-Driven Transformations for Multi- and Many-Core CPUs
PLDI Research Papers
Martin Kong
The Ohio State University
,
Louis-Noël Pouchet
Colorado State University
Media Attached
09:10
20m
Talk
Parallelism-Centric What-If and Differential Analyses
PLDI Research Papers
Adarsh Yoga
Rutgers University, USA
,
Santosh Nagarakatte
Rutgers University, USA
Pre-print
Media Attached
10:00 - 11:00
Parallelism and Super Computing II
PLDI Research Papers
at
228AB
Chair(s):
Sreepathi Pai
University of Rochester
10:00
20m
Talk
Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors
PLDI Research Papers
Mahdi Soltan Mohammadi
University of Arizona
,
Eddie C. Davis
Boise State University, USA
,
Mary Hall
University of Utah
,
Maryam Mehri Dehnavi
University of Toronto
,
Payal Nandy
University of Utah, USA
,
Catherine R. M. Olschanowsky
Boise State University, USA
,
Anand Venkat
University of Utah
,
Tomofumi Yuki
,
Kazem Cheshmi
University of Toronto
,
Michelle Strout
University of Arizona
Link to publication
DOI
Pre-print
Media Attached
10:20
20m
Talk
Modular Divide-and-Conquer Parallelization of Nested Loops
PLDI Research Papers
Azadeh Farzan
University of Toronto
,
Victor Nicolet
University of Toronto
Media Attached
10:40
20m
Talk
Generating Piecewise-Regular Code from Irregular Structures
PLDI Research Papers
Travis Augustine
Colorado State University, USA
,
Janarthanan Sarma
Colorado State University, USA
,
Louis-Noël Pouchet
Colorado State University
,
Gabriel Rodríguez
Universidade da Coruña, Spain
Link to publication
DOI
14:00 - 15:30
Learning Specifications
PLDI Research Papers
at
228AB
Chair(s):
Michael Pradel
TU Darmstadt and Facebook
14:00
20m
Talk
Unsupervised Learning of API Aliasing Specifications
PLDI Research Papers
Jan Eberhardt
DeepCode, Switzerland
,
Samuel Steffen
ETH Zurich, Switzerland
,
Veselin Raychev
DeepCode AG
,
Martin Vechev
ETH Zürich
Pre-print
Media Attached
14:20
20m
Talk
Scalable Taint Specification Inference with Big Code
PLDI Research Papers
Victor Chibotaru
DeepCode, Switzerland
,
Benjamin Bichsel
ETH Zurich, Switzerland
,
Veselin Raychev
DeepCode AG
,
Martin Vechev
ETH Zürich
Pre-print
Media Attached
14:40
20m
Talk
Learning Stateful Preconditions Modulo a Test Generator
PLDI Research Papers
Angello Astorga
,
P. Madhusudan
University of Illinois at Urbana-Champaign
,
Shambwaditya Saha
,
Shiyu Wang
University of Illinois at Urbana-Champaign, USA
,
Tao Xie
University of Illinois at Urbana-Champaign, USA
15:00
20m
Talk
SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic
PLDI Research Papers
Ton Chanh Le
Stevens Institute of Technology
,
Guolong Zheng
University of Nebraska Lincoln
,
ThanhVu Nguyen
University of Nebraska-Lincoln
16:00 - 16:40
Type Systems III
PLDI Research Papers
at
228AB
Chair(s):
Satish Chandra
Facebook
16:00
20m
Talk
Characterising Renaming within OCaml’s Module System: Theory and Implementation
PLDI Research Papers
Reuben N. S. Rowe
University of Kent
,
Hugo Férée
University of Kent, UK
,
Simon Thompson
,
Scott Owens
University of Kent, UK
Link to publication
DOI
Pre-print
16:20
20m
Talk
Type-Level Computations for Ruby Libraries
PLDI Research Papers
Milod Kazerounian
University of Maryland, College Park
,
Sankha Narayan Guria
University of Maryland, College Park
,
Niki Vazou
IMDEA Software Institute
,
Jeffrey S. Foster
Tufts University
,
David Van Horn
University of Maryland, USA
Media Attached
16:40 - 17:15
Student Research Competition Talks
PLDI Research Papers
at
228AB
Tue 25 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
228AB
PLDI Research Papers
Parallelism and Super Computing I
PLDI Research Papers
Parallelism and Super Computing II
PLDI Research Papers
Learning Specifications
PLDI Research Papers
Type Systems III
PLDI Research Papers
Student Research Competition Talks
Tue 25 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
228AB
PLDI Research Papers
Huron: Hybrid False Sharing Detection and Repair
08:30 - 08:50
PLDI Research Papers
Model-Driven Transformations for Multi- and Many-Core CPUs
08:50 - 09:10
PLDI Research Papers
Parallelism-Centric What-If and Differential Analyses
09:10 - 09:30
PLDI Research Papers
Sparse Computation Data Dependence Simplification for Efficient Compile ...
10:00 - 10:20
PLDI Research Papers
Modular Divide-and-Conquer Parallelization of Nested Loops
10:20 - 10:40
PLDI Research Papers
Generating Piecewise-Regular Code from Irregular Structures
10:40 - 11:00
PLDI Research Papers
Unsupervised Learning of API Aliasing Specifications
14:00 - 14:20
PLDI Research Papers
Scalable Taint Specification Inference with Big Code
14:20 - 14:40
PLDI Research Papers
Learning Stateful Preconditions Modulo a Test Generator
14:40 - 15:00
PLDI Research Papers
SLING: Using Dynamic Analysis to Infer Program Invariants in Separation ...
15:00 - 15:20
PLDI Research Papers
Characterising Renaming within OCaml’s Module System: Theory and Implem ...
16:00 - 16:20
PLDI Research Papers
Type-Level Computations for Ruby Libraries
16:20 - 16:40
x
Thu 5 Dec 16:54