PLDI 2019
Sat 22 - Wed 26 June 2019 Phoenix, Arizona, United States
PLDI 2019 (series) / Phoenix Convention Center /

Room information: 228AB

VenuePhoenix Convention Center
Room name228AB
Floor0
Room number228AB
Room InformationNo extra information available
Program

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 IPLDI 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 IIPLDI 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 SpecificationsPLDI 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 IIIPLDI 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 TalksPLDI Research Papers at 228AB

Tue 25 Jun

Displayed time zone: Tijuana, Baja California change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
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