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
Times are displayed in time zone: Tijuana, Baja California change

08:30 - 09:30
Parallelism and Super Computing IPLDI Research Papers at 228AB
Chair(s): Veselin RaychevDeepCode AG
08:30
20m
Talk
Huron: Hybrid False Sharing Detection and Repair
PLDI Research Papers
Tanvir Ahmed KhanUniversity of Michigan, USA, Yifan ZhaoUniversity of Michigan, USA, Gilles PokamIntel Corporation, Barzan MozafariUniversity of Michigan, USA, Baris KasikciUniversity of Michigan, USA
Media Attached
08:50
20m
Talk
Model-Driven Transformations for Multi- and Many-Core CPUs
PLDI Research Papers
Martin KongBrookhaven National Laboratory, Louis-Noël PouchetColorado State University
Media Attached
09:10
20m
Talk
Parallelism-Centric What-If and Differential Analyses
PLDI Research Papers
Adarsh YogaRutgers University, USA, Santosh NagarakatteRutgers University, USA
Pre-print Media Attached
10:00 - 11:00
Parallelism and Super Computing IIPLDI Research Papers at 228AB
Chair(s): Sreepathi PaiUniversity of Rochester
10:00
20m
Talk
Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors
PLDI Research Papers
Mahdi Soltan MohammadiUniversity of Arizona, Eddie C. DavisBoise State University, USA, Mary HallUniversity of Utah, Maryam Mehri DehnaviUniversity of Toronto, Payal NandyUniversity of Utah, USA, Catherine R. M. OlschanowskyBoise State University, USA, Anand VenkatUniversity of Utah, Tomofumi Yuki, Kazem CheshmiUniversity of Toronto, Michelle StroutUniversity 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 FarzanUniversity of Toronto, Victor NicoletUniversity of Toronto
Media Attached
10:40
20m
Talk
Generating Piecewise-Regular Code from Irregular Structures
PLDI Research Papers
Travis AugustineColorado State University, USA, Janarthanan SarmaColorado State University, USA, Louis-Noël PouchetColorado State University, Gabriel RodríguezUniversidade da Coruña, Spain
Link to publication DOI
14:00 - 15:30
Learning SpecificationsPLDI Research Papers at 228AB
Chair(s): Michael PradelTU Darmstadt and Facebook
14:00
20m
Talk
Unsupervised Learning of API Aliasing Specifications
PLDI Research Papers
Jan EberhardtDeepCode, Switzerland, Samuel SteffenETH Zurich, Switzerland, Veselin RaychevDeepCode AG, Martin VechevETH Zürich
Pre-print Media Attached
14:20
20m
Talk
Scalable Taint Specification Inference with Big Code
PLDI Research Papers
Victor ChibotaruDeepCode, Switzerland, Benjamin BichselETH Zurich, Switzerland, Veselin RaychevDeepCode AG, Martin VechevETH Zürich
Pre-print Media Attached
14:40
20m
Talk
Learning Stateful Preconditions Modulo a Test Generator
PLDI Research Papers
Angello Astorga, P. MadhusudanUniversity of Illinois at Urbana-Champaign, Shambwaditya Saha, Shiyu WangUniversity of Illinois at Urbana-Champaign, USA, Tao XieUniversity 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 LeStevens Institute of Technology, Guolong ZhengUniversity of Nebraska Lincoln, ThanhVu NguyenUniversity of Nebraska-Lincoln
16:00 - 16:40
Type Systems IIIPLDI Research Papers at 228AB
Chair(s): Satish ChandraFacebook
16:00
20m
Talk
Characterising Renaming within OCaml’s Module System: Theory and Implementation
PLDI Research Papers
Reuben N. S. RoweUniversity of Kent, Hugo FéréeUniversity of Kent, UK, Simon Thompson, Scott OwensUniversity of Kent, UK
Link to publication DOI Pre-print
16:20
20m
Talk
Type-Level Computations for Ruby Libraries
PLDI Research Papers
Milod KazerounianUniversity of Maryland, College Park, Sankha Narayan GuriaUniversity of Maryland, College Park, Niki VazouIMDEA Software Institute, Jeffrey S. FosterTufts University, David Van HornUniversity of Maryland, USA
Media Attached
16:40 - 17:15
Student Research Competition TalksPLDI Research Papers at 228AB